From ee7a59f5a664c9bacce38ffd53d9138301b1e55f Mon Sep 17 00:00:00 2001 From: Roberto Metere Date: Thu, 3 Nov 2016 17:02:34 +0700 Subject: development/maude: Added (high-performance reflective language). Signed-off-by: Willy Sudiarto Raharjo --- development/maude/README | 18 ++++++ development/maude/doinst.sh | 14 +++++ development/maude/maude.SlackBuild | 109 +++++++++++++++++++++++++++++++++++++ development/maude/maude.info | 12 ++++ development/maude/slack-desc | 19 +++++++ 5 files changed, 172 insertions(+) create mode 100644 development/maude/README create mode 100644 development/maude/doinst.sh create mode 100644 development/maude/maude.SlackBuild create mode 100644 development/maude/maude.info create mode 100644 development/maude/slack-desc (limited to 'development/maude') 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: -- cgit v1.2.3