Add readme, update build.gradle to support newer gradle

Author: ansharlubis

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'