summaryrefslogtreecommitdiff
path: root/development/spin
diff options
context:
space:
mode:
authorSamuel Judson <samuel.e.judson@gmail.com>2020-05-09 08:25:51 +0700
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2020-05-10 08:36:55 +0700
commitbff521b959954e122de9327aabe585447fda0952 (patch)
treecde5e7c147b27faa3d2e4cc4ec808d17b94903bf /development/spin
parent4cf823acaba629edb4b6e214e2b1e9069bf3f269 (diff)
downloadslackbuilds-bff521b959954e122de9327aabe585447fda0952.tar.gz
development/spin: Updated for version 6.5.2.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/spin')
-rw-r--r--development/spin/README5
-rw-r--r--development/spin/slack-desc2
-rw-r--r--development/spin/spin.SlackBuild26
-rw-r--r--development/spin/spin.info12
4 files changed, 28 insertions, 17 deletions
diff --git a/development/spin/README b/development/spin/README
index 07fe9ae328..ed0fad335f 100644
--- a/development/spin/README
+++ b/development/spin/README
@@ -2,3 +2,8 @@ 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` \ No newline at end of file
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..01f4cab9a1 100644
--- a/development/spin/spin.SlackBuild
+++ b/development/spin/spin.SlackBuild
@@ -2,8 +2,10 @@
# 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
@@ -25,13 +27,13 @@
# not, see <http://www.gnu.org/licenses/>.
PRGNAM=spin
-VERSION=${VERSION:-6.4.3}
+VERSION=${VERSION:-6.5.2}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}
if [ -z "$ARCH" ]; then
case "$(uname -m)" in
- i?86) ARCH=i486 ;;
+ i?86) ARCH=i586 ;;
arm*) ARCH=arm ;;
*) ARCH=$(uname -m) ;;
esac
@@ -41,9 +43,10 @@ CWD=$(pwd)
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 +64,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 +74,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
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"