diff options
Diffstat (limited to 'development')
| -rw-r--r-- | development/mcrl2/mcrl2.SlackBuild | 18 | ||||
| -rw-r--r-- | development/mcrl2/mcrl2.info | 6 |
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="" |