chore(deps): bump dependencies

author: Kristóf Marussy <kristof@marussy.com> 2024-06-01 19:37:01 +0200
committer: Kristóf Marussy <kristof@marussy.com> 2024-06-01 20:17:48 +0200
commit: 172e6dc75014ffb6b03dbf99c76283e23e0daae6 (patch)
tree: 51ef2a56ec9bd591293d16757363c9b3ddf2905c /gradlew.bat
parent: refactor(reasoning): candidate view should always be a refinement of partial (diff)
download: refinery-172e6dc75014ffb6b03dbf99c76283e23e0daae6.tar.gz
refinery-172e6dc75014ffb6b03dbf99c76283e23e0daae6.tar.zst
refinery-172e6dc75014ffb6b03dbf99c76283e23e0daae6.zip
1 files changed, 92 insertions, 92 deletions
diff --git a/gradlew.bat b/gradlew.bat
index 6b1b6735..7101f8e4 100644
--- a/gradlew.bat
+++ b/gradlew.bat
@@ -1,92 +1,92 @@
-@rem
+@rem
-@rem Copyright 2015 the original author or authors.
+@rem Copyright 2015 the original author or authors.
-@rem
+@rem
-@rem Licensed under the Apache License, Version 2.0 (the "License");
+@rem Licensed under the Apache License, Version 2.0 (the "License");
-@rem you may not use this file except in compliance with the License.
+@rem you may not use this file except in compliance with the License.
-@rem You may obtain a copy of the License at
+@rem You may obtain a copy of the License at
-@rem
+@rem
-@rem      https://www.apache.org/licenses/LICENSE-2.0
+@rem      https://www.apache.org/licenses/LICENSE-2.0
-@rem
+@rem
-@rem Unless required by applicable law or agreed to in writing, software
+@rem Unless required by applicable law or agreed to in writing, software
-@rem distributed under the License is distributed on an "AS IS" BASIS,
+@rem distributed under the License is distributed on an "AS IS" BASIS,
-@rem WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+@rem WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-@rem See the License for the specific language governing permissions and
+@rem See the License for the specific language governing permissions and
-@rem limitations under the License.
+@rem limitations under the License.
-@rem
+@rem
-@if "%DEBUG%"=="" @echo off
+@if "%DEBUG%"=="" @echo off
-@rem ##########################################################################
+@rem ##########################################################################
-@rem
+@rem
-@rem  Gradle startup script for Windows
+@rem  Gradle startup script for Windows
-@rem
+@rem
-@rem ##########################################################################
+@rem ##########################################################################
-@rem Set local scope for the variables with windows NT shell
+@rem Set local scope for the variables with windows NT shell
-if "%OS%"=="Windows_NT" setlocal
+if "%OS%"=="Windows_NT" setlocal
-set DIRNAME=%~dp0
+set DIRNAME=%~dp0
-if "%DIRNAME%"=="" set DIRNAME=.setlocal
+if "%DIRNAME%"=="" set DIRNAME=.
-@rem This is normally unused
+@rem This is normally unused
-set APP_BASE_NAME=%~n0
+set APP_BASE_NAME=%~n0
-set APP_HOME=%DIRNAME%
+set APP_HOME=%DIRNAME%
-@rem Resolve any "." and ".." in APP_HOME to make it shorter.
+@rem Resolve any "." and ".." in APP_HOME to make it shorter.
-for %%i in ("%APP_HOME%") do set APP_HOME=%%~fi
+for %%i in ("%APP_HOME%") do set APP_HOME=%%~fi
-@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
+@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
-set DEFAULT_JVM_OPTS="-Xmx64m" "-Xms64m"
+set DEFAULT_JVM_OPTS="-Xmx64m" "-Xms64m"
-@rem Find java.exe
+@rem Find java.exe
-if defined JAVA_HOME goto findJavaFromJavaHome
+if defined JAVA_HOME goto findJavaFromJavaHome
-set JAVA_EXE=java.exe
+set JAVA_EXE=java.exe
-%JAVA_EXE% -version >NUL 2>&1
+%JAVA_EXE% -version >NUL 2>&1
-if %ERRORLEVEL% equ 0 goto execute
+if %ERRORLEVEL% equ 0 goto execute
-echo. 1>&2
+echo. 1>&2
-echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH. 1>&2
+echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH. 1>&2
-echo. 1>&2
+echo. 1>&2
-echo Please set the JAVA_HOME variable in your environment to match the 1>&2
+echo Please set the JAVA_HOME variable in your environment to match the 1>&2
-echo location of your Java installation. 1>&2
+echo location of your Java installation. 1>&2
-goto fail
+goto fail
-:findJavaFromJavaHome
+:findJavaFromJavaHome
-set JAVA_HOME=%JAVA_HOME:"=%
+set JAVA_HOME=%JAVA_HOME:"=%
-set JAVA_EXE=%JAVA_HOME%/bin/java.exe
+set JAVA_EXE=%JAVA_HOME%/bin/java.exe
-if exist "%JAVA_EXE%" goto execute
+if exist "%JAVA_EXE%" goto execute
-echo. 1>&2
+echo. 1>&2
-echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME% 1>&2
+echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME% 1>&2
-echo. 1>&2
+echo. 1>&2
-echo Please set the JAVA_HOME variable in your environment to match the 1>&2
+echo Please set the JAVA_HOME variable in your environment to match the 1>&2
-echo location of your Java installation. 1>&2
+echo location of your Java installation. 1>&2
-goto fail
+goto fail
-:execute
+:execute
-@rem Setup the command line
+@rem Setup the command line
-set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar
+set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar
-@rem Execute Gradle
+@rem Execute Gradle
-"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %*
+"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %*
-:end
+:end
-@rem End local scope for the variables with windows NT shell
+@rem End local scope for the variables with windows NT shell
-if %ERRORLEVEL% equ 0 goto mainEnd
+if %ERRORLEVEL% equ 0 goto mainEnd
-:fail
+:fail
-rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of
+rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of
-rem the _cmd.exe /c_ return code!
+rem the _cmd.exe /c_ return code!
-set EXIT_CODE=%ERRORLEVEL%
+set EXIT_CODE=%ERRORLEVEL%
-if %EXIT_CODE% equ 0 set EXIT_CODE=1
+if %EXIT_CODE% equ 0 set EXIT_CODE=1
-if not ""=="%GRADLE_EXIT_CONSOLE%" exit %EXIT_CODE%
+if not ""=="%GRADLE_EXIT_CONSOLE%" exit %EXIT_CODE%
-exit /b %EXIT_CODE%
+exit /b %EXIT_CODE%
-:mainEnd
+:mainEnd
-if "%OS%"=="Windows_NT" endlocal
+if "%OS%"=="Windows_NT" endlocal
-:omega
+:omega
author	Kristóf Marussy <kristof@marussy.com>	2024-06-01 19:37:01 +0200
committer	Kristóf Marussy <kristof@marussy.com>	2024-06-01 20:17:48 +0200
commit	172e6dc75014ffb6b03dbf99c76283e23e0daae6 (patch)
tree	51ef2a56ec9bd591293d16757363c9b3ddf2905c /gradlew.bat
parent	refactor(reasoning): candidate view should always be a refinement of partial (diff)
download	refinery-172e6dc75014ffb6b03dbf99c76283e23e0daae6.tar.gz refinery-172e6dc75014ffb6b03dbf99c76283e23e0daae6.tar.zst refinery-172e6dc75014ffb6b03dbf99c76283e23e0daae6.zip

diff --git a/gradlew.bat b/gradlew.bat index 6b1b6735..7101f8e4 100644 --- a/gradlew.bat +++ b/gradlew.bat
@@ -1,92 +1,92 @@
1	@rem	1	@rem
2	@rem Copyright 2015 the original author or authors.	2	@rem Copyright 2015 the original author or authors.
3	@rem	3	@rem
4	@rem Licensed under the Apache License, Version 2.0 (the "License");	4	@rem Licensed under the Apache License, Version 2.0 (the "License");
5	@rem you may not use this file except in compliance with the License.	5	@rem you may not use this file except in compliance with the License.
6	@rem You may obtain a copy of the License at	6	@rem You may obtain a copy of the License at
7	@rem	7	@rem
8	@rem https://www.apache.org/licenses/LICENSE-2.0	8	@rem https://www.apache.org/licenses/LICENSE-2.0
9	@rem	9	@rem
10	@rem Unless required by applicable law or agreed to in writing, software	10	@rem Unless required by applicable law or agreed to in writing, software
11	@rem distributed under the License is distributed on an "AS IS" BASIS,	11	@rem distributed under the License is distributed on an "AS IS" BASIS,
12	@rem WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.	12	@rem WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13	@rem See the License for the specific language governing permissions and	13	@rem See the License for the specific language governing permissions and
14	@rem limitations under the License.	14	@rem limitations under the License.
15	@rem	15	@rem
16		16
17	@if "%DEBUG%"=="" @echo off	17	@if "%DEBUG%"=="" @echo off
18	@rem ##########################################################################	18	@rem ##########################################################################
19	@rem	19	@rem
20	@rem Gradle startup script for Windows	20	@rem Gradle startup script for Windows
21	@rem	21	@rem
22	@rem ##########################################################################	22	@rem ##########################################################################
23		23
24	@rem Set local scope for the variables with windows NT shell	24	@rem Set local scope for the variables with windows NT shell
25	if "%OS%"=="Windows_NT" setlocal	25	if "%OS%"=="Windows_NT" setlocal
26		26
27	set DIRNAME=%~dp0	27	set DIRNAME=%~dp0
28	if "%DIRNAME%"=="" set DIRNAME=.setlocal	28	if "%DIRNAME%"=="" set DIRNAME=.
29	@rem This is normally unused	29	@rem This is normally unused
30	set APP_BASE_NAME=%~n0	30	set APP_BASE_NAME=%~n0
31	set APP_HOME=%DIRNAME%	31	set APP_HOME=%DIRNAME%
32		32
33	@rem Resolve any "." and ".." in APP_HOME to make it shorter.	33	@rem Resolve any "." and ".." in APP_HOME to make it shorter.
34	for %%i in ("%APP_HOME%") do set APP_HOME=%%~fi	34	for %%i in ("%APP_HOME%") do set APP_HOME=%%~fi
35		35
36	@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.	36	@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
37	set DEFAULT_JVM_OPTS="-Xmx64m" "-Xms64m"	37	set DEFAULT_JVM_OPTS="-Xmx64m" "-Xms64m"
38		38
39	@rem Find java.exe	39	@rem Find java.exe
40	if defined JAVA_HOME goto findJavaFromJavaHome	40	if defined JAVA_HOME goto findJavaFromJavaHome
41		41
42	set JAVA_EXE=java.exe	42	set JAVA_EXE=java.exe
43	%JAVA_EXE% -version >NUL 2>&1	43	%JAVA_EXE% -version >NUL 2>&1
44	if %ERRORLEVEL% equ 0 goto execute	44	if %ERRORLEVEL% equ 0 goto execute
45		45
46	echo. 1>&2	46	echo. 1>&2
47	echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH. 1>&2	47	echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH. 1>&2
48	echo. 1>&2	48	echo. 1>&2
49	echo Please set the JAVA_HOME variable in your environment to match the 1>&2	49	echo Please set the JAVA_HOME variable in your environment to match the 1>&2
50	echo location of your Java installation. 1>&2	50	echo location of your Java installation. 1>&2
51		51
52	goto fail	52	goto fail
53		53
54	:findJavaFromJavaHome	54	:findJavaFromJavaHome
55	set JAVA_HOME=%JAVA_HOME:"=%	55	set JAVA_HOME=%JAVA_HOME:"=%
56	set JAVA_EXE=%JAVA_HOME%/bin/java.exe	56	set JAVA_EXE=%JAVA_HOME%/bin/java.exe
57		57
58	if exist "%JAVA_EXE%" goto execute	58	if exist "%JAVA_EXE%" goto execute
59		59
60	echo. 1>&2	60	echo. 1>&2
61	echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME% 1>&2	61	echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME% 1>&2
62	echo. 1>&2	62	echo. 1>&2
63	echo Please set the JAVA_HOME variable in your environment to match the 1>&2	63	echo Please set the JAVA_HOME variable in your environment to match the 1>&2
64	echo location of your Java installation. 1>&2	64	echo location of your Java installation. 1>&2
65		65
66	goto fail	66	goto fail
67		67
68	:execute	68	:execute
69	@rem Setup the command line	69	@rem Setup the command line
70		70
71	set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar	71	set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar
72		72
73		73
74	@rem Execute Gradle	74	@rem Execute Gradle
75	"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %*	75	"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %*
76		76
77	:end	77	:end
78	@rem End local scope for the variables with windows NT shell	78	@rem End local scope for the variables with windows NT shell
79	if %ERRORLEVEL% equ 0 goto mainEnd	79	if %ERRORLEVEL% equ 0 goto mainEnd
80		80
81	:fail	81	:fail
82	rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of	82	rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of
83	rem the _cmd.exe /c_ return code!	83	rem the _cmd.exe /c_ return code!
84	set EXIT_CODE=%ERRORLEVEL%	84	set EXIT_CODE=%ERRORLEVEL%
85	if %EXIT_CODE% equ 0 set EXIT_CODE=1	85	if %EXIT_CODE% equ 0 set EXIT_CODE=1
86	if not ""=="%GRADLE_EXIT_CONSOLE%" exit %EXIT_CODE%	86	if not ""=="%GRADLE_EXIT_CONSOLE%" exit %EXIT_CODE%
87	exit /b %EXIT_CODE%	87	exit /b %EXIT_CODE%
88		88
89	:mainEnd	89	:mainEnd
90	if "%OS%"=="Windows_NT" endlocal	90	if "%OS%"=="Windows_NT" endlocal
91		91
92	:omega	92	:omega