diff options
author | michelou <michelou@epfl.ch> | 2005-10-14 09:38:29 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2005-10-14 09:38:29 +0000 |
commit | fecc6c4d1f076e1ec03bd7b31a678893775e8173 (patch) | |
tree | d37022bdb304c63712036aa75462e1a235e92ab0 | |
parent | aa62dc1ac2649534cac1cb3b5175ca0de1580a09 (diff) | |
download | scala-fecc6c4d1f076e1ec03bd7b31a678893775e8173.tar.gz scala-fecc6c4d1f076e1ec03bd7b31a678893775e8173.tar.bz2 scala-fecc6c4d1f076e1ec03bd7b31a678893775e8173.zip |
- batch template.
-rw-r--r-- | bin/.nsc_bat.tmpl | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/bin/.nsc_bat.tmpl b/bin/.nsc_bat.tmpl new file mode 100644 index 0000000000..e2d9540439 --- /dev/null +++ b/bin/.nsc_bat.tmpl @@ -0,0 +1,39 @@ +@echo off + +rem ########################################################################## +rem # Copyright (C) 2002-2005 LAMP/EPFL +rem # +rem # This is free software; see the distribution for copying conditions. +rem # There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A +rem # PARTICULAR PURPOSE. +rem ########################################################################## + +if "%OS%"=="Windows_NT" @setlocal + +if "%SCALA_HOME%" == "" goto error1 + +set _ARGS= +:loop +if '%1' == '' goto exec +set _ARGS=%_ARGS% %1 +shift +goto loop + +:exec +set _JAVACMD=java +set _PROPS=-Dscala.product=@PRODUCT@ -Dscala.version=@VERSION@ +set _MAIN=@MAIN@ +set _CPATH=@CPATH@ + +rem echo %_JAVACMD% %_PROPS% -cp %_CPATH% %_MAIN% %_ARGS% +%_JAVACMD% %_PROPS% -cp %_CPATH% %_MAIN% %_ARGS% + +rem ########################################################################## +rem # errors + +:error1 +echo ERROR: environment variable SCALA_HOME is undefined. It should point to the directory containing the file %_VERSION%. +goto end + +:end +if "%OS%"=="Windows_NT" @endlocal |