From 6d51f3f81b98535eb28d16e954707d9f0bc903e2 Mon Sep 17 00:00:00 2001 From: Karolis Petrauskas Date: Sat, 10 Jan 2026 23:13:17 +0200 Subject: [PATCH] Trying to upgrade Z3. Signed-off-by: Karolis Petrauskas --- deps/z3/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/deps/z3/Makefile b/deps/z3/Makefile index fe68ce14..798610c7 100644 --- a/deps/z3/Makefile +++ b/deps/z3/Makefile @@ -1,14 +1,14 @@ OS_TYPE=$(patsubst CYGWIN%,Cygwin,$(shell uname)) -Z3_VERS=4.8.9 +Z3_VERS=4.15.4 Z3_URL_PREFIX=https://github.com/Z3Prover/z3/releases/download/z3-$(Z3_VERS) ifeq ($(OS_TYPE),Linux) - Z3_BASE_NAME=z3-${Z3_VERS}-x64-ubuntu-16.04 + Z3_BASE_NAME=z3-${Z3_VERS}-x64-glibc-2.39 Z3_EXEC=z3 endif ifeq ($(OS_TYPE),Darwin) - Z3_BASE_NAME=z3-${Z3_VERS}-x64-osx-10.14.6 + Z3_BASE_NAME=z3-${Z3_VERS}-x64-osx-13.7.6 Z3_EXEC=z3 endif ifeq ($(OS_TYPE),Cygwin)