]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/antRun.bat
This commit was manufactured by cvs2svn to create branch 'start'.
[helm.git] / helm / uwobo / antRun.bat
diff --git a/helm/uwobo/antRun.bat b/helm/uwobo/antRun.bat
new file mode 100644 (file)
index 0000000..e83ce36
--- /dev/null
@@ -0,0 +1,17 @@
+@echo off
+set ANT_CMD_LINE_ARGS=
+
+:setupArgs
+if %1a==a goto checkJavaHome
+set ANT_CMD_LINE_ARGS=%ANT_CMD_LINE_ARGS% %1
+shift
+goto setupArgs
+
+:checkJavaHome
+if not "%JAVA_HOME%" == "" goto runAnt
+echo Warning: JAVA_HOME environment variable is not set.
+
+:runAnt
+java -cp ant\ant.jar;ant\jaxp.jar;ant\parser.jar;%JAVA_HOME%\lib\tools.jar -Dant.home=.\ org.apache.tools.ant.Main %ANT_CMD_LINE_ARGS%
+
+set ANT_CMD_LINE_ARGS=