diff options
Diffstat (limited to 'development/camlp5/camlp5.SlackBuild')
| -rw-r--r-- | development/camlp5/camlp5.SlackBuild | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/development/camlp5/camlp5.SlackBuild b/development/camlp5/camlp5.SlackBuild index 0294ce8b1e0f..07764e16d778 100644 --- a/development/camlp5/camlp5.SlackBuild +++ b/development/camlp5/camlp5.SlackBuild @@ -25,6 +25,7 @@ VERSION=${VERSION:-7.10} SRCVER=rel710 BUILD=${BUILD:-1} TAG=${TAG:-_SBo} +PKGTYPE=${PKGTYPE:-tgz} if [ -z "$ARCH" ]; then case "$( uname -m )" in @@ -34,6 +35,14 @@ 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 +fi + TMP=${TMP:-/tmp/SBo} PKG=$TMP/package-$PRGNAM OUTPUT=${OUTPUT:-/tmp} @@ -103,4 +112,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 |