Update to Java 10.

This commit is contained in:
MobiusDev
2018-08-07 13:40:25 +00:00
parent c97536b0a4
commit bb816ba617
133 changed files with 677 additions and 1110 deletions

View File

@@ -51,8 +51,8 @@
</not>
</condition>
</fail>
<available classname="java.util.stream.Stream" property="JDK8.present" />
<fail unless="JDK8.present" message="Java 1.8 is required. But your version is Java ${ant.java.version} and probably JDK is not installed." />
<available classname="java.util.stream.Stream" property="JDK10.present" />
<fail unless="JDK10.present" message="Java 10 is required. But your version is Java ${ant.java.version} and probably JDK is not installed." />
</target>
<target name="init" depends="checkRequirements" description="Create the output directories.">
@@ -61,7 +61,7 @@
</target>
<target name="compile" depends="init" description="Compile the source.">
<javac srcdir="${src}" classpathref="classpath" destdir="${build.bin}" compiler="modern" debug="true" debuglevel="lines,vars,source" includeantruntime="false" source="1.8" target="1.8" encoding="UTF-8" />
<javac srcdir="${src}" classpathref="classpath" destdir="${build.bin}" compiler="modern" debug="true" debuglevel="lines,vars,source" includeantruntime="false" source="10" target="10" encoding="UTF-8" />
</target>
<target name="jar" depends="compile" description="Create the jar files.">