diff options
| -rw-r--r-- | development/mcrl2/mcrl2.SlackBuild | 49 | ||||
| -rw-r--r-- | development/mcrl2/mcrl2.info | 10 |
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" |