Use the glibc-2.31 Z3 build on linux, fixes #19.

Increment z3-turnkey subversion to .1
tudo-aqua · Oct 5, 2023 · 7de5552 · 7de5552
1 parent 604e011
commit 7de5552
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -53,15 +53,15 @@ plugins {
 group = "tools.aqua"
 
 val z3Version = "4.12.2"
-val turnkeyVersion = ""
+val turnkeyVersion = ".1"
 
 version = "$z3Version$turnkeyVersion"
 
 val z3Distributions =
     listOf(
         OfficialZ3Distribution("MacOSAArch64", "arm64-osx-11.0", "osx", "aarch64", "dylib"),
         OfficialZ3Distribution("MacOSAmd64", "x64-osx-10.16", "osx", "amd64", "dylib"),
-        OfficialZ3Distribution("LinuxAmd64", "x64-glibc-2.35", "linux", "amd64", "so"),
+        OfficialZ3Distribution("LinuxAmd64", "x64-glibc-2.31", "linux", "amd64", "so"),
         OfficialZ3Distribution("WinAmd64", "x64-win", "windows", "amd64", "dll"),
         OfficialZ3Distribution("WinX86", "x86-win", "windows", "x86", "dll"),
     )