--- jsr166/build.xml 2013/01/14 08:58:47 1.93 +++ jsr166/build.xml 2013/01/16 07:39:51 1.98 @@ -8,6 +8,15 @@ User-specific settings are read from user.properties. See user.properties.sample for an explanation of some useful settings. + + The repository contains all dependencies except for ant and the JDK + itself. Because the JDK version matters and because different + targets require different JDKs, we assume that users have created a + hierarchy containing: + $HOME/jdk/jdk6 + $HOME/jdk/jdk7 + $HOME/jdk/jdk8 + where each of the above is a JDK or a symlink to same. ------------------------------------------------------------------------------ @@ -38,6 +47,7 @@ + @@ -63,10 +73,11 @@ + - @@ -75,6 +86,24 @@ + + + + + + + + + + + + + + + + + @@ -523,7 +552,7 @@ bootclasspath="${bootclasspath6}" includeAntRuntime="false" includeJavaRuntime="false" - executable="${javac6}" + executable="${javac7}" fork="true"> @@ -533,23 +562,74 @@ - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -619,7 +699,7 @@ + depends="jdk7clean, jdk7compile"> @@ -937,27 +1017,28 @@ - - + classpath="" + includeAntRuntime="false" + includeJavaRuntime="false" + executable="${javac7}" + fork="true"> - + - - - + @@ -987,10 +1068,15 @@ + sourcepath="${topsrc.dir}:${jdk7src.dir}:${jdksrc.dir}" + executable="${javadoc7}" + additionalparam="-XDignore.symbol.file=true" > + + + +