blob: 5c3252828aafee7e067ec7e4852a5da5b624a99d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
--- build.xml.orig 2004-12-19 18:15:47.840287952 +0100
+++ build.xml 2004-12-19 18:19:13.831972456 +0100
@@ -58,24 +58,32 @@
<!-- Compile the sources -->
<target name="compile" depends="init">
<mkdir dir="${build.dest}"/>
- <javac srcdir="${src.dir}" destdir="${build.dest}" classpath="${class.path}" debug="true"/>
+ <javac srcdir="${src.dir}"
+ destdir="${build.dest}"
+ classpath="${class.path}"
+ debug="off"
+ target="1.2"
+ source="1.2">
+ <classpath>
+ <pathelement path="${regexp.jar}"/>
+ </classpath>
+ </javac>
</target>
<!-- Just an alias -->
<target name="build" depends="compile"/>
<!-- Jar the library -->
- <target name="jar" depends="examples">
+ <target name="jar" depends="compile">
<jar jarfile="${build.dir}/${name}.jar"
basedir="${build.dest}"
- manifest="${basedir}/manifest.txt"
includes="org/**,listclass.class"
/>
</target>
<!-- Compile the examples -->
<target name="examples" depends="compile">
- <javac srcdir="${examples.dir}" destdir="${build.dest}" classpath="${class.path}" />
+ <javac srcdir="${examples.dir}" destdir="${build.dest}" classpath="${class.path}" target="1.2" source="1.2"/>
</target>
<!-- Creates the API documentation -->
|