Modify build.gradle to support version 8.10.1

.github/workflows/gradle.yml

@@ -30,12 +30,14 @@ jobs:
         git submodule update
 
     - name: Build BatakJava
-      run: ./gradlew build
+      run: |
+        ./gradlew wrapper --gradle-version=8.10.1
+        ./gradlew build
 
     - name: Set up Python
       uses: actions/setup-python@v4
       with:
-        python-version: "3.7"
+        python-version: "3.12.11"
 
     - name: Install Python dependencies
       run: |

README.md

@@ -1 +1,32 @@
-# Version Polymorphic BatakJava
+# Version Polymorphic BatakJava
+
+## System requirements
+
+- Gradle (8.10.1)
+- Apache Maven (3.9.6)
+- > Java 8
+- [Z3 Solver](https://github.com/Z3Prover/z3) version 4.8.10
+
+### Gradle installation
+
+- MacOS
+
+Install using brew:
+
+```
+brew install gradle
+```
+
+### Z3 solver installation
+
+1. Download the Z3 version 4.8.10 ([link](https://github.com/Z3Prover/z3/releases/tag/z3-4.8.10)) for your OS.
+
+2. Unpack the downloaded file
+
+3. Install to local Maven repository:
+
+```
+
+```
+
+Reference: https://stackoverflow.com/questions/60403775/how-to-setup-a-java-development-environment-for-z3 

build.gradle

@@ -3,6 +3,12 @@ plugins {
   id 'org.jastadd' version '1.13.3'
 }
 
+// java {
+//     toolchain {
+//         languageVersion.set(JavaLanguageVersion.of(8))
+//     }
+// }
+
 defaultTasks 'jar'
 
 if (!file('extendj/jastadd_modules').exists()) {
@@ -63,15 +69,16 @@ sourceSets.main {
 
 repositories.mavenLocal()
 dependencies {
-  compile 'com.microsoft:z3:4.8.10'
-  compile 'org.choco-solver:choco-solver:4.10.5'
-  compile 'com.google.guava:guava:30.1-jre'
+  implementation 'com.microsoft:z3:4.8.10'
+  implementation 'org.choco-solver:choco-solver:4.10.5'
+  implementation 'com.google.guava:guava:30.1-jre'
 }
 
 jar {
   from {
-    configurations.compile.collect { it.isDirectory() ? it : zipTree(it) }
+    configurations.runtimeClasspath.collect { it.isDirectory() ? it : zipTree(it) }
   }
+  duplicatesStrategy(DuplicatesStrategy.EXCLUDE)
 }
 
 // Use JavaCompiler if you need bytecode generation.
@@ -80,16 +87,15 @@ jar {
 //jar.manifest.attributes 'Main-Class': 'org.batakjava.BatakjavaChecker'
 jar.manifest.attributes 'Main-Class': 'org.batakjava.BatakjavaCompiler'
 //jar.manifest.attributes 'Main-Class': 'org.batakjava.DependencyChecker'
-jar.destinationDir = projectDir
+jar.destinationDirectory = projectDir
 
 // Java -source and -target version.
 sourceCompatibility = targetCompatibility = '1.8'
 
 task sourceZip(type: Zip) {
   description 'Builds a Zip file with the entire repisotory (including the ExtendJ submodule).'
-  destinationDir = projectDir
-  archiveName = "pbatakjava-src.zip"
-
+  destinationDirectory = projectDir
+  archiveBaseName = "pbatakjava-src.zip"
   from (projectDir) {
     exclude '**/.git'
     exclude '**/.gitignore'

gradle/wrapper/gradle-wrapper.properties

@@ -1,5 +1,7 @@
 distributionBase=GRADLE_USER_HOME
 distributionPath=wrapper/dists
+distributionUrl=https\://services.gradle.org/distributions/gradle-8.10.1-bin.zip
+networkTimeout=10000
+validateDistributionUrl=true
 zipStoreBase=GRADLE_USER_HOME
 zipStorePath=wrapper/dists
-distributionUrl=https\://services.gradle.org/distributions/gradle-4.4.1-bin.zip