diff options
| author | Nick Smallbone <nick@smallbone.se> | 2022-10-05 13:14:04 +0200 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2022-10-08 09:12:54 +0700 |
| commit | 3f3095188acdb49103476a0897e010dbdb31de1d (patch) | |
| tree | fb9fb50a74b9a0fc47a34a8e93e5d821332cb7cf /academic/z3 | |
| parent | 8e15ef3c0fcf85ab38b5be62e310f67b59751e8e (diff) | |
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>
Diffstat (limited to 'academic/z3')
| -rw-r--r-- | academic/z3/z3.SlackBuild | 15 | ||||
| -rw-r--r-- | academic/z3/z3.info | 6 |
2 files changed, 9 insertions, 12 deletions
diff --git a/academic/z3/z3.SlackBuild b/academic/z3/z3.SlackBuild index 9793ed0be36f..af9aa52daddd 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 762fe838aceb..b3b6178ae502 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="" |