5 files changed, 172 insertions, 0 deletions
diff --git a/development/maude/README b/development/maude/README
new file mode 100644
index 0000000000..c75ddb5a0f
--- /dev/null
+++ b/development/maude/README
@@ -0,0 +1,18 @@
+Maude is a high-performance reflective language and system 
+supporting both equational and rewriting logic specification 
+and programming for a wide range of applications. Maude has 
+been influenced in important ways by the OBJ3 language, which 
+can be regarded as an equational logic sublanguage. Besides 
+supporting equational specification and programming, Maude 
+also supports rewriting logic computation.
+
+Because Maude needs some help for finding its own files,
+you may:
+ - logout and login again, then run maude
+ 
+ - run maude with explicit reference to its files' location
+   $ MAUDE_LIB=/usr/share/maude/ maude
+ 
+ - export the variable to the environment, then run maude
+   $ export MAUDE_LIB=/usr/share/maude/
+   $ maude
+\ No newline at end of file
diff --git a/development/maude/doinst.sh b/development/maude/doinst.sh
new file mode 100644
index 0000000000..e06f63f5e2
--- /dev/null
+++ b/development/maude/doinst.sh
@@ -0,0 +1,14 @@
+config() {
+  NEW="$1"
+  OLD="$(dirname $NEW)/$(basename $NEW .new)"
+  # If there's no config file by that name, mv it over:
+  if [ ! -r $OLD ]; then
+    mv $NEW $OLD
+  elif [ "$(cat $OLD | md5sum)" = "$(cat $NEW | md5sum)" ]; then
+    # toss the redundant copy
+    rm $NEW
+  fi
+  # Otherwise, we leave the .new copy for the admin to consider...
+}
+
+config etc/profile.d/maude.sh.new
diff --git a/development/maude/maude.SlackBuild b/development/maude/maude.SlackBuild
new file mode 100644
index 0000000000..17688002ae
--- /dev/null
+++ b/development/maude/maude.SlackBuild
@@ -0,0 +1,109 @@
+#!/bin/sh
+
+# Slackware build script for maude
+
+# Copyright (C) 2016 Roberto Metere, Newcastle Upon Tyne (UK)
+# All rights reserved.
+#
+# Redistribution and use of this script, with or without modification, is
+# permitted provided that the following conditions are met:
+#
+# 1. Redistributions of this script must retain the above copyright
+#    notice, this list of conditions and the following disclaimer.
+#
+#  THIS SOFTWARE IS PROVIDED BY THE AUTHOR "AS IS" AND ANY EXPRESS OR IMPLIED
+#  WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
+#  MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.  IN NO
+#  EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+#  SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
+#  PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
+#  OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
+#  WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
+#  OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
+#  ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+PRGNAM=maude
+VERSION=${VERSION:-2.7.1}
+BUILD=${BUILD:-1}
+TAG=${TAG:-_SBo}
+
+if [ -z "$ARCH" ]; then
+  case "$( uname -m )" in
+    i?86) ARCH=i586 ;;
+    arm*) ARCH=arm ;;
+       *) ARCH=$( uname -m ) ;;
+  esac
+fi
+
+CWD=$(pwd)
+TMP=${TMP:-/tmp/SBo}
+PKG=$TMP/package-$PRGNAM
+OUTPUT=${OUTPUT:-/tmp}
+
+if [ "$ARCH" = "i586" ]; then
+  SLKCFLAGS="-O2 -march=i586 -mtune=i686"
+  LIBDIRSUFFIX=""
+elif [ "$ARCH" = "i686" ]; then
+  SLKCFLAGS="-O2 -march=i686 -mtune=i686"
+  LIBDIRSUFFIX=""
+elif [ "$ARCH" = "x86_64" ]; then
+  SLKCFLAGS="-O2 -fPIC"
+  LIBDIRSUFFIX="64"
+else
+  SLKCFLAGS="-O2"
+  LIBDIRSUFFIX=""
+fi
+
+set -e
+
+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
+cd $PRGNAM-$VERSION
+unzip $CWD/Full-$(tr '[:lower:]' '[:upper:]' <<< ${PRGNAM:0:1})${PRGNAM:1}-$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 \
+ \( -perm 666 -o -perm 664 -o -perm 640 -o -perm 600 -o -perm 444 \
+  -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \;
+
+CFLAGS="$SLKCFLAGS" \
+CXXFLAGS="$SLKCFLAGS" \
+./configure \
+  --prefix=/usr \
+  --libdir=/usr/lib${LIBDIRSUFFIX} \
+  --sysconfdir=/etc \
+  --localstatedir=/var \
+  --mandir=/usr/man \
+  --without-cvc4 \
+  --datadir=/usr/share/maude \
+  --datarootdir=/usr/share/maude \
+  --build=$ARCH-slackware-linux
+
+make
+make install DESTDIR=$PKG
+
+# Manually FULL maude
+cp full-$PRGNAM.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/
+echo "export MAUDE_LIB=/usr/share/maude/" > $PKG/etc/profile.d/maude.sh.new
+chmod 755 $PKG/etc/profile.d/maude.sh.new
+
+find $PKG -print0 | xargs -0 file | grep -e "executable" -e "shared object" | grep ELF \
+  | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true
+
+mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION
+cp -a README $PKG/usr/doc/$PRGNAM-$VERSION
+cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild
+
+mkdir -p $PKG/install
+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}
diff --git a/development/maude/maude.info b/development/maude/maude.info
new file mode 100644
index 0000000000..cf00a895aa
--- /dev/null
+++ b/development/maude/maude.info
@@ -0,0 +1,12 @@
+PRGNAM="maude"
+VERSION="2.7.1"
+HOMEPAGE="http://maude.cs.illinois.edu/w/index.php?title=The_Maude_System"
+DOWNLOAD="http://maude.cs.illinois.edu/w/images/d/d8/Maude-2.7.1.tar.gz
+          http://maude.cs.illinois.edu/w/images/c/ca/Full-Maude-2.7.1.zip"
+MD5SUM="aa31753f742f976940c69aa699c3d0ec
+        b365fe0fdd161880e95aeb089f166657"
+DOWNLOAD_x86_64=""
+MD5SUM_x86_64=""
+REQUIRES="libtecla buddy"
+MAINTAINER="Roberto Metere"
+EMAIL="roberto@metere.it"
diff --git a/development/maude/slack-desc b/development/maude/slack-desc
new file mode 100644
index 0000000000..2671c111d9
--- /dev/null
+++ b/development/maude/slack-desc
@@ -0,0 +1,19 @@
+# HOW TO EDIT THIS FILE:
+# The "handy ruler" below makes it easier to edit a package description.
+# Line up the first '|' above the ':' following the base package name, and
+# the '|' on the right side marks the last column you can put a character in.
+# You must make exactly 11 lines for the formatting to be correct.  It's also
+# customary to leave one space after the ':' except on otherwise blank lines.
+
+     |-----handy-ruler------------------------------------------------------|
+maude: maude (high-performance reflective language)
+maude:
+maude: Maude is a high-performance reflective language and system 
+maude: supporting both equational and rewriting logic specification 
+maude: and programming for a wide range of applications.
+maude:
+maude: http://maude.cs.illinois.edu/w/index.php?title=The_Maude_System
+maude:
+maude:
+maude:
+maude: