summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNick Smallbone <nick@smallbone.se>2022-10-05 13:14:04 +0200
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2022-10-08 09:12:54 +0700
commit3f3095188acdb49103476a0897e010dbdb31de1d (patch)
treefb9fb50a74b9a0fc47a34a8e93e5d821332cb7cf
parent8e15ef3c0fcf85ab38b5be62e310f67b59751e8e (diff)
downloadslackbuilds-3f3095188acdb49103476a0897e010dbdb31de1d.tar.gz
academic/z3: Updated for version 4.11.2.
Signed-off-by: Andrew Clemons <andrew.clemons@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
-rw-r--r--academic/z3/z3.SlackBuild15
-rw-r--r--academic/z3/z3.info6
2 files changed, 9 insertions, 12 deletions
diff --git a/academic/z3/z3.SlackBuild b/academic/z3/z3.SlackBuild
index 9793ed0be3..af9aa52dad 100644
--- a/academic/z3/z3.SlackBuild
+++ b/academic/z3/z3.SlackBuild
@@ -2,7 +2,7 @@
# Slackware build script for z3
-# Copyright 2019 Nick Smallbone, Gothenburg, Sweden
+# Copyright 2019-2022 Nick Smallbone, Gothenburg, Sweden
# All rights reserved.
#
# Redistribution and use of this script, with or without modification, is
@@ -22,14 +22,10 @@
# OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
# ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-# 20220323 bkw: Modified by SlackBuilds.org:
-# - update for v4.8.12 (previous version failed to build on 32-bit 15.0).
-# - always include python3 bindings (since python3 is in core Slackware now).
-
cd $(dirname $0) ; CWD=$(pwd)
PRGNAM=z3
-VERSION=${VERSION:-4.8.12}
+VERSION=${VERSION:-4.11.2}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}
PKGTYPE=${PKGTYPE:-tgz}
@@ -94,7 +90,8 @@ cd ../doc
python mk_api_doc.py
cd ..
-# Copy the Python3 bindings to python3.X/site-packages.
+# The Python bindings are installed for Python2 by default but work on
+# Python3 too. Copy them to python3.X/site-packages.
PYTHON_VERSION=$(python3 -c 'import sys; print("%d.%d" % sys.version_info[:2])')
PYLIB=$PKG/usr/lib${LIBDIRSUFFIX}/python${PYTHON_VERSION}/site-packages
mkdir -p $PYLIB
@@ -106,11 +103,11 @@ find $PKG -print0 | xargs -0 file | grep -e "executable" -e "shared object" | gr
mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION
cp -a \
- README.md RELEASE_NOTES LICENSE.txt \
+ README.md RELEASE_NOTES.md LICENSE.txt Parameters.md \
$PKG/usr/doc/$PRGNAM-$VERSION
mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION/examples
cp -a \
- examples/c examples/c++ examples/maxsat examples/python examples/tptp \
+ examples/c examples/c++ examples/maxsat examples/python examples/tptp examples/SMT-LIB2 \
$PKG/usr/doc/$PRGNAM-$VERSION/examples
find $PKG/usr/doc/$PRGNAM-$VERSION/examples -name CMakeLists.txt -delete
cp -a \
diff --git a/academic/z3/z3.info b/academic/z3/z3.info
index 762fe838ac..b3b6178ae5 100644
--- a/academic/z3/z3.info
+++ b/academic/z3/z3.info
@@ -1,8 +1,8 @@
PRGNAM="z3"
-VERSION="4.8.12"
+VERSION="4.11.2"
HOMEPAGE="https://github.com/Z3Prover/z3/wiki"
-DOWNLOAD="https://github.com/Z3Prover/z3/archive/z3-4.8.12/z3-z3-4.8.12.tar.gz"
-MD5SUM="73fd07d094685039b03aed9e38040d13"
+DOWNLOAD="https://github.com/Z3Prover/z3/archive/z3-4.11.2/z3-z3-4.11.2.tar.gz"
+MD5SUM="35afb5c6658bc07c11d73ef7f08ff272"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES=""