| 32 |
|
|
| 33 |
<!-- Compilation options --> |
<!-- Compilation options --> |
| 34 |
<property name="build.sourcelevel" value="1.5"/> |
<property name="build.sourcelevel" value="1.5"/> |
| 35 |
|
<property name="build.docsourcelevel" value="1.4"/> |
| 36 |
<property name="build.debug" value="true"/> |
<property name="build.debug" value="true"/> |
| 37 |
<property name="build.debuglevel" value="source,lines,vars"/> |
<property name="build.debuglevel" value="source,lines,vars"/> |
| 38 |
<property name="build.deprecation" value="false"/> |
<property name="build.deprecation" value="false"/> |
| 70 |
<property name="junit.jar" location="${lib.dir}/junit.jar"/> |
<property name="junit.jar" location="${lib.dir}/junit.jar"/> |
| 71 |
<property name="rt.jar" location="${java.home}/lib/rt.jar"/> |
<property name="rt.jar" location="${java.home}/lib/rt.jar"/> |
| 72 |
|
|
| 73 |
<property name="javac.args" value='-J-Xbootclasspath/p:${javac.jar}'/> |
<property name="javac.args" value='-J-Xbootclasspath/p:$[src.dir]:${javac.jar}'/> |
| 74 |
|
|
| 75 |
<path id="javac.bootclasspath"> |
<path id="javac.bootclasspath"> |
| 76 |
|
<pathelement location="${src.dir}"/> |
| 77 |
<pathelement location="${collect.jar}"/> |
<pathelement location="${collect.jar}"/> |
| 78 |
<pathelement location="${rt.jar}"/> |
<pathelement location="${rt.jar}"/> |
| 79 |
</path> |
</path> |
| 147 |
<javadoc destdir="${build.javadocs.dir}" |
<javadoc destdir="${build.javadocs.dir}" |
| 148 |
link="http://java.sun.com/j2se/1.4.1/docs/api" |
link="http://java.sun.com/j2se/1.4.1/docs/api" |
| 149 |
overview="${src.dir}/intro.html" |
overview="${src.dir}/intro.html" |
| 150 |
source="${build.sourcelevel}"> |
source="${build.docsourcelevel}"> |
| 151 |
|
|
| 152 |
<tag name="revised" description="Last revised:"/> |
<tag name="revised" description="Last revised:"/> |
| 153 |
<tag name="spec" description="Specified by:"/> |
<tag name="spec" description="Specified by:"/> |
| 250 |
<javadoc destdir="${dist.javadocs.dir}" |
<javadoc destdir="${dist.javadocs.dir}" |
| 251 |
link="http://java.sun.com/j2se/1.4.1/docs/api" |
link="http://java.sun.com/j2se/1.4.1/docs/api" |
| 252 |
overview="${src.dir}/intro.html" |
overview="${src.dir}/intro.html" |
| 253 |
source="${build.sourcelevel}"> |
source="${build.docsourcelevel}"> |
| 254 |
|
|
| 255 |
<packageset dir="${build.filter.src.dir}"/> |
<packageset dir="${build.filter.src.dir}"/> |
| 256 |
|
|