From ee70c7e0100d49b55db83c543f7a71849c58b80b Mon Sep 17 00:00:00 2001
From: arcuri82 <arcuri82@gmail.com>
Date: Mon, 30 Jun 2025 12:23:42 +0200
Subject: [PATCH] fix for ERC20

---
 README.md       |  2 +-
 scripts/dist.py | 46 ++++++++++++++++++++++++----------------------
 2 files changed, 25 insertions(+), 23 deletions(-)

diff --git a/README.md b/README.md
index 38c61b84a..ee116eb53 100644
--- a/README.md
+++ b/README.md
@@ -70,7 +70,7 @@ For simplicity, all schemas are also available as JSON/YML files under the folde
 > **IMPORTANT**: More details (e.g., #LOCs and used databases) on these APIs can be found [in this table](statistics/table_emb.md).
 
 
-### REST: Java/Kotlin (29)
+### REST: Java/Kotlin (30)
 
 * **Bibliothek** (MIT), [jdk_17_gradle/cs/rest/bibliothek](jdk_17_gradle/cs/rest/bibliothek), from [https://github.com/PaperMC/bibliothek](https://github.com/PaperMC/bibliothek)
 
diff --git a/scripts/dist.py b/scripts/dist.py
index 9eee6b17e..790e51578 100755
--- a/scripts/dist.py
+++ b/scripts/dist.py
@@ -277,10 +277,9 @@ def build_jdk_21_maven():
 
 
 ####################
-def build_jdk_11_gradle():
+def call_gradle(java_home, folder):
     env_vars = os.environ.copy()
-    env_vars["JAVA_HOME"] = JAVA_HOME_11
-    folder = "jdk_11_gradle"
+    env_vars["JAVA_HOME"] = java_home
 
     command = "gradlew"
 
@@ -298,6 +297,24 @@ def build_jdk_11_gradle():
         print("\nERROR: Gradle command failed")
         exit(1)
 
+####################
+def build_jdk_8_gradle():
+
+    java_home = JAVA_HOME_8
+    folder = "jdk_8_gradle"
+    call_gradle(java_home,folder)
+
+    copy(folder + "/cs/rest/erc20-rest-service/build/libs/erc20-rest-service-sut.jar", DIST)
+    copy(folder + "/em/external/rest/erc20-rest-service/build/libs/erc20-rest-service-evomaster-runner.jar", DIST)
+
+
+####################
+def build_jdk_11_gradle():
+
+    java_home = JAVA_HOME_11
+    folder = "jdk_11_gradle"
+    call_gradle(java_home,folder)
+
     # Copy JAR files
     copy(folder + "/cs/graphql/patio-api/build/libs/patio-api-sut.jar", DIST)
     copy(folder + "/em/external/graphql/patio-api/build/libs/patio-api-evomaster-runner.jar", DIST)
@@ -306,26 +323,10 @@ def build_jdk_11_gradle():
 
 ####################
 def build_jdk_17_gradle():
-    env_vars = os.environ.copy()
-    env_vars["JAVA_HOME"] = JAVA_HOME_17
-    folder = "jdk_17_gradle"
-
-    command = "gradlew"
 
-    if platform.system() == "Darwin":
-
-        # make sure gradlew command is executable
-        os.system("chmod +x " + os.getcwd() + "/" + folder + "/gradlew")
-
-        command = "./gradlew"
-
-    gradleres = run([command, "build", "-x", "test"], shell=SHELL, cwd=os.path.join(PROJ_LOCATION, folder),
-                    env=env_vars)
-    gradleres = gradleres.returncode
-
-    if gradleres != 0:
-        print("\nERROR: Gradle command failed")
-        exit(1)
+    java_home = JAVA_HOME_17
+    folder = "jdk_17_gradle"
+    call_gradle(java_home,folder)
 
     # Copy JAR files
     copy(folder + "/cs/rest/bibliothek/build/libs/bibliothek-sut.jar", DIST)
@@ -428,6 +429,7 @@ def makeZip():
 build_jdk_11_maven()
 build_jdk_17_maven()
 build_jdk_21_maven()
+build_jdk_8_gradle()
 build_jdk_11_gradle()
 build_jdk_17_gradle()