| 1 |
< |
<project name="jsr166" default="usage"> |
| 1 |
> |
<project name="jsr166" default="usage" |
| 2 |
> |
xmlns:if="ant:if" xmlns:unless="ant:unless"> |
| 3 |
|
|
| 4 |
|
<description> |
| 5 |
|
------------------------------------------------------------------------------ |
| 39 |
|
</java> |
| 40 |
|
</target> |
| 41 |
|
|
| 42 |
+ |
<!-- HOWTO printf debug: <echo message="prop=${prop}"/> --> |
| 43 |
|
|
| 44 |
|
<!-- User-specific settings --> |
| 45 |
|
<property file="user.properties"/> |
| 95 |
|
<property name="java@{v}" location="${jdk@{v}.home}/bin/java"/> |
| 96 |
|
<property name="javac@{v}" location="${jdk@{v}.home}/bin/javac"/> |
| 97 |
|
<property name="javadoc@{v}" location="${jdk@{v}.home}/bin/javadoc"/> |
| 98 |
< |
<property name="jdk@{v}src.dir" location="${jdks.home}/src/jdk@{v}/jdk/src/share/classes"/> |
| 98 |
> |
<available property="jdk@{v}.have.java.base" |
| 99 |
> |
file="${jdks.home}/src/jdk@{v}/jdk/src/java.base/share/classes" type="dir"/> |
| 100 |
> |
<property name="jdk@{v}src.dir" location="${jdks.home}/src/jdk@{v}/jdk/src/java.base/share/classes" |
| 101 |
> |
if:set="jdk@{v}.have.java.base"/> |
| 102 |
> |
<property name="jdk@{v}src.dir" location="${jdks.home}/src/jdk@{v}/jdk/src/share/classes" |
| 103 |
> |
unless:set="jdk@{v}.have.java.base"/> |
| 104 |
|
<local name="boot.jar.dir"/> |
| 105 |
|
<property name="boot.jar.dir" location="${jdk@{v}.home}/jre/lib"/> |
| 106 |
|
<path id="bootclasspath@{v}"> |
