2018-03-20 15:40:31 +00:00
|
|
|
--- build.xml.orig 2018-03-20 15:15:57.063810672 +0000
|
|
|
|
|
+++ build.xml 2018-03-20 15:16:26.018700633 +0000
|
|
|
|
|
@@ -15,16 +15,20 @@
|
|
|
|
|
<property name="output" value="bin" />
|
|
|
|
|
<property name="jar_file" value="ecj.jar" />
|
|
|
|
|
|
|
|
|
|
+ <path id="build.path">
|
2018-04-09 12:47:05 +00:00
|
|
|
+ <pathelement path="${javaapi}"/>
|
2018-03-20 15:40:31 +00:00
|
|
|
+ <pathelement path="/usr/lib/jvm/java-1.8.0/jre/lib/rt.jar"/>
|
|
|
|
|
+ </path>
|
|
|
|
|
<target name="build">
|
|
|
|
|
<delete file="${basedir}/${jar_file}" failonerror="no" />
|
|
|
|
|
<delete dir="${output}" failonerror="no" />
|
|
|
|
|
<mkdir dir="${output}" />
|
|
|
|
|
|
|
|
|
|
- <javac srcdir="${basedir}" destdir="${output}"
|
|
|
|
|
- debuglevel="lines,source"
|
|
|
|
|
+ <javac srcdir="${basedir}" destdir="${output}" bootclasspathref="build.path"
|
|
|
|
|
+ debug="yes"
|
|
|
|
|
source="1.8"
|
|
|
|
|
target="1.8">
|
|
|
|
|
- <compilerarg line="-Xlint:none"/>
|
2018-12-11 13:26:24 +00:00
|
|
|
+ <compilerarg line="-Xlint:none -encoding cp1252"/>
|
2018-03-20 15:40:31 +00:00
|
|
|
</javac>
|
|
|
|
|
|
|
|
|
|
<delete file="${basedir}/META-INF/MANIFEST.MF" failonerror="false"/>
|
