From c9be3bdf7e8120b32a33b71807da002f4eab759a Mon Sep 17 00:00:00 2001 From: Daniel Kirchner Date: Tue, 3 Dec 2019 15:08:06 +0100 Subject: [PATCH] Rename cmake option --- scripts/deps-ppa/static_z3.sh | 6 +++--- scripts/install_static_z3.sh | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/scripts/deps-ppa/static_z3.sh b/scripts/deps-ppa/static_z3.sh index dc955810c..b38af9e9c 100755 --- a/scripts/deps-ppa/static_z3.sh +++ b/scripts/deps-ppa/static_z3.sh @@ -49,7 +49,7 @@ git cherry-pick e212159f4e debversion="${version}${version_patchsuffix}" -CMAKE_OPTIONS="-DBUILD_LIBZ3_SHARED=OFF -DCMAKE_BUILD_TYPE=Release" +CMAKE_OPTIONS="-DZ3_BUILD_LIBZ3_SHARED=OFF -DCMAKE_BUILD_TYPE=Release" # gzip will create different tars all the time and we are not allowed # to upload the same file twice with different contents, so we only @@ -181,7 +181,7 @@ This program is free software: you can redistribute it and/or modify Public License version 3 can be found in "/usr/share/common-licenses/GPL-3". EOF cat < debian/changelog -libz3-static-dev (0.0.1-1ubuntu0) saucy; urgency=low +libz3-static-dev (0.0.1-2ubuntu0) saucy; urgency=low * Initial release. @@ -191,7 +191,7 @@ mkdir debian/source echo "3.0 (quilt)" > debian/source/format chmod +x debian/rules -versionsuffix=1ubuntu0~${distribution} +versionsuffix=2ubuntu0~${distribution} EMAIL="$email" dch -v 1:${debversion}-${versionsuffix} "build of ${version}" # build source package diff --git a/scripts/install_static_z3.sh b/scripts/install_static_z3.sh index 7748fb1f3..6fba203d8 100644 --- a/scripts/install_static_z3.sh +++ b/scripts/install_static_z3.sh @@ -1,9 +1,9 @@ #!/usr/bin/env bash -git clone --depth 1 --branch z3-4.8.1 https://github.com/Z3Prover/z3.git +git clone --depth 1 --branch z3-4.8.7 https://github.com/Z3Prover/z3.git cd z3 mkdir build cd build -LDFLAGS="-static" cmake -DBUILD_LIBZ3_SHARED=OFF .. +LDFLAGS="-static" cmake -DZ3_BUILD_LIBZ3_SHARED=OFF .. make -j 4 make install \ No newline at end of file