Changeset 14244 in josm
- Timestamp:
- 2018-09-10T21:27:45+02:00 (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/build.xml
r14233 r14244 68 68 </not> 69 69 </condition> 70 <condition property="java.library.dir" value="jmods" else="lib"> 71 <isset property="isJava9"/> 72 </condition> 70 73 <path id="groovy.classpath"> 71 74 <fileset dir="${tools.dir}/groovy"> … … 613 616 -outjars ${dist-optimized.jar} 614 617 615 -libraryjars ${java.home}/ lib618 -libraryjars ${java.home}/${java.library.dir} 616 619 617 620 -dontoptimize … … 659 662 </proguard> 660 663 </target> 661 <!-- Proguard does not support Java 9 : http://sourceforge.net/p/proguard/bugs/551/ --> 662 <target name="dist-optimized-report" depends="dist-optimized" unless="isJava9"> 664 <target name="dist-optimized-report" depends="dist-optimized"> 663 665 <!-- generate difference report between optimized jar and normal one --> 664 666 <exec executable="perl" dir="${basedir}"> … … 706 708 <linecontainsregexp negate="true"> 707 709 <regexp pattern="${deprecated-plugins}"/> 710 </linecontainsregexp> 711 <linecontainsregexp negate="true" unless:set="isJava10"> 712 <!-- Skip openjfx on Java 8/9, built for Java 10+ only --> 713 <regexp pattern="openjfx"/> 708 714 </linecontainsregexp> 709 715 <tokenfilter> … … 743 749 <path> 744 750 <fileset file="${dist-optimized.jar}"/> 745 <fileset file="${java.home}/lib/rt.jar"/> 746 <fileset file="${java.home}/lib/jce.jar"/> 747 <fileset file="${java.home}/lib/ext/jfxrt.jar"/> 751 <fileset file="${java.home}/lib/rt.jar" unless:set="isJava9"/> 752 <fileset file="${java.home}/lib/jce.jar" unless:set="isJava9"/> 753 <fileset file="${java.home}/lib/ext/jfxrt.jar" unless:set="isJava9"/> 754 <fileset dir="${java.home}/jmods" if:set="isJava9"/> 748 755 </path> 749 756 </as:build-signatures> … … 806 813 <!-- plugins used by another ones --> 807 814 <ignore classname="org.openstreetmap.josm.plugins.geotools.*"/> 815 <ignore classname="org.openstreetmap.josm.plugins.jaxb.*"/> 808 816 <ignore classname="org.openstreetmap.josm.plugins.jna.*"/> 809 817 <ignore classname="org.openstreetmap.josm.plugins.jts.*"/> 810 818 <ignore classname="org.openstreetmap.josm.plugins.log4j.*"/> 819 <ignore classname="org.openstreetmap.josm.plugins.openjfx.*"/> 811 820 <ignore classname="org.openstreetmap.josm.plugins.utilsplugin2.*"/> 812 821 <ignore classname="sun.*"/>
Note:
See TracChangeset
for help on using the changeset viewer.