development/spin: Updated for version 6.5.2.

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>

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"