diff options
| author | Heinz Wiesinger <pprkut@slackbuilds.org> | 2021-07-04 12:23:38 +0200 |
|---|---|---|
| committer | Heinz Wiesinger <pprkut@slackbuilds.org> | 2021-07-17 21:55:09 +0200 |
| commit | 63daf9f79a0016bbf3a712a1d1bdcfdcb724fded (patch) | |
| tree | 46a5b1268cdf578a72477fd4f4aef34926f3a96a /development/maude | |
| parent | baf8a05dadce864fba97f9ec21b64112cf36412a (diff) | |
All: Support $PRINT_PACKAGE_NAME env var
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
Diffstat (limited to 'development/maude')
| -rw-r--r-- | development/maude/maude.SlackBuild | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/development/maude/maude.SlackBuild b/development/maude/maude.SlackBuild index afcdf99c4fa4..3c9c90018fa1 100644 --- a/development/maude/maude.SlackBuild +++ b/development/maude/maude.SlackBuild @@ -28,6 +28,7 @@ PRGNAM=maude VERSION=${VERSION:-2.7.1} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} +PKGTYPE=${PKGTYPE:-tgz} if [ -z "$ARCH" ]; then case "$( uname -m )" in @@ -37,6 +38,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} @@ -107,4 +116,4 @@ cat $CWD/slack-desc > $PKG/install/slack-desc cat $CWD/doinst.sh > $PKG/install/doinst.sh 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 |