Replace graalvm changes from #79 with a simpler one

Author: zafer-esen

.github/workflows/scala.yml

@@ -13,12 +13,14 @@ jobs:
     runs-on: ubuntu-22.04
 
     steps:
-    - uses: actions/checkout@v2
-    - name: Set up JDK 11
-      uses: actions/setup-java@v2
+    - uses: actions/checkout@v4
+    - name: Set up GraalVM for JDK 17
+      uses: graalvm/setup-graalvm@v1
       with:
-        java-version: '11'
-        distribution: 'adopt'
+        java-version: '17.0.12'
+        distribution: 'graalvm'
+        github-token: ${{ secrets.GITHUB_TOKEN }}
+        cache: 'sbt'
     - name: Set up sbt
       uses: sbt/setup-sbt@v1
     - name: Build

build.sbt

@@ -186,23 +186,14 @@ lazy val root = (project in file(".")).
 //
     resolvers += "uuverifiers" at "https://eldarica.org/maven/",
     libraryDependencies += "uuverifiers" %% "princess" % "nightly-SNAPSHOT",
-
-    // needed by flata for native-image
-    resolvers += "XypronRelease" at "https://www.xypron.de/repository",
-    libraryDependencies += "org.gnu.glpk" % "glpk-java" % "1.12.0",
 //
-    // nativeImageInstalled := true,
+    nativeImageInstalled := true,
     // point to your GraalVM (recommended via env var)
     //nativeImageGraalHome := file(sys.env("GRAALVM_HOME")).toPath,
 
     nativeImageOptions ++= Seq(
       "--no-fallback",
-      "-H:+ReportExceptionStackTraces",
-      "--allow-incomplete-classpath",
-      "--initialize-at-run-time=org.gnu.glpk.glp_prob",
-      "--initialize-at-run-time=ap.basetypes.BigComplex$",
-      "--initialize-at-build-time=verimag.flata.presburger.Relation",
-      "--initialize-at-build-time=nts.parser.VarTable"
+      "-H:+ReportExceptionStackTraces"
     ),
 
     nativeImageAgentMerge := true