4 if not exist "%JDK17_HOME%\bin\java.exe" (
5 echo File
"%JDK17_HOME%\bin\java.exe" not found. Please check JDK17_HOME and try again
!
10 for %%i in
("%CD%\libexec\junit-platform-console-standalone*.jar") do (
11 set "JUNIT_RUNNER_PATH=%%~i"
15 echo File
"libexec\junit-platform-console-standalone.jar" not found. Please build first
!
16 echo Please download from https
://mvnrepository.com
/artifact
/org.junit.platform
/junit
-platform
-console
-standalone
22 for %%i in
("%CD%\dist\fast-key-erasure*.tests.jar") do (
23 set "JAR_FILE_PATH=%%~i"
27 echo File
"dist\fast-key-erasure.tests.jar" not found. Please build first
!
33 if "%PROCESSOR_ARCHITECTURE%"=="x86" (
34 set TEE_EXEFILE
=tee
-x86.exe
35 ) else if "%PROCESSOR_ARCHITECTURE%"=="AMD64" (
36 set TEE_EXEFILE
=tee
-x64.exe
37 ) else if "%PROCESSOR_ARCHITECTURE%"=="ARM64" (
38 set TEE_EXEFILE
=tee
-a64.exe
40 echo Unknown processor architecture
!
45 set "JAVA_HOME=%JDK17_HOME%"
46 set "PATH=%JAVA_HOME%\bin;%PATH%"
49 "%JAVA_HOME%\bin\java.exe" -Xmx10g
-Xms10g
-ea
-jar
"%JUNIT_RUNNER_PATH%" --classpath
"%JAR_FILE_PATH%" --scan
-classpath |
"%CD%\libexec\windows\%TEE_EXEFILE%" NUL