summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--development/mcrl2/mcrl2.SlackBuild49
-rw-r--r--development/mcrl2/mcrl2.info10
2 files changed, 38 insertions, 21 deletions
diff --git a/development/mcrl2/mcrl2.SlackBuild b/development/mcrl2/mcrl2.SlackBuild
index 24e4cf767e..3e49431d88 100644
--- a/development/mcrl2/mcrl2.SlackBuild
+++ b/development/mcrl2/mcrl2.SlackBuild
@@ -1,11 +1,30 @@
#!/bin/sh
-#
-# Written by Jockey S. Kyd (jockey dot kyd at gmail dot com)
-# Public domain
-#
+
+# Slackware build script for mcrl2
+# Originally by Jockey S. Kyd (jockey dot kyd at gmail dot com)
+
+# Modified by Ryan P.C. McQuen, WA, ryan.q@linux.com
+
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version, with the following exception:
+# the text of the GPL license may be omitted..
+
+# This program is distributed in the hope that it will be useful, but
+# without any warranty; without even the implied warranty of
+# merchantability or fitness for a particular purpose. Compiling,
+# interpreting, executing or merely reading the text of the program
+# may result in lapses of consciousness and/or very being, up to and
+# including the end of all existence and the Universe as we know it.
+# See the GNU General Public License for more details.
+
+# You may have received a copy of the GNU General Public License
+# along with this program (most likely, a file named COPYING). If
+# not, see <http://www.gnu.org/licenses/>.
PRGNAM=mcrl2
-VERSION=201107
+VERSION=${VERSION:-201310.0}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}
@@ -41,14 +60,14 @@ rm -rf $PKG
mkdir -p $TMP $PKG $OUTPUT
cd $TMP
rm -rf $PRGNAM-$VERSION
-tar xvf $CWD/$PRGNAM-$VERSION-src.tar.gz
+tar xvf $CWD/$PRGNAM-$VERSION.tar.gz
cd $PRGNAM-$VERSION
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 600 -o -perm 444 -o -perm 440 -o -perm 400 \) \
- -exec chmod 644 {} \;
+ \( -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 {} \;
# not customisable settings of cmake, so work around a bit
sed -i "s|share/man|man|g" `grep -rl share/man *`
@@ -67,20 +86,18 @@ cd mcrl2_build
make install DESTDIR=$PKG
cd ..
-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
+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
find $PKG/usr/man -type f -exec gzip -9 {} \;
+for i in $( find $PKG/usr/man -type l ) ; do ln -s $( readlink $i ).gz $i.gz ; rm $i ; done
# copy supporting files for vim
mkdir -p $PKG/usr/share/$PRGNAM
cp -a .vim $PKG/usr/share/$PRGNAM/vim
mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION
-cp -a CHANGES COPYING INSTALL LICENSE_1_0.txt README \
- $PKG/usr/doc/$PRGNAM-$VERSION
+cp -a CHANGES COPYING INSTALL LICENSE_1_0.txt README $PKG/usr/doc/$PRGNAM-$VERSION
cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild
mkdir -p $PKG/install
diff --git a/development/mcrl2/mcrl2.info b/development/mcrl2/mcrl2.info
index 28b57e39e5..68eb0eb97c 100644
--- a/development/mcrl2/mcrl2.info
+++ b/development/mcrl2/mcrl2.info
@@ -1,10 +1,10 @@
PRGNAM="mcrl2"
-VERSION="201107"
+VERSION="201310.0"
HOMEPAGE="http://www.mcrl2.org"
-DOWNLOAD="http://www.win.tue.nl/mcrl2/download/release/mcrl2-201107-src.tar.gz"
-MD5SUM="f2b6dac7786815cc9f01635add8507d4"
+DOWNLOAD="http://www.mcrl2.org/download/release/mcrl2-201310.0.tar.gz"
+MD5SUM="7ec8d04e1f1351a3f287040bfba25799"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES=""
-MAINTAINER="Jockey S. Kyd"
-EMAIL="jockey.kyd@gmail.com"
+MAINTAINER="Ryan P.C. McQuen"
+EMAIL="ryan.q@linux.com"