Z3 version fix

kth-step · Feb 3, 2025 · 398ad78 · 398ad78
1 parent b33c3a6
commit 398ad78
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
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.13.0"
+  Z3_DIR="${HOLBA_OPT_DIR}/z3-4.13.4"
   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.13.0"
+    Z3_DIR="${HOLBA_OPT_DIR}/z3_4.13.4"
     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_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.13.0"
+Z3_VERSION="4.13.4"
 if [[ ! -z "${HOLBA_Z3_VERSION}" ]]; then
   Z3_VERSION=${HOLBA_Z3_VERSION}
 fi