Run tests without downloading tla2tools.jar with ant -Dskip.download=…

…true compile test
tlaplus · Nov 20, 2019 · 16e9477 · 16e9477
1 parent cf035c6
commit 16e9477
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/build.xml b/build.xml
@@ -12,8 +12,11 @@
 		<mkdir dir="${lib}"/>
 	</target>
 
-	<target name="compile" depends="init" description="compile the java module overwrites">
+	<target name="download" depends="init" description="downloads tla2tools.jar" unless="skip.download">
 		<get src="https://nightly.tlapl.us/dist/tla2tools.jar" dest="${lib}"/>
+	</target>
+
+	<target name="compile" depends="download" description="compile the java module overwrites">
 		<javac srcdir="${src}" destdir="${build}" classpath="${lib}/tla2tools.jar"
            source="1.8"
            target="1.8"