diff options
| author |  Rustan Leino <unknown> | 2013-03-05 16:58:16 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-03-05 16:58:16 -0800 |
| commit | c819fabbb8da669952cb7e2e5937c73ff6dcfabe (patch) | |
| tree | fdfa5ecd7ef81709608d5dcb5ba232611c1b073f /Chalice/chalice.bat | |
| parent | f82dab21f1240fb3f8d67a880f4f93017d85c345 (diff) | |
Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codeplex repositories.
Diffstat (limited to 'Chalice/chalice.bat')
| -rw-r--r-- | Chalice/chalice.bat | 55 |
1 files changed, 0 insertions, 55 deletions
diff --git a/Chalice/chalice.bat b/Chalice/chalice.bat deleted file mode 100644 index 66dc095c..00000000 --- a/Chalice/chalice.bat +++ /dev/null @@ -1,55 +0,0 @@ -@echo off
-SetLocal EnableDelayedExpansion
-
-set ROOT_DIR=%~dp0
-set JAVA_EXE=java
-
-REM Attention: 'where' might not be available on all Windows versions
-call where %JAVA_EXE% > NUL
-if not %ERRORLEVEL%==0 (
- echo Java could not be started.
- goto :exit_with_error
-)
-
-
-set SCALA_DIR=scala-2.9.2
-
-REM Set classpath elements
-set __CP.SCALA_LIB="%ROOT_DIR%project\boot\%SCALA_DIR%\lib\scala-library.jar"
-set __CP.CHALICE="%ROOT_DIR%target\%SCALA_DIR%\classes"
-
-REM Assemble classpath and check if all classpath elements exist
-set CP=
-for /f "tokens=2* delims=.=" %%A in ('set __CP.') do (
- REM echo %%A %%B
- if not exist %%B (
- echo %%B does not exist.
- goto :exit_with_error
- ) else (
- set CP=!CP!;%%B
- )
-)
-
-REM Chalice main class
-set CHALICE_MAIN=chalice.Chalice
-
-REM Chalice command line options
-set CHALICE_OPTS=
-set CHALICE_OPTS=%CHALICE_OPTS% /boogieOpt:nologo
-set CHALICE_OPTS=%CHALICE_OPTS% /boogieOpt:noinfer
-set CHALICE_OPTS=%CHALICE_OPTS% %*
-
-REM Assemble main command
-set CMD=%JAVA_EXE% -cp %CP% -Xss16M %CHALICE_MAIN% %CHALICE_OPTS%
-
-REM echo.
-REM echo %CMD%
-REM echo.
-
-call %CMD%
-
-exit /B 0
-
-
-:exit_with_error
-exit /B 1
|