Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-11-20 19:41:34 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

academic/z3: Updated for version 4.11.2.

Browse source 
Signed-off-by: Andrew Clemons <andrew.clemons@gmail.com>

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
This commit is contained in:
Nick Smallbone 2022-10-05 13:14:04 +02:00 committed by Willy Sudiarto Raharjo
parent 8e15ef3c0f
commit 3f3095188a
No known key found for this signature in database
GPG key ID: 3F617144D7238786
2 changed files with 9 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
academic/z3/z3.SlackBuild
View file

@ -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 \

6
academic/z3/z3.info
View file

@ -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=""