summaryrefslogtreecommitdiff
path: root/development
diff options
context:
space:
mode:
Diffstat (limited to 'development')
-rw-r--r--development/mcrl2/mcrl2.SlackBuild18
-rw-r--r--development/mcrl2/mcrl2.info6
2 files changed, 11 insertions, 13 deletions
diff --git a/development/mcrl2/mcrl2.SlackBuild b/development/mcrl2/mcrl2.SlackBuild
index 3e49431d88..501acd85a7 100644
--- a/development/mcrl2/mcrl2.SlackBuild
+++ b/development/mcrl2/mcrl2.SlackBuild
@@ -1,15 +1,16 @@
#!/bin/sh
# 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
+# Ryan P.C. McQuen | Everett, 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..
+# 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
@@ -24,7 +25,7 @@
# not, see <http://www.gnu.org/licenses/>.
PRGNAM=mcrl2
-VERSION=${VERSION:-201310.0}
+VERSION=${VERSION:-201409.0}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}
@@ -65,14 +66,9 @@ 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 \
+ -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 *`
-sed -i "s|share/doc/mcrl2|doc/$PRGNAM-$VERSION|g" `grep -rl share/doc/mcrl2 *`
-sed -i "s|lib/mcrl2|lib$LIBDIRSUFFIX/$PRGNAM|g" `grep -rl lib/mcrl2 *`
+ -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \;
mkdir -p mcrl2_build
cd mcrl2_build
@@ -89,6 +85,8 @@ 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
+mv $PKG/usr/share/mcrl2/man $PKG/usr/
+
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
diff --git a/development/mcrl2/mcrl2.info b/development/mcrl2/mcrl2.info
index 68eb0eb97c..7ef71bfb59 100644
--- a/development/mcrl2/mcrl2.info
+++ b/development/mcrl2/mcrl2.info
@@ -1,8 +1,8 @@
PRGNAM="mcrl2"
-VERSION="201310.0"
+VERSION="201409.0"
HOMEPAGE="http://www.mcrl2.org"
-DOWNLOAD="http://www.mcrl2.org/download/release/mcrl2-201310.0.tar.gz"
-MD5SUM="7ec8d04e1f1351a3f287040bfba25799"
+DOWNLOAD="http://www.mcrl2.org/download/release/mcrl2-201409.0.tar.gz"
+MD5SUM="a138131d377c9740a7d3ec4d058c0081"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES=""