From ca60811f5d55254bec378919430dd0e7e6e5cdd1 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Thu, 23 Feb 2023 22:01:12 +0000
Subject: Update build scripts

* Support for Ubuntu 22.04
* Remove support for Python2
* Better separation between sanitizer builds and non-sanitizer builds
* Fix build of metaSMT on newer Ubuntu versions
* Use ninja to build LLVM
* Simplifying building arbitrary LLVM configurations, e.g. different
  LLVM sanitizer builds (MemSan, UBSan, ASan)
* Use MemSan with origin tracking
* Build sqlite3 container correctly
* Add support to provide sqlite3 version number
---
 scripts/build/p-z3.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scripts/build/p-z3.inc')

diff --git a/scripts/build/p-z3.inc b/scripts/build/p-z3.inc
index f6db455b..80506794 100644
--- a/scripts/build/p-z3.inc
+++ b/scripts/build/p-z3.inc
@@ -31,7 +31,7 @@ build_z3() {
   LDFLAGS="${LDFLAGS}" \
   CC="${CC}" \
   CXX="${CXX}" \
-  python scripts/mk_make.py --prefix "${Z3_INSTALL_PATH}" -b "build${Z3_SUFFIX}"
+  python3 scripts/mk_make.py --prefix "${Z3_INSTALL_PATH}" -b "build${Z3_SUFFIX}"
   cd "build${Z3_SUFFIX}"
   make -j$(nproc) || make
 }
-- 
cgit 1.4.1