diff options
Diffstat (limited to 'build.bat')
-rwxr-xr-x | build.bat | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/build.bat b/build.bat new file mode 100755 index 000000000..9451c94b2 --- /dev/null +++ b/build.bat @@ -0,0 +1,28 @@ +echo on + +echo Fop Build System +echo ---------------- + +if "%JAVA_HOME%" == "" goto error + +set LOCALCLASSPATH=%JAVA_HOME%\lib\tools.jar;%JAVA_HOME%\lib\classes.zip;lib\ant.jar;lib\xml.jar;lib +set ANT_HOME=.\lib + +echo Building with classpath %LOCALCLASSPATH% + +echo Starting Ant... + +%JAVA_HOME%\bin\java.exe -Dant.home=%ANT_HOME% -classpath %LOCALCLASSPATH% org.apache.tools.ant.Main %1 %2 %3 %4 %5 + +goto end + +:error + +echo ERROR: JAVA_HOME not found in your environment. +echo Please, set the JAVA_HOME variable in your environment to match the +echo location of the Java Virtual Machine you want to use. + +:end + +rem set LOCALCLASSPATH= + |