diff options
Diffstat (limited to 'academic/z3/z3.SlackBuild')
| -rw-r--r-- | academic/z3/z3.SlackBuild | 42 |
1 files changed, 24 insertions, 18 deletions
diff --git a/academic/z3/z3.SlackBuild b/academic/z3/z3.SlackBuild index bc6dd426f0..af9aa52dad 100644 --- a/academic/z3/z3.SlackBuild +++ b/academic/z3/z3.SlackBuild @@ -1,8 +1,8 @@ -#!/bin/sh +#!/bin/bash # 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,10 +22,13 @@ # OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF # ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. +cd $(dirname $0) ; CWD=$(pwd) + PRGNAM=z3 -VERSION=${VERSION:-4.8.4} +VERSION=${VERSION:-4.11.2} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} +PKGTYPE=${PKGTYPE:-tgz} if [ -z "$ARCH" ]; then case "$( uname -m )" in @@ -35,7 +38,11 @@ if [ -z "$ARCH" ]; then esac fi -CWD=$(pwd) +if [ ! -z "${PRINT_PACKAGE_NAME}" ]; then + echo "$PRGNAM-$VERSION-$ARCH-$BUILD$TAG.$PKGTYPE" + exit 0 +fi + TMP=${TMP:-/tmp/SBo} PKG=$TMP/package-$PRGNAM OUTPUT=${OUTPUT:-/tmp} @@ -60,14 +67,14 @@ rm -rf $PKG mkdir -p $TMP $PKG $OUTPUT cd $TMP rm -rf $PRGNAM-$PRGNAM-$VERSION -tar xvf $CWD/$PRGNAM-$VERSION.tar.gz +tar xvf $CWD/$PRGNAM-$PRGNAM-$VERSION.tar.gz cd $PRGNAM-$PRGNAM-$VERSION chown -R root:root . find -L . \ \( -perm 777 -o -perm 775 -o -perm 750 -o -perm 711 -o -perm 555 \ - -o -perm 511 \) -exec chmod 755 {} \; -o \ + -o -perm 511 \) -exec chmod 755 {} \+ -o \ \( -perm 666 -o -perm 664 -o -perm 640 -o -perm 600 -o -perm 444 \ - -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \; + -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \+ CFLAGS="$SLKCFLAGS" \ CXXFLAGS="$SLKCFLAGS" \ @@ -83,25 +90,24 @@ cd ../doc python mk_api_doc.py cd .. -if [ z$PYTHON3 = zyes ]; then - # Copy the Python bindings 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 - cp -a build/python/z3 $PYLIB/z3 - find $PYLIB/z3 -name '*.pyc' -delete -fi +# 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 +cp -a build/python/z3 $PYLIB/z3 +find $PYLIB/z3 -name '*.pyc' -delete find $PKG -print0 | xargs -0 file | grep -e "executable" -e "shared object" | grep ELF \ | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true 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 \ @@ -113,4 +119,4 @@ mkdir -p $PKG/install cat $CWD/slack-desc > $PKG/install/slack-desc cd $PKG -/sbin/makepkg -l y -c n $OUTPUT/$PRGNAM-$VERSION-$ARCH-$BUILD$TAG.${PKGTYPE:-tgz} +/sbin/makepkg -l y -c n $OUTPUT/$PRGNAM-$VERSION-$ARCH-$BUILD$TAG.$PKGTYPE |