updating scripts to handle JDK 17

Author: arcuri82

scripts/dist.py

@@ -29,6 +29,7 @@
 
 JAVA_HOME_8 = os.environ.get('JAVA_HOME_8', '')
 JAVA_HOME_11 = os.environ.get('JAVA_HOME_11', '')
+JAVA_HOME_17 = os.environ.get('JAVA_HOME_17', '')
 
 SHELL = platform.system() == 'Windows'
 
@@ -45,6 +46,10 @@ def checkJavaVersions():
         print("\nERROR: JAVA_HOME_11 environment variable is not defined")
         exit(1)
 
+    if JAVA_HOME_17 == '':
+        print("\nERROR: JAVA_HOME_17 environment variable is not defined")
+        exit(1)
+
 
 
 ######################################
@@ -158,6 +163,17 @@ def build_jdk_11_maven() :
             copy(ind1, os.path.join(DIST, "ind1-sut.jar"))
             copy(folder +"/em/external/rest/ind1/target/ind1-evomaster-runner.jar", DIST)
 
+
+####################
+def build_jdk_17_maven() :
+
+    folder = "jdk_17_maven"
+    callMaven(folder, JAVA_HOME_17)
+
+    copy(folder +"/cs/web/spring-petclinic/target/spring-petclinic-sut.jar", DIST)
+    copy(folder +"/em/external/web/spring-petclinic/target/spring-petclinic-evomaster-runner.jar", DIST)
+
+
 ####################
 def build_jdk_11_gradle() :
 
@@ -278,6 +294,7 @@ def makeZip():
 
 build_jdk_8_maven()
 build_jdk_11_maven()
+build_jdk_17_maven()
 build_jdk_11_gradle()
 
 ## Those are disabled for now... might support back in the future

scripts/version.py

@@ -32,6 +32,13 @@
     print("\nERROR: JAVA_HOME_11 environment variable is not defined")
     exit(1)
 
+JAVA_HOME_17 = os.environ.get('JAVA_HOME_17', '')
+if JAVA_HOME_11 == '':
+    print("\nERROR: JAVA_HOME_17 environment variable is not defined")
+    exit(1)
+
+
+
 SHELL = platform.system() == 'Windows'
 
 def replaceInPom(file):
@@ -115,6 +122,7 @@ def replaceInCS():
 
 replaceInPom("jdk_8_maven/pom.xml")
 replaceInPom("jdk_11_maven/pom.xml")
+replaceInPom("jdk_17_maven/pom.xml")
 
 # is there any easier way for Gradle?
 replaceInKotlinGradle("jdk_11_gradle/em/embedded/graphql/patio-api/build.gradle.kts")
@@ -124,6 +132,7 @@ def replaceInCS():
 
 versionSetMaven("/jdk_8_maven",JAVA_HOME_8)
 versionSetMaven("/jdk_11_maven",JAVA_HOME_11)
+versionSetMaven("/jdk_17_maven",JAVA_HOME_17)
 
 # We no longer support those in EMB... not enough resouces. although might change in future
 #replaceAllJs()