diff options
Diffstat (limited to 'development/spin')
| -rw-r--r-- | development/spin/README | 13 | ||||
| -rw-r--r-- | development/spin/slack-desc | 2 | ||||
| -rw-r--r-- | development/spin/spin.SlackBuild | 42 | ||||
| -rw-r--r-- | development/spin/spin.info | 12 |
4 files changed, 45 insertions, 24 deletions
diff --git a/development/spin/README b/development/spin/README index 07fe9ae328..4634fd9118 100644 --- a/development/spin/README +++ b/development/spin/README @@ -1,4 +1,9 @@ -Spin is a popular open-source software tool, used by thousands of people -worldwide, that can be used for the formal verification of distributed -software systems. In April 2002 the tool was awarded the prestigious System -Software Award for 2001 by the ACM. +Spin is a popular open-source software tool, used by thousands of +people worldwide, that can be used for the formal verification of +distributed software systems. In April 2002 the tool was awarded the +prestigious System Software Award for 2001 by the ACM. + +By default the ispin GUI will not be installed. This may be overridden +by building with: + +`GUI=yes ./spin.SlackBuild` diff --git a/development/spin/slack-desc b/development/spin/slack-desc index 6301a1b0b5..021f1d0662 100644 --- a/development/spin/slack-desc +++ b/development/spin/slack-desc @@ -13,7 +13,7 @@ spin: people worldwide, that can be used for the formal verification of spin: distributed software systems. In April 2002 the tool was awarded the spin: prestigious System Software Award for 2001 by the ACM. spin: -spin: http://spinroot.com/ +spin: https://spinroot.com/ spin: spin: spin: diff --git a/development/spin/spin.SlackBuild b/development/spin/spin.SlackBuild index 01654858f0..ece2c19c6f 100644 --- a/development/spin/spin.SlackBuild +++ b/development/spin/spin.SlackBuild @@ -1,9 +1,11 @@ -#!/bin/sh +#!/bin/bash # Slackware build script for spin -# Originally by Jockey S. Kyd (jockey dot kyd at gmail dot com) +# Samuel Judson | sam@sjudson.com +# Previous maintained by: +# Jockey S. Kyd (jockey dot kyd at gmail dot com) # Ryan P.C. McQuen | Everett, WA | ryanpcmcquen@member.fsf.org # This program is free software; you can redistribute it and/or modify @@ -24,26 +26,37 @@ # along with this program (most likely, a file named COPYING). If # not, see <http://www.gnu.org/licenses/>. +cd $(dirname $0) ; CWD=$(pwd) + PRGNAM=spin -VERSION=${VERSION:-6.4.3} +VERSION=${VERSION:-6.5.2} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} +PKGTYPE=${PKGTYPE:-tgz} if [ -z "$ARCH" ]; then case "$(uname -m)" in - i?86) ARCH=i486 ;; + i?86) ARCH=i586 ;; arm*) ARCH=arm ;; *) ARCH=$(uname -m) ;; esac fi -CWD=$(pwd) +# If the variable PRINT_PACKAGE_NAME is set, then this script will report what +# the name of the created package would be, and then exit. This information +# could be useful to other scripts. +if [ ! -z "${PRINT_PACKAGE_NAME}" ]; then + echo "$PRGNAM-$VERSION-$ARCH-$BUILD$TAG.$PKGTYPE" + exit 0 +fi + TMP=${TMP:-/tmp/SBo} PKG=$TMP/package-$PRGNAM OUTPUT=${OUTPUT:-/tmp} +CPRGNAM=Spin -if [ "$ARCH" = "i486" ]; then - SLKCFLAGS="-O2 -march=i486 -mtune=i686" +if [ "$ARCH" = "i586" ]; then + SLKCFLAGS="-O2 -march=i586 -mtune=i686" LIBDIRSUFFIX="" elif [ "$ARCH" = "i686" ]; then SLKCFLAGS="-O2 -march=i686 -mtune=i686" @@ -61,8 +74,8 @@ rm -rf $PKG mkdir -p $TMP $PKG $OUTPUT cd $TMP rm -rf $PRGNAM-$VERSION -tar xvf $CWD/$PRGNAM`echo $VERSION | sed 's/\.//g'`.tar.gz -mv Spin $PRGNAM-$VERSION +tar xvf $CWD/$CPRGNAM-version-$VERSION.tar.gz +mv $CPRGNAM-version-$VERSION $PRGNAM-$VERSION cd $PRGNAM-$VERSION chown -R root:root . find -L . \ @@ -71,13 +84,16 @@ find -L . \ \( -perm 666 -o -perm 664 -o -perm 640 -o -perm 600 -o -perm 444 \ -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \; -cd Src$VERSION +cd Src sed -i "s/^CFLAGS=\(.*\)$/CFLAGS=$SLKCFLAGS \1/" makefile make -j1 cd .. -install -Dm 755 Src$VERSION/spin $PKG/usr/bin/spin -install -Dm 755 iSpin/ispin.tcl $PKG/usr/bin/ispin +install -Dm 755 Src/spin $PKG/usr/bin/spin +if [ ${GUI:-"no"} = "yes" ] +then + install -Dm 755 optional_gui/ispin.tcl $PKG/usr/bin/ispin +fi 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 @@ -95,4 +111,4 @@ mkdir -p $PKG/install cat $CWD/slack-desc > $PKG/install/slack-desc cd $PKG -/sbin/makepkg -l y -c n $OUTPUT/$PRGNAM-$VERSION-$ARCH-$BUILD$TAG.${PKGTYPE:-tgz} +/sbin/makepkg -l y -c n $OUTPUT/$PRGNAM-$VERSION-$ARCH-$BUILD$TAG.$PKGTYPE diff --git a/development/spin/spin.info b/development/spin/spin.info index 16cd0bd350..983c355009 100644 --- a/development/spin/spin.info +++ b/development/spin/spin.info @@ -1,10 +1,10 @@ PRGNAM="spin" -VERSION="6.4.3" -HOMEPAGE="http://spinroot.com/" -DOWNLOAD="http://spinroot.com/spin/Src/spin643.tar.gz" -MD5SUM="17eb7f14df3616e25635691967786996" +VERSION="6.5.2" +HOMEPAGE="https://spinroot.com/" +DOWNLOAD="https://github.com/nimble-code/Spin/archive/version-6.5.2/Spin-version-6.5.2.tar.gz" +MD5SUM="3cdb145fe0f9fd9e1d5695a40974f37b" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="" -MAINTAINER="orphaned - no maintainer" -EMAIL="nobody@nowhere" +MAINTAINER="Samuel Judson" +EMAIL="samuel.e.judson@gmail.com" |