aboutsummaryrefslogtreecommitdiff
path: root/development/maude/maude.SlackBuild
diff options
context:
space:
mode:
authorB. Watson <yalhcru@gmail.com>2022-03-23 13:39:35 -0400
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2022-03-26 01:20:11 +0700
commitc96ceb17454f01a9db8a3fab0be3aec810da4dd8 (patch)
tree6e92ec7da9e276ebc137dbcdb7ecc703213637b3 /development/maude/maude.SlackBuild
parent2485399468e22b35a492c99e8147a974306be0e8 (diff)
development/maude: Fix 32-bit build.
Signed-off-by: B. Watson <yalhcru@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/maude/maude.SlackBuild')
-rw-r--r--development/maude/maude.SlackBuild25
1 files changed, 17 insertions, 8 deletions
diff --git a/development/maude/maude.SlackBuild b/development/maude/maude.SlackBuild
index 6c1be7150bcfc..204505c54dd70 100644
--- a/development/maude/maude.SlackBuild
+++ b/development/maude/maude.SlackBuild
@@ -22,6 +22,12 @@
# 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:
+# - add -j1 to the make command (parallel builds were failing).
+# - fix 32-bit build.
+# - de-uglify script a bit, use SRCNAM (sorry, it was unreadable).
+# - add CHECK=yes option.
+
cd $(dirname $0) ; CWD=$(pwd)
PRGNAM=maude
@@ -38,9 +44,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
@@ -66,19 +69,24 @@ fi
set -e
+SRCNAM=Maude
+
rm -rf $PKG
mkdir -p $TMP $PKG $OUTPUT
cd $TMP
rm -rf $PRGNAM-$VERSION
-tar xvf $CWD/$(tr '[:lower:]' '[:upper:]' <<< ${PRGNAM:0:1})${PRGNAM:1}-$VERSION.tar.gz
+tar xvf $CWD/$SRCNAM-$VERSION.tar.gz
cd $PRGNAM-$VERSION
-unzip $CWD/Full-$(tr '[:lower:]' '[:upper:]' <<< ${PRGNAM:0:1})${PRGNAM:1}-$VERSION.zip
+unzip $CWD/Full-$SRCNAM-$VERSION.zip
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 {} \+
+
+# 20220323 bkw: patch from Debian, with thanks.
+[ "$ARCH" != "x86_64" ] && patch -p1 < $CWD/32-bit-fixes.patch
CFLAGS="$SLKCFLAGS" \
CXXFLAGS="$SLKCFLAGS" \
@@ -94,7 +102,8 @@ CXXFLAGS="$SLKCFLAGS" \
--datarootdir=/usr/share/maude \
--build=$ARCH-slackware-linux
-make
+make -j1
+[ "${CHECK:-no}" = "yes" ] && make -j1 check
make install DESTDIR=$PKG
# Manually FULL maude