Version bump.

Package-Manager: portage-2.1.9.25/cvs/Linux i686

4 files changed, 80 insertions, 3 deletions

diff --git a/sci-mathematics/spin/ChangeLog b/sci-mathematics/spin/ChangeLog
index f925b7dc7509..d7595bb65cf4 100644
--- a/sci-mathematics/spin/ChangeLog
+++ b/sci-mathematics/spin/ChangeLog
@@ -1,6 +1,12 @@
 # ChangeLog for sci-mathematics/spin
-# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spin/ChangeLog,v 1.4 2010/10/12 11:16:28 phajdan.jr Exp $
+# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spin/ChangeLog,v 1.5 2011/01/01 15:57:08 phajdan.jr Exp $
+
+*spin-6.0.1 (01 Jan 2011)
+
+  01 Jan 2011; Pawel Hajdan jr <phajdan.jr@gentoo.org> +spin-6.0.1.ebuild,
+  +files/spin-6.0.1-makefile.patch:
+  Version bump.
 
   12 Oct 2010; Pawel Hajdan jr <phajdan.jr@gentoo.org> -spin-5.2.4.ebuild,
   -spin-5.2.5.ebuild, files/spin-makefile.patch:
diff --git a/sci-mathematics/spin/Manifest b/sci-mathematics/spin/Manifest
index 5093825db03c..9f62975d497c 100644
--- a/sci-mathematics/spin/Manifest
+++ b/sci-mathematics/spin/Manifest
@@ -1,9 +1,12 @@
+AUX spin-6.0.1-makefile.patch 799 RMD160 abbaa74f452a7048e3370678182a559b52175b3c SHA1 4b160cb898deedb2ca0bb154d225e83dc2e61235 SHA256 20060fa1644f2633d99fb5a66cffdfc23f8c86f33bd63bf72aa9af3fe8912726
 AUX spin-font-size.patch 1835 RMD160 13697e0a69dbd16d5bdd22d485eea9569e6c6fd5 SHA1 193d5d48525426bb445bd1751cc733b5ab53400f SHA256 18a9646b43c47d44c96676e111874c73685c98a42aebfc8ea3958c8501143aad
 AUX spin-makefile.patch 811 RMD160 1332042461d816b8dd1413c5a1af1b3211dd56ba SHA1 9a0c62d13a086d20583cfe6c6304e75dff6608f0 SHA256 92bfbea9e9ec38ddddebae9d918d1d4e523ab78a8a513eb018d96d54c5337611
 AUX spin-xspin-r1.patch 916 RMD160 8bf4ee6d5243595907c52159b78a2f27d36500f8 SHA1 13c68d388fbf23eb985f021c9ebc2cf5d2dd1039 SHA256 fc9c22128697f93e68b1d0aad586fcdfc13a02fea11801bf826bd7c08899b2c5
 AUX spin-xspin.patch 922 RMD160 f43706719dc0b9028d1cb2b021e2c946af40fc28 SHA1 3a41da3936d394a22a6adca66b02d82497f2f57f SHA256 f2ef6bf2286a8727eae81fc963609e12de2d80be0bbcb0857445db9f8ba0655c
 DIST spin525.tar.gz 413406 RMD160 8d01f8dd0da8c8013fbb8c6d6e9a8c40b8c5f33f SHA1 274649628c0c8ae3414b863c27a1b8d98a8e9921 SHA256 60e6ac1a10e7f543634e99d69d33a8bb03ea85c4251de67824e89826e1955360
+DIST spin601.tar.gz 418700 RMD160 ad47349b38b9a0a0e61a82cf0be4287a83576ef7 SHA1 bf932341d121ebb79b78bb2697e07dba6fa0d16d SHA256 83ca4695f76b66bda9db326fa543bafa1cc1af5f5e2bcbd122e3887605fdf3b9
 DIST xspin525.tcl 194845 RMD160 26d85188070286739019405d49d3a2bd07545f90 SHA1 8166ccc6830f052e31162bec618c17452a988b5d SHA256 e23d8d562e39db6fe73570e52ee895cd806d15c3e52e638299cbc1eb61289eb6
 EBUILD spin-5.2.5-r1.ebuild 1334 RMD160 20db1390c3f2354cf137b4cb818aa578d6582007 SHA1 f617a02a7f1aa84fd485178d11e8ed5d6015e407 SHA256 b4e8829511d048f5a8077fe48ece30bbd7b54145fcd71dd09e54c9a55cb9459d
-MISC ChangeLog 1002 RMD160 cdb195b8a5e23f592e614e7882cbaef2294958d7 SHA1 ca728ff32adc22f45b9be902a7dcd2ba83610246 SHA256 846f81308f2212faf6602be257dff8926bd62b09adc23018458b8f2de3671456
+EBUILD spin-6.0.1.ebuild 1040 RMD160 5ee0a43e94f3345b667dc16c772b9e2c243da90c SHA1 abccb955b5ee6a86b197985bb8bc3059c50b778a SHA256 dab7c53a52d36e81631cc6fc214409999cae687d0d8f86e6731568732366f4e2
+MISC ChangeLog 1157 RMD160 49f1a3607094680b576d16eecac27538e418aa73 SHA1 95d498956f3c363a70cf6dae98481ee9bd737a5d SHA256 405734fa5764290853585b9488a00c3eb3bc470d2fe120fb56e59bd600b9acff
 MISC metadata.xml 260 RMD160 e9437033b7df4bdb32fdef6e886a1ed321a6f462 SHA1 f008d84bacf2428dafd6f33263898961dacf8c5e SHA256 c7f8354174de834aa476ee81d3412d85e1352a6647415dbeee403461b99ea19c
diff --git a/sci-mathematics/spin/files/spin-6.0.1-makefile.patch b/sci-mathematics/spin/files/spin-6.0.1-makefile.patch
new file mode 100644
index 000000000000..d1840875fc03
--- /dev/null
+++ b/sci-mathematics/spin/files/spin-6.0.1-makefile.patch
@@ -0,0 +1,21 @@
+--- makefile.orig	2011-01-01 16:51:18.000000000 +0100
++++ makefile	2011-01-01 16:52:00.000000000 +0100
+@@ -13,9 +13,6 @@
+ 
+ # see also ./make_pc for a simpler script, not requiring make
+ 
+-CC=gcc
+-CFLAGS=-O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security	# on some systems add: -I/usr/include
+-
+ # CC=cc -m32 	# for 32bit compilation on a 64bit system (not recommended)
+ # for a more picky compilation use gcc-4 and:
+ # CFLAGS=-std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -g -DNXT -DPC
+@@ -43,7 +40,7 @@
+ 	tl_mem.o tl_rewrt.o tl_cache.o
+ 
+ spin:	$(SPIN_OS) $(TL_OS)
+-	$(CC) $(CFLAGS) -o spin $(SPIN_OS) $(TL_OS)
++	$(CC) $(CFLAGS) $(LDFLAGS) -o spin $(SPIN_OS) $(TL_OS)
+ 
+ spin.o:	spin.y
+ 	$(YACC) $(YFLAGS) spin.y
diff --git a/sci-mathematics/spin/spin-6.0.1.ebuild b/sci-mathematics/spin/spin-6.0.1.ebuild
new file mode 100644
index 000000000000..6737f715c7e8
--- /dev/null
+++ b/sci-mathematics/spin/spin-6.0.1.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2011 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spin/spin-6.0.1.ebuild,v 1.1 2011/01/01 15:57:08 phajdan.jr Exp $
+
+EAPI="2"
+
+inherit eutils 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="~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.0.1-makefile.patch"
+}
+
+src_compile() {
+	emake -j1 || die
+}
+
+src_install() {
+	dobin spin || die
+	doman ../Man/spin.1 || die
+	dodoc ../Doc/* || die
+	if use tk; then
+		newbin "${WORKDIR}/Spin/iSpin/ispin.tcl" ispin || die
+		make_desktop_entry ispin
+	fi
+}