From c596fbe6f56e0c2878a9a9d3eca54ec58b1c732d Mon Sep 17 00:00:00 2001
From: michelou <michelou@epfl.ch>
Date: Fri, 29 Feb 2008 11:36:59 +0000
Subject: added batch file for partest

---
 test/partest.bat | 101 +++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 101 insertions(+)
 create mode 100755 test/partest.bat

(limited to 'test/partest.bat')

diff --git a/test/partest.bat b/test/partest.bat
new file mode 100755
index 0000000000..bdaa73e52b
--- /dev/null
+++ b/test/partest.bat
@@ -0,0 +1,101 @@
+@echo off
+
+rem ##########################################################################
+rem # Scala code runner 2.7.0-final
+rem ##########################################################################
+rem # (c) 2002-2008 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 ##########################################################################
+
+rem We adopt the following conventions:
+rem - System/user environment variables start with a letter
+rem - Local batch variables start with an underscore ('_')
+
+if "%OS%"=="Windows_NT" (
+  @setlocal
+  call :set_home
+  set _ARGS=%*
+) else (
+  set _SCALA_HOME=%SCALA_HOME%
+  rem The following line tests SCALA_HOME instead of _SCALA_HOME, because
+  rem the above change to _SCALA_HOME is not visible within this block.
+  if "%SCALA_HOME%"=="" goto error1
+  call :set_args
+)
+
+rem We use the value of the JAVACMD environment variable if defined
+set _JAVACMD=%JAVACMD%
+if "%_JAVACMD%"=="" set _JAVACMD=java
+
+rem We use the value of the JAVA_OPTS environment variable if defined
+set _JAVA_OPTS=%JAVA_OPTS%
+if "%_JAVA_OPTS%"=="" set _JAVA_OPTS=-Xmx256M -Xms16M
+
+rem We use the value of the SCALAC_OPTS environment variable if defined
+set _SCALAC_OPTS=%SCALAC_OPTS%
+if "%_SCALAC_OPTS%"=="" set _SCALAC_OPTS=-deprecation
+
+set _EXTENSION_CLASSPATH=
+if "%_EXTENSION_CLASSPATH%"=="" (
+  if exist "%_SCALA_HOME%\lib\scala-partest.jar" (
+    echo toto
+    for %%f in ("%_SCALA_HOME%\lib\*") do call :add_cpath "%%f"
+    if "%OS%"=="Windows_NT" (
+      for /d %%f in ("%_SCALA_HOME%\lib\*") do call :add_cpath "%%f"
+    )
+  ) else if exist "%_SCALA_HOME%\build\quick\lib\partest" (
+    echo caca
+    for %%f in ("%_SCALA_HOME%\build\quick\lib\*") do call :add_cpath "%%f"
+    if "%OS%"=="Windows_NT" (
+      for /d %%f in ("%_SCALA_HOME%\build\quick\lib\*") do call :add_cpath "%%f"
+    )  
+  )
+)
+
+set _PROPS=-Dscala.home="%_SCALA_HOME%" -Dscalatest.javacmd="%_JAVACMD%" -Dscalatest.java_options="%_JAVA_OPTS%" -Dscalatest.scalac_options="%_SCALAC_OPTS%"
+
+rem echo %_JAVACMD% %_JAVA_OPTS% %_PROPS% -cp "%_EXTENSION_CLASSPATH%" scala.tools.partest.nest.NestRunner %_ARGS%
+%_JAVACMD% %_JAVA_OPTS% %_PROPS% -cp "%_EXTENSION_CLASSPATH%" scala.tools.partest.nest.NestRunner %_ARGS%
+goto end
+
+rem ##########################################################################
+rem # subroutines
+
+:add_cpath
+  if "%_EXTENSION_CLASSPATH%"=="" (
+    set _EXTENSION_CLASSPATH=%~1
+  ) else (
+    set _EXTENSION_CLASSPATH=%_EXTENSION_CLASSPATH%;%~1
+  )
+goto :eof
+
+rem Variable "%~dps0" works on WinXP SP2 or newer
+rem (see http://support.microsoft.com/?kbid=833431)
+rem set _SCALA_HOME=%~dps0..
+:set_home
+  set _BIN_DIR=
+  for %%i in (%~sf0) do set _BIN_DIR=%_BIN_DIR%%%~dpsi
+  set _SCALA_HOME=%_BIN_DIR%..
+goto :eof
+
+:set_args
+  set _ARGS=
+  :loop
+  rem Argument %1 may contain quotes so we use parentheses here
+  if (%1)==() goto :eof
+  set _ARGS=%_ARGS% %1
+  shift
+  goto loop
+
+rem ##########################################################################
+rem # errors
+
+:error1
+echo ERROR: environment variable SCALA_HOME is undefined. It should point to your installation directory.
+goto end
+
+:end
+if "%OS%"=="Windows_NT" @endlocal
-- 
cgit v1.2.3