|
31 | 31 | <property name="error" value="stderr" /> |
32 | 32 | <property name="plt.error.log" value="${error}" /> |
33 | 33 | <property name="clean-can-fail" value="yes" /> |
34 | | - <property name="drjava-jar" value="${env.DRJAVA_JAR}" /> |
35 | 34 |
|
36 | 35 | <!-- *** Environment properties that are not needed may be removed *** --> |
37 | 36 | <property environment="env" /> |
| 37 | + <echo message="DRJAVA_JAR = ${env.DRJAVA_JAR}"/> |
| 38 | + <property name="drjava-jar" value="${env.DRJAVA_JAR}" /> |
38 | 39 | <property name="java5-home" value="${env.JAVA5_HOME}" /> |
39 | 40 | <property name="java6-home" value="${env.JAVA6_HOME}" /> |
40 | 41 | <property name="java7-home" value="${env.JAVA7_HOME}" /> |
|
231 | 232 | </antcall> |
232 | 233 | </target> |
233 | 234 |
|
234 | | - <target name="compile-mac" depends="resolve-java5-runtime" |
| 235 | + <target name="compile-mac" depends="" |
235 | 236 | description="Compile the 'mac' sources"> |
236 | | - <antcall target="do-compile"> |
| 237 | + <antcall target="do-compile-10"> |
237 | 238 | <param name="platform-tag" value="mac" /> |
238 | | - <param name="source-version" value="1.5" /> |
239 | | - <param name="runtime-jar" value="${java5-runtime}" /> |
240 | | - <param name="extra-classpath" value="${java5-runtime}/../ui.jar" /> |
| 239 | + <!--param name="source-version" value="1.5" /--> |
| 240 | + <!--param name="runtime-jar" value="${java5-runtime}" /--> |
| 241 | + <!--param name="extra-classpath" value="${java5-runtime}/../ui.jar" /--> |
241 | 242 | </antcall> |
242 | 243 | </target> |
243 | 244 |
|
|
251 | 252 | </antcall> |
252 | 253 | </target> |
253 | 254 |
|
254 | | - |
255 | | - <!-- Requires that the properties 'platform-tag', 'source-version', 'runtime-jar', and |
| 255 | + |
| 256 | + <!-- Requires that the properties 'platform-tag', 'source-version', 'runtime-jar', and |
256 | 257 | 'extra-classpath' be set --> |
257 | 258 | <target name="do-compile" depends="assert-drjava-jar-exists"> |
258 | 259 |
|
|
272 | 273 | source="${source-version}" target="${source-version}" |
273 | 274 | bootclasspath="${runtime-jar}" sourcepath="" includeAntRuntime="no" |
274 | 275 | executable="javac" fork="yes" memoryMaximumSize="512M" |
| 276 | + verbose = 'true' debug="on" optimize="off" deprecation="on"> |
| 277 | + <classpath> |
| 278 | + <pathelement path="${extra-classpath}" /> |
| 279 | + <fileset refid="libs" /> |
| 280 | + <pathelement location="lib/buildlib/junit.jar" /> |
| 281 | + <pathelement location="classes/base-${platform-tag}" /> |
| 282 | + <pathelement location="${drjava-jar}" /> |
| 283 | + </classpath> |
| 284 | + <compilerarg value="-Xlint" /> |
| 285 | + <!-- Ignore serial warnings, because they occur for every Throwable definition (among others) --> |
| 286 | + <compilerarg value="-Xlint:-serial" /> |
| 287 | + <!-- Use the next line to compile against other sources, ignoring any unneeded classes. |
| 288 | + This can be useful in creating a pruned version of a jar file for the lib directory. |
| 289 | + (You must also clear the sourcepath="" option.) |
| 290 | + <include name="${src-working-dir}/**/*.java" /> --> |
| 291 | + </javac> |
| 292 | + |
| 293 | + <move todir="classes/test-${platform-tag}"> |
| 294 | + <fileset dir="classes/base-${platform-tag}"> |
| 295 | + <include name="**/*Test.class" /> |
| 296 | + <include name="**/*Test$*.class" /> |
| 297 | + <include name="**/*TestCase.class" /> |
| 298 | + <include name="**/*TestCase$*.class" /> |
| 299 | + <!-- Additional test classes should be listed here --> |
| 300 | + </fileset> |
| 301 | + </move> |
| 302 | + |
| 303 | + <antcall target="copy-resources" /> |
| 304 | + <antcall target="unjar-libs" /> |
| 305 | + |
| 306 | + </target> |
| 307 | + |
| 308 | + |
| 309 | + <!-- Requires that the properties 'platform-tag', 'source-version', 'runtime-jar', and |
| 310 | + 'extra-classpath' be set --> |
| 311 | + <target name="do-compile-10" depends=""> |
| 312 | + |
| 313 | + <echo message="Compiling src-${platform-tag} directory to classes/base-${platform-tag} and classes/test-${platform-tag}" /> |
| 314 | + <echo message="with command 'javac'" /> |
| 315 | + |
| 316 | + <!-- Make the directories if they don't already exist --> |
| 317 | + <mkdir dir="classes/base-${platform-tag}" /> |
| 318 | + <mkdir dir="classes/test-${platform-tag}" /> |
| 319 | + <!-- To eliminate confusion, we force recompilation whenever this is invoked --> |
| 320 | + <delete> |
| 321 | + <fileset dir="classes/base-${platform-tag}" includes="**/*" /> |
| 322 | + <fileset dir="classes/test-${platform-tag}" includes="**/*" /> |
| 323 | + </delete> |
| 324 | + |
| 325 | + <javac srcdir="src-${platform-tag}" destdir="classes/base-${platform-tag}" |
| 326 | + source="${source-version}" target="${source-version}" release="10" |
| 327 | + sourcepath="" includeAntRuntime="no" |
| 328 | + executable="javac" fork="yes" memoryMaximumSize="512M" |
275 | 329 | debug="on" optimize="off" deprecation="on"> |
276 | 330 | <classpath> |
277 | 331 | <pathelement path="${extra-classpath}" /> |
|
1067 | 1121 |
|
1068 | 1122 | <target name="assert-drjava-jar-exists"> |
1069 | 1123 | <available property="drjava-jar-exists" file="${drjava-jar}" /> |
1070 | | - <fail message="${drjava-jar} does not exist" unless="drjava-jar-exists" /> |
| 1124 | + <fail message="${drjava-jar} does not exist, env is ${env} enviroment is ${environment}" unless="drjava-jar-exists" /> |
1071 | 1125 | </target> |
1072 | 1126 |
|
1073 | 1127 | <target name="resolve-development-value"> |
|
0 commit comments