Ticket #465: jdk12.patch

File jdk12.patch, 772 bytes (added by Mark Evenson, 5 years ago)

Patch to compile for Java 12

  • build.xml 

    # HG changeset patch
# Parent  e08a43dc6d04907547b55e9d2d232e55f5d1017c
jna: update to 5.4.0

Emit code for Java 7 runtimes by default for the compile, as Java12
will not run bytecode compiled to Java 6.

diff -r e08a43dc6d04 build.xml
    a b  
    200200      <!-- Stock build for Java 1.6 (aka Java 2) container -->
    201201      <javac destdir="${build.classes.dir}"
    202202             debug="true"
    203              target="1.6"
    204              source="1.6"
     203             target="1.7"
     204             source="1.7"
    205205             includeantruntime="false"
    206206             failonerror="true">
    207207        <src path="${src.dir}"/>