Files
ports/java/jasmin/files/patch-build.xml
T
Ronald Klop 2cf53771fc java/jasmin: fix build with jdk11+
unpin openjdk8

PR:	294332
Approved-by:	no maintainer
2026-04-08 15:39:47 +02:00

43 lines
1.4 KiB
XML

--- build.xml.orig 2026-04-08 13:05:32 UTC
+++ build.xml
@@ -77,7 +77,7 @@ -->
<tstamp/>
<property name="Name" value="Jasmin"/>
<property name="name" value="jasmin"/>
- <property name="version" value="2.1"/>
+ <property name="version" value="2.3"/>
<property name="year" value="2006"/>
<echo message="----------- ${Name} ${version} [${year}] ------------"/>
@@ -161,7 +161,6 @@ -->
<!-- =================================================================== -->
<target name="compile-jasmin" depends="prepare-jasmin">
<javac srcdir="${build.jasmin.src}"
- source="1.4"
destdir="${build.jasmin.dest}"
debug="${debug}"
deprecation="${deprecation}"
@@ -186,7 +185,6 @@ -->
<target name="compile-java_cup" depends="prepare-jasmin">
<mkdir dir="${build.jasmin.dest}/java_cup"/>
<javac srcdir="${build.jasmin.src}/java_cup"
- source="1.4"
destdir="${build.jasmin.dest}/java_cup"
debug="${debug}"
deprecation="${deprecation}"
@@ -230,7 +228,6 @@ -->
sourcepath="${src.dir}"
destdir="${apidocs.dir}"
author="true"
- additionalparam="-source 1.4"
version="true"
use="true"
splitindex="true"
@@ -294,4 +291,4 @@ -->
</target>
</project>
-<!-- End of file -->
\ No newline at end of file
+<!-- End of file -->