Update Kind 2 and Z3 versions

configure.sh

@@ -1,7 +1,7 @@
 #!/bin/bash
 
-Z3_VERSION=4.12.1
-KIND2_VERSION=2.0.0
+Z3_VERSION=4.12.4
+KIND2_VERSION=2.1.0
 SERVER_VERSION=0.1.6
 
 ARCH=$(uname -m)
@@ -33,8 +33,8 @@ case "$OSTYPE" in
   darwin*)
     case "$ARCH" in
       x86_64)
-        Z3_OS_VERSION=x64-osx-10.16
-        KIND2_OS_VERSION=macos-11-x86_64
+        Z3_OS_VERSION=x64-osx-11.7.10
+        KIND2_OS_VERSION=macos-12-x86_64
         ;;
       arm64)
         Z3_OS_VERSION=arm64-osx-11.0
@@ -47,7 +47,7 @@ case "$OSTYPE" in
   linux*)
     case "$ARCH" in
       x86_64)
-        Z3_OS_VERSION=x64-glibc-2.35
+        Z3_OS_VERSION=x64-glibc-2.31
         KIND2_OS_VERSION=linux-x86_64
         ;;
       *)
@@ -71,20 +71,20 @@ rm -f kind2-language-server.zip
 
 # Install Z3
 case "$2" in
-  z3-static)
-    wget https://github.com/Z3Prover/z3/archive/refs/tags/z3-$Z3_VERSION.tar.gz
-    tar xvf z3-$Z3_VERSION.tar.gz
-    rm z3-$Z3_VERSION.tar.gz
-    pushd z3-z3-$Z3_VERSION/
-    python3 scripts/mk_make.py --staticbin
-    pushd build/
-    make -j4
-    popd
-    popd
-    cp z3-z3-$Z3_VERSION/build/z3 .
-    strip z3
-    rm -r z3-z3-$Z3_VERSION/
-    ;;
+  # z3-static)
+  #   wget https://github.com/Z3Prover/z3/archive/refs/tags/z3-$Z3_VERSION.tar.gz
+  #   tar xvf z3-$Z3_VERSION.tar.gz
+  #   rm z3-$Z3_VERSION.tar.gz
+  #   pushd z3-z3-$Z3_VERSION/
+  #   python3 scripts/mk_make.py --staticbin
+  #   pushd build/
+  #   make -j4
+  #   popd
+  #   popd
+  #   cp z3-z3-$Z3_VERSION/build/z3 .
+  #   strip z3
+  #   rm -r z3-z3-$Z3_VERSION/
+  #   ;;
   *)
     wget https://github.com/Z3Prover/z3/releases/download/z3-$Z3_VERSION/$Z3_ZIP_NAME.zip
     unzip -o $Z3_ZIP_NAME.zip