Version bump.

Package-Manager: portage-2.2.1/cvs/Linux i686
Manifest-Sign-Key: 0x30427902

4 files changed, 85 insertions, 7 deletions

diff --git a/sci-mathematics/spin/ChangeLog b/sci-mathematics/spin/ChangeLog
index e6c1e6262797..5cddddc45b41 100644
--- a/sci-mathematics/spin/ChangeLog
+++ b/sci-mathematics/spin/ChangeLog
@@ -1,6 +1,12 @@
 # ChangeLog for sci-mathematics/spin
-# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spin/ChangeLog,v 1.9 2012/12/30 18:30:00 phajdan.jr Exp $
+# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spin/ChangeLog,v 1.10 2013/11/18 00:11:13 phajdan.jr Exp $
+
+*spin-6.2.5 (18 Nov 2013)
+
+  18 Nov 2013; Pawel Hajdan jr <phajdan.jr@gentoo.org> +spin-6.2.5.ebuild,
+  +files/spin-6.2.5-makefile.patch:
+  Version bump.
 
 *spin-6.2.3 (30 Dec 2012)
 
diff --git a/sci-mathematics/spin/Manifest b/sci-mathematics/spin/Manifest
index afc56c4b8f18..ca80ea5770a5 100644
--- a/sci-mathematics/spin/Manifest
+++ b/sci-mathematics/spin/Manifest
@@ -3,16 +3,19 @@ Hash: SHA256
 
 AUX spin-6.0.1-makefile.patch 799 SHA256 20060fa1644f2633d99fb5a66cffdfc23f8c86f33bd63bf72aa9af3fe8912726 SHA512 c1350353a5935e757ee0aa7a38ba172f37c21a6c58ab15607cb369bf53578ac2ce32e697271ca451ce197fa6992c4319068c4e3202be98febae9ec77d9c2043f WHIRLPOOL 2aee880249f2d69440e04609951b9e0e7ee7d4928b53774ddae93ae57a3e4d98d0be19f367d38fa91736767cbabf58aeeacd6811557655c1d95ab7f1882fe6a6
 AUX spin-6.2.1-makefile.patch 756 SHA256 befb05f5c54b6099399a0e125f79caa95be38f985deaaddb0e4012d4e47d5db5 SHA512 6547515ca8bfe7eba22eb8d6eb671e19f41abe83cdcf09c0b7ca3d6f3edb79f585d872c469ce7aeab502403f6264b0750c254589a73c3464dfb91cb4174a72f7 WHIRLPOOL 3bdd9a4fdcf0347f9e2abdeb9a4893ef75c0c1c25fa7c2318bc5f36bf93f34363f0f7cf7a0108f295f63358a306eccca4e3ee3858adc24f06e7a7dfa540904fd
+AUX spin-6.2.5-makefile.patch 582 SHA256 77513dbb60e806122b64ccbe178881569cc229a8c88755552f6992476e203fef SHA512 86ca1ea14d43e167540851c2faa3e6bda7f4cc10d6c48179a24045fa9f3da858a13dbc2ea1c06742a38728cd632489cc349f39285c9db5f9bf3963d038bbc015 WHIRLPOOL 295362e94618ea645365d891be55da8ea013150003f26e940b915ed076584eff87432945bc69c7a48dc0f38967347706cccd7d1e89f1212379702b173f5e7d6b
 DIST spin621.tar.gz 463101 SHA256 2b3a9163e1bce4cb6402550819f6e190449e0e5aeb7b81630a017e130f7921cb
 DIST spin623.tar.gz 465637 SHA256 a056a7d360c4ab0322e5e8d09c6a0f23178b2ad471413e208136c5a29f1650ec SHA512 7a4faeee95a8c10b6a875e6bbfe6fdab91f982401601cd33d2701a8001ee27aa21738fe10e01720505b54f9b1369e0e79ae19bdf7909b0ef23bc49f70d76992b WHIRLPOOL 7bb4450313037c65ba0326b3261584592950060fdc28de6bb968958ed7f75976ee45d72499970a08e44021a71d70c2aa61f12072d5a1be266f07968a17db0890
+DIST spin625.tar.gz 468314 SHA256 3273c15af419912b00f1a3b9683af8f516a6a2afae788a575006d5fee0ecf330 SHA512 1679fb52981da762f6a5955116bfa0906bf12de7a219319fedf7ba068ba0c2ad51aa6a49d3b30115391f7070c7169c7c0753a23ef95257d350a9160e2d1f3ded WHIRLPOOL 6d4743449b28f0bd132fe69ea37160c4cce258d020883297f76df34e01e1acaf236c420f2aca600994d310d029051cc0bb2378237efa11903695018144c02733
 EBUILD spin-6.2.1.ebuild 982 SHA256 86499d9eedf3422d12fdd350ea0ba90ecf479cfe7d60569a0e281f5c8ddcdfa4 SHA512 e47d1c6a296fbeff9eba7ac95d8bff45b47ecc485b0e3c3b07b6f05e03151a735cf2654ddbeb1d240a98d8ae93557488ef1c49fa57060d5a28789b381ba7475a WHIRLPOOL ed273f67a7ae9785f14e4e230066df5198e4cb02d8b4db505448b256e8e664d55411a69cc95fe7d0a12479e14fbf5ba70a89a4b1b3977167261d8c007de419f3
 EBUILD spin-6.2.3.ebuild 1040 SHA256 6a420d73a49811c7ea47dcce9ada5e1d5c4e3cea8c6fbec74def1082212686f0 SHA512 f1ac2153ef2e241b4fcad733f3918ea1ab4cc2333a26bc0411b3820c9f2d04a6bf6ff009b10f6779030373ee93ea9f7c5e29e6948f8b88144cbf9407cdef33e3 WHIRLPOOL e737d38b17e9e17bbf5aa412c8a24875b1cfb287c566a0f976833c0af0977e3059fd947bc7ad7df79869c61224e06a1387a6e0dcfd4bddc9542643c168bfb09d
-MISC ChangeLog 1950 SHA256 c73e8c1462bc0e35db0d194a6b777bca221bf9ebe2a206fa787cf1a0ef41cf25 SHA512 93932a5f1a7bd6ded4f71de9af1a542449db0a3435054b5cf69b22684db8a17b2ceafcccc904d3fe787eceb0deb8f619cb2e385242c83ac8e24f978832a11a9d WHIRLPOOL a13b26d953cb24d1e9c4861f9b939e4a402707a7e8e16bd70e5416f53c313898ef3be07f648446cb35be4727b68f1a1b19d5566fbc585c6eb07e37dddb1beea9
+EBUILD spin-6.2.5.ebuild 1040 SHA256 96e55830afac7ec79fc12bfc124cdce32ed60af21632f8b1e047d97fbedf24bd SHA512 fce957add9b0f69038622c802e250e21e3498612ea6f03d77727614e19e1aa798710e8f41fe7f33ff0938ca01f3ccd64523e1c0603946e4632a3f3db54963aaa WHIRLPOOL c20533d67e4c3b40ec66832aaff9e8e3b96d325918fef80c37d633d1d62d9df108481633a83a85aa7459adeff70bdc4a8c9b76778b7e86f90ceb98deb520baf6
+MISC ChangeLog 2106 SHA256 c93ff2b3bc72022fc1d1c9c381fff9b5f25bd062ed1e5e1b0b8061fb165367ac SHA512 44208ba0bac9c3ec1b7bf2c937ec8decc780f75ad79e773cf6bcdcae9ce16baa65e026398a1586a09bcb8beb280f9178cf55e1cdbd0fd58174eaa5eb6a08d4ba WHIRLPOOL 448e45c3c588d132b180015e5850e49b15fab3b86ec750e6516fb404f6302d15121484ae7aae46680dcce192c6a7ebf264ad15813a25bca026a1a64f45232853
 MISC metadata.xml 238 SHA256 f5bfe7b3171e6a50ad6d8fb7da8ae5c20f228d93ecaaef9beea6a72d34be799a SHA512 47b8cae5eebe8b9d6fa205aad45794dd8f2af0bc09299de0a93858c1eab62ee24418bdc824f7b157e0958945664fb109fe25178af515e54f21a7ea329f79fbf5 WHIRLPOOL 332a0c68dc5ae1e45a1c2852c534c00531da9d1792b0bc665e0630e9f6dda28f623880c72b9e07ea3b9fa5c96e7451417b8643cf1e44a31b315f639910584acb
 -----BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.0.19 (GNU/Linux)
+Version: GnuPG v2.0.22 (GNU/Linux)
 
-iEYEAREIAAYFAlDgiC8ACgkQuUQtlDBCeQJW9gCfePwrFoNQP2+a94mBJVhZx/Vo
-k0AAnjwbLxNkuUx6nlD37Yuyj/NiOx1U
-=8xjk
+iEYEAREIAAYFAlKJWygACgkQuUQtlDBCeQJuyQCfYMGUo+T3E9TKhhcInZqb0yxH
+fV0AnR4yku13J5Uz4Ic6h90UEsCjTYYE
+=/+ym
 -----END PGP SIGNATURE-----
diff --git a/sci-mathematics/spin/files/spin-6.2.5-makefile.patch b/sci-mathematics/spin/files/spin-6.2.5-makefile.patch
new file mode 100644
index 000000000000..585e78b6f550
--- /dev/null
+++ b/sci-mathematics/spin/files/spin-6.2.5-makefile.patch
@@ -0,0 +1,21 @@
+--- makefile.orig	2013-05-05 01:21:02.000000000 +0200
++++ makefile	2013-11-18 01:07:20.000000000 +0100
+@@ -13,9 +13,6 @@
+ 
+ # see also ./make_pc for a simpler script, not requiring make
+ 
+-CC=gcc
+-CFLAGS=-O2 -DNXT	# on some systems add: -I/usr/include
+-
+ # CFLAGS=-g -O2 -DNXT
+ 
+ # CC=gcc -m32 	# 32bit compilation on a 64bit system
+@@ -45,7 +42,7 @@
+ 	tl_mem.o tl_rewrt.o tl_cache.o
+ 
+ spin:	$(SPIN_OS) $(TL_OS) spin.o
+-	$(CC) $(CFLAGS) -o spin spin.o $(SPIN_OS) $(TL_OS)
++	$(CC) $(CFLAGS) $(LDFLAGS) -o spin spin.o $(SPIN_OS) $(TL_OS)
+ 
+ spin.o:	spin.y
+ 	$(YACC) $(YFLAGS) spin.y
diff --git a/sci-mathematics/spin/spin-6.2.5.ebuild b/sci-mathematics/spin/spin-6.2.5.ebuild
new file mode 100644
index 000000000000..55be719d9498
--- /dev/null
+++ b/sci-mathematics/spin/spin-6.2.5.ebuild
@@ -0,0 +1,48 @@
+# Copyright 1999-2013 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spin/spin-6.2.5.ebuild,v 1.1 2013/11/18 00:11:13 phajdan.jr Exp $
+
+EAPI="5"
+
+inherit eutils toolchain-funcs versionator
+
+MY_PV=$(replace_all_version_separators '')
+MY_P="${PN}${MY_PV}"
+
+DESCRIPTION="Tool for formal verification of distributed software systems."
+HOMEPAGE="http://spinroot.com/"
+SRC_URI="http://spinroot.com/spin/Src/${MY_P}.tar.gz"
+
+LICENSE="|| ( spin-commercial spin-educational )"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="graphviz tk"
+
+DEPEND="sys-devel/bison"
+RDEPEND="sys-devel/gcc
+	sys-process/time
+	tk? (
+		dev-lang/tk
+		graphviz? ( media-gfx/graphviz )
+	)"
+
+S="${WORKDIR}/Spin/Src${PV}"
+
+src_prepare() {
+	epatch "${FILESDIR}/${PN}-6.2.5-makefile.patch"
+}
+
+src_compile() {
+	tc-export CC
+	default
+}
+
+src_install() {
+	dobin spin
+	doman ../Man/spin.1
+	dodoc ../Doc/*
+	if use tk; then
+		newbin "${WORKDIR}/Spin/iSpin/ispin.tcl" ispin
+		make_desktop_entry ispin
+	fi
+}