From 3f3095188acdb49103476a0897e010dbdb31de1d Mon Sep 17 00:00:00 2001
From: Nick Smallbone <nick@smallbone.se>
Date: Wed, 5 Oct 2022 13:14:04 +0200
Subject: 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>
---
 academic/z3/z3.SlackBuild | 15 ++++++---------
 academic/z3/z3.info       |  6 +++---
 2 files changed, 9 insertions(+), 12 deletions(-)

(limited to 'academic')

diff --git a/academic/z3/z3.SlackBuild b/academic/z3/z3.SlackBuild
index 9793ed0be36ff..af9aa52daddde 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 762fe838acebe..b3b6178ae5022 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=""
-- 
cgit v1.2.3