Update to z3 version 4.13.0

kth-step · Aug 22, 2024 · 5c6f41e · 5c6f41e
1 parent 10d0541
commit 5c6f41e
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 7 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -21,14 +21,14 @@ jobs:
       matrix:
         os: ['ubuntu-22.04']
         polyml: [{version: 'PREPACKAGED'}, {version: 'v5.9.1', heapless: '1'}]
-        z3: ['4.12.2']
+        z3: ['4.13.0']
         hol4: ['trindemossen-1']
 
     env:
       HOLBA_POLYML_VERSION: ${{ matrix.polyml.version }}
       HOLBA_POLYML_HEAPLESS: ${{ matrix.polyml.heapless }}
       HOLBA_Z3_VERSION: ${{ matrix.z3 }}
-      HOLBA_Z3_ASSET_SUFFIX: '-x64-glibc-2.31.zip'
+      HOLBA_Z3_ASSET_SUFFIX: '-x64-glibc-2.35.zip'
       HOLBA_HOL4_VERSION: ${{ matrix.hol4 }}
 
     steps:

diff --git a/scripts/setup/env_config_gen.sh b/scripts/setup/env_config_gen.sh
@@ -131,13 +131,13 @@ echo
 ####### HOLBA_Z3_DIR
 
 if [[ ( -z "${HOLBA_Z3_DIR}" ) || ( ! -z "${OPT_DIR_PARAM}" ) ]]; then
-  Z3_DIR="${HOLBA_OPT_DIR}/z3-4.12.2"
+  Z3_DIR="${HOLBA_OPT_DIR}/z3-4.13.0"
   if [[ -d "${Z3_DIR}/bin/python" ]]; then
     print_export_msg "HOLBA_Z3_DIR"
     export HOLBA_Z3_DIR="${Z3_DIR}"
   else
     # try the folder name for the version compiled from source
-    Z3_DIR="${HOLBA_OPT_DIR}/z3_4.12.2"
+    Z3_DIR="${HOLBA_OPT_DIR}/z3_4.13.0"
     if [[ -d "${Z3_DIR}/bin/python" ]]; then
       print_export_msg "HOLBA_Z3_DIR"
       export HOLBA_Z3_DIR=${Z3_DIR}

diff --git a/scripts/setup/install_z3.sh b/scripts/setup/install_z3.sh
@@ -16,12 +16,12 @@ source "${SETUP_DIR}/env_config_gen.sh" "${OPT_DIR_PARAM}"
 ##################################################################
 
 # use a default z3 version if it is not specified in the environment
-Z3_VERSION="4.12.2"
+Z3_VERSION="4.13.0"
 if [[ ! -z "${HOLBA_Z3_VERSION}" ]]; then
   Z3_VERSION=${HOLBA_Z3_VERSION}
 fi
 
-Z3_ASSET_SUFFIX="-x64-glibc-2.31.zip"
+Z3_ASSET_SUFFIX="-x64-glibc-2.35.zip"
 if [[ ! -z "${HOLBA_Z3_ASSET_SUFFIX}" ]]; then
   Z3_ASSET_SUFFIX=${HOLBA_Z3_ASSET_SUFFIX}
 fi

diff --git a/scripts/setup/install_z3_src.sh b/scripts/setup/install_z3_src.sh
@@ -16,7 +16,7 @@ source "${SETUP_DIR}/env_config_gen.sh" "${OPT_DIR_PARAM}"
 ##################################################################
 
 # use a default z3 version if it is not specified in the environment
-Z3_VERSION="4.12.2"
+Z3_VERSION="4.13.0"
 if [[ ! -z "${HOLBA_Z3_VERSION}" ]]; then
   Z3_VERSION=${HOLBA_Z3_VERSION}
 fi