diff options
Diffstat (limited to 'system/openmpi')
| -rw-r--r-- | system/openmpi/openmpi.SlackBuild | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/system/openmpi/openmpi.SlackBuild b/system/openmpi/openmpi.SlackBuild index eb29a45ec0be..7e06914bd458 100644 --- a/system/openmpi/openmpi.SlackBuild +++ b/system/openmpi/openmpi.SlackBuild @@ -31,6 +31,15 @@ PRGNAM=openmpi VERSION=${VERSION:-4.1.0} BUILD=${BUILD:-2} TAG=${TAG:-_SBo} +PKGTYPE=${PKGTYPE:-tgz} + +# 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 @@ -109,4 +118,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 |