~cpn-gui/tapaal/typeChecker

« back to all changes in this revision

Viewing changes to gradlew.bat

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2018-07-10 18:02:32 UTC
  • mto: This revision was merged to the branch mainline in revision 969.
  • Revision ID: kenneth@yrke.dk-20180710180232-lcqcv80p34fla063
added gradle files

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
@if "%DEBUG%" == "" @echo off
 
2
@rem ##########################################################################
 
3
@rem
 
4
@rem  Gradle startup script for Windows
 
5
@rem
 
6
@rem ##########################################################################
 
7
 
 
8
@rem Set local scope for the variables with windows NT shell
 
9
if "%OS%"=="Windows_NT" setlocal
 
10
 
 
11
set DIRNAME=%~dp0
 
12
if "%DIRNAME%" == "" set DIRNAME=.
 
13
set APP_BASE_NAME=%~n0
 
14
set APP_HOME=%DIRNAME%
 
15
 
 
16
@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
 
17
set DEFAULT_JVM_OPTS=
 
18
 
 
19
@rem Find java.exe
 
20
if defined JAVA_HOME goto findJavaFromJavaHome
 
21
 
 
22
set JAVA_EXE=java.exe
 
23
%JAVA_EXE% -version >NUL 2>&1
 
24
if "%ERRORLEVEL%" == "0" goto init
 
25
 
 
26
echo.
 
27
echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
 
28
echo.
 
29
echo Please set the JAVA_HOME variable in your environment to match the
 
30
echo location of your Java installation.
 
31
 
 
32
goto fail
 
33
 
 
34
:findJavaFromJavaHome
 
35
set JAVA_HOME=%JAVA_HOME:"=%
 
36
set JAVA_EXE=%JAVA_HOME%/bin/java.exe
 
37
 
 
38
if exist "%JAVA_EXE%" goto init
 
39
 
 
40
echo.
 
41
echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME%
 
42
echo.
 
43
echo Please set the JAVA_HOME variable in your environment to match the
 
44
echo location of your Java installation.
 
45
 
 
46
goto fail
 
47
 
 
48
:init
 
49
@rem Get command-line arguments, handling Windows variants
 
50
 
 
51
if not "%OS%" == "Windows_NT" goto win9xME_args
 
52
 
 
53
:win9xME_args
 
54
@rem Slurp the command line arguments.
 
55
set CMD_LINE_ARGS=
 
56
set _SKIP=2
 
57
 
 
58
:win9xME_args_slurp
 
59
if "x%~1" == "x" goto execute
 
60
 
 
61
set CMD_LINE_ARGS=%*
 
62
 
 
63
:execute
 
64
@rem Setup the command line
 
65
 
 
66
set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar
 
67
 
 
68
@rem Execute Gradle
 
69
"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %CMD_LINE_ARGS%
 
70
 
 
71
:end
 
72
@rem End local scope for the variables with windows NT shell
 
73
if "%ERRORLEVEL%"=="0" goto mainEnd
 
74
 
 
75
:fail
 
76
rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of
 
77
rem the _cmd.exe /c_ return code!
 
78
if  not "" == "%GRADLE_EXIT_CONSOLE%" exit 1
 
79
exit /b 1
 
80
 
 
81
:mainEnd
 
82
if "%OS%"=="Windows_NT" endlocal
 
83
 
 
84
:omega