diff options
| author | B. Watson <yalhcru@gmail.com> | 2022-03-23 15:08:34 -0400 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2022-03-26 01:20:12 +0700 |
| commit | f34f3ac21ba5a9c942d7be7522c3e0852cf4a463 (patch) | |
| tree | d789ae33f7cd9a79caf9c03a8dfeef495a7fc7a8 /academic/z3/z3.SlackBuild | |
| parent | 6ba9f7f3752fdeaf587e6a26a6b2765628506b58 (diff) | |
academic/z3: Updated for version 4.8.12.
Signed-off-by: B. Watson <yalhcru@gmail.com>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/z3/z3.SlackBuild')
| -rw-r--r-- | academic/z3/z3.SlackBuild | 27 |
1 files changed, 13 insertions, 14 deletions
diff --git a/academic/z3/z3.SlackBuild b/academic/z3/z3.SlackBuild index 108593727f786..9793ed0be36ff 100644 --- a/academic/z3/z3.SlackBuild +++ b/academic/z3/z3.SlackBuild @@ -22,10 +22,14 @@ # 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.7} +VERSION=${VERSION:-4.8.12} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} PKGTYPE=${PKGTYPE:-tgz} @@ -38,9 +42,6 @@ if [ -z "$ARCH" ]; then esac fi -# If the variable PRINT_PACKAGE_NAME is set, then this script will report what -# the name of the created package would be, and then exit. This information -# could be useful to other scripts. if [ ! -z "${PRINT_PACKAGE_NAME}" ]; then echo "$PRGNAM-$VERSION-$ARCH-$BUILD$TAG.$PKGTYPE" exit 0 @@ -75,9 +76,9 @@ 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" \ @@ -93,14 +94,12 @@ 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 +# Copy the Python3 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 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 |