diff options
Diffstat (limited to 'academic/cvc4/cvc4.SlackBuild')
-rw-r--r-- | academic/cvc4/cvc4.SlackBuild | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/academic/cvc4/cvc4.SlackBuild b/academic/cvc4/cvc4.SlackBuild index d3a964cf03..0d2d843636 100644 --- a/academic/cvc4/cvc4.SlackBuild +++ b/academic/cvc4/cvc4.SlackBuild @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Slackware build script for cvc4 @@ -26,10 +26,13 @@ # Add new Python bindings (requires a newer version of Cython?) # Add Java bindings (requires a newer version of CMake?) +cd $(dirname $0) ; CWD=$(pwd) + PRGNAM=cvc4 VERSION=${VERSION:-1.8} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} +PKGTYPE=${PKGTYPE:-tgz} SRCNAM=CVC4 if [ -z "$ARCH" ]; then @@ -40,7 +43,14 @@ if [ -z "$ARCH" ]; then esac fi -CWD=$(pwd) +# 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 +fi + TMP=${TMP:-/tmp/SBo} PKG=$TMP/package-$PRGNAM OUTPUT=${OUTPUT:-/tmp} @@ -112,4 +122,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 |