From 398ad78cac8a07846a9cc5dbe7989b98ff954e00 Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Mon, 3 Feb 2025 08:20:37 +0100
Subject: [PATCH] Z3 version fix

---
 scripts/setup/env_config_gen.sh | 4 ++--
 scripts/setup/install_z3_src.sh | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/scripts/setup/env_config_gen.sh b/scripts/setup/env_config_gen.sh
index 80ae592c6..9c0c38cae 100755
--- 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
index dbaaa3348..410115d8a 100755
--- 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