1 files changed, 30 insertions, 10 deletions
diff --git a/development/maude/maude.SlackBuild b/development/maude/maude.SlackBuild
index 17688002ae..204505c54d 100644
--- a/development/maude/maude.SlackBuild
+++ b/development/maude/maude.SlackBuild
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # Slackware build script for maude
 
@@ -22,10 +22,19 @@
 #  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
-VERSION=${VERSION:-2.7.1}
+VERSION=${VERSION:-3.1}
 BUILD=${BUILD:-1}
 TAG=${TAG:-_SBo}
+PKGTYPE=${PKGTYPE:-tgz}
 
 if [ -z "$ARCH" ]; then
   case "$( uname -m )" in
@@ -35,7 +44,11 @@ if [ -z "$ARCH" ]; then
   esac
 fi
 
-CWD=$(pwd)
+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}
@@ -56,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" \
@@ -79,15 +97,17 @@ CXXFLAGS="$SLKCFLAGS" \
   --localstatedir=/var \
   --mandir=/usr/man \
   --without-cvc4 \
+  --without-yices2 \
   --datadir=/usr/share/maude \
   --datarootdir=/usr/share/maude \
   --build=$ARCH-slackware-linux
 
-make
+make -j1
+[ "${CHECK:-no}" = "yes" ] && make -j1 check
 make install DESTDIR=$PKG
 
 # Manually FULL maude
-cp full-$PRGNAM.maude $PKG/usr/share/maude/full-$PRGNAM.maude
+cp full-${PRGNAM}31.maude $PKG/usr/share/maude/full-$PRGNAM.maude
 
 # Let maude find its own files (... maybe I'm doing something wrong in the compilation?)
 mkdir -p $PKG/etc/profile.d/
@@ -106,4 +126,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