13 |
|
<property name="build.debug" value="true"/> |
14 |
|
<property name="build.debuglevel" value="source,lines,vars"/> |
15 |
|
<property name="build.deprecation" value="false"/> |
16 |
< |
<property name="build.sourcelevel" value="1.4"/> |
16 |
> |
<property name="build.sourcelevel" value="1.5"/> |
17 |
|
|
18 |
|
<!-- Build locations --> |
19 |
|
<property name="build.dir" location="build"/> |
40 |
|
<property name="rt.jar" location="${java.home}/lib/rt.jar"/> |
41 |
|
|
42 |
|
<property name="gj.compiler.args" |
43 |
< |
value='-J-Xbootclasspath/p:${javac.jar} -gj' |
43 |
> |
value='-J-Xbootclasspath/p:${javac.jar}' |
44 |
|
/> |
45 |
|
|
46 |
|
<path id="gj.compiler.bootclasspath"> |
94 |
|
|
95 |
|
<tag name="revised" description="Last revised:"/> |
96 |
|
<tag name="spec" description="Specified by:"/> |
97 |
< |
|
97 |
> |
<tag name="editor" description="Last edited by:"/> |
98 |
> |
<tag name="fixme" description="FIX ME:"/> |
99 |
|
<packageset dir="${build.filter.src.dir}"> |
100 |
|
<include name="java/**"/> |
101 |
|
</packageset> |