reinit the tree, so we can have metadata

9 files changed, 264 insertions, 0 deletions

diff --git a/sci-mathematics/spin/Manifest b/sci-mathematics/spin/Manifest
new file mode 100644
index 000000000000..5fa98a0f8888
--- /dev/null
+++ b/sci-mathematics/spin/Manifest
@@ -0,0 +1,14 @@
+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
+AUX spin-6.4.5-makefile.patch 620 SHA256 41d5dc3eb7249141c04407c22f2fd602508b5eae712eb4493c642c1f6ad44cc9 SHA512 47b72f5cda3275f62a291870e3683fb3f29f3eeab2d251336777d9a2c814b6be436bcbe59a8d98c0f4f32d7b0a9a2961f34c436d6f265d8a2474258fd9c0d6ee WHIRLPOOL 466386b579f5eb5d09fba494f6d7bc0d6d94ba59c58793c5465524d30938b92bb3ffb6f433eb379a5c819000d37d4a49aec78606c28c008ba4add318b5ea3b54
+DIST spin621.tar.gz 463101 SHA256 2b3a9163e1bce4cb6402550819f6e190449e0e5aeb7b81630a017e130f7921cb SHA512 b10a306bc48b964f8fefec07ee9745ae62faee8af3a62d4f7cc24ee808f69cbc7705b9f33782f76dd28e3ab7a5eeb645759763edc702bf8cb81645ddf3f796b7 WHIRLPOOL 13bb5f820167248857c97ce4e05ab7411f4209da69edc5391aa18ef905825794f1db2d5fb933f4bb2e9b332638b7be8de2bd27b338c4b36314a4cac874a92ba8
+DIST spin623.tar.gz 465637 SHA256 a056a7d360c4ab0322e5e8d09c6a0f23178b2ad471413e208136c5a29f1650ec SHA512 7a4faeee95a8c10b6a875e6bbfe6fdab91f982401601cd33d2701a8001ee27aa21738fe10e01720505b54f9b1369e0e79ae19bdf7909b0ef23bc49f70d76992b WHIRLPOOL 7bb4450313037c65ba0326b3261584592950060fdc28de6bb968958ed7f75976ee45d72499970a08e44021a71d70c2aa61f12072d5a1be266f07968a17db0890
+DIST spin625.tar.gz 468314 SHA256 3273c15af419912b00f1a3b9683af8f516a6a2afae788a575006d5fee0ecf330 SHA512 1679fb52981da762f6a5955116bfa0906bf12de7a219319fedf7ba068ba0c2ad51aa6a49d3b30115391f7070c7169c7c0753a23ef95257d350a9160e2d1f3ded WHIRLPOOL 6d4743449b28f0bd132fe69ea37160c4cce258d020883297f76df34e01e1acaf236c420f2aca600994d310d029051cc0bb2378237efa11903695018144c02733
+DIST spin645.tar.gz 672549 SHA256 44081282eb63cd9df763ebbcf8bad19dbeefecbebf8ac2cc090ea92e2ab71875 SHA512 77bc35bb852c0448915c655bf11910d0b226d30d66abaa63311e6227de03f920ca026e7399cbeebdae631368fd8091f1e8330bd3094bd4febdf7d5c7a81834ad WHIRLPOOL 15fb07d6c0dac8d054cefe2810588ece60bf67bbb920f6ee8800b391b00fbf93d7f7f21988ac7dd84aa644a88a27524af8462fbb4cec438eaee11159683ce2af
+EBUILD spin-6.2.1.ebuild 864 SHA256 ecaccd52a77ad779c970c168b91969660aa970ddbf9c0e5b7ac36c9f6d9f3933 SHA512 2e206f5e656ec31232ae772e2a3051ba8d3e3a14adccd9299f5696baae39f8cead5cd6551300cb4568091271a1f35a8f38f4593ed659e3f50559a737f0caa704 WHIRLPOOL 60de72ce101c4b360f2cad5335248e2372d4fcb388800ea26196c9627f234e3756fafe15bc36a9375b742c321839864b260b395993811ac6ecfdf32db824a513
+EBUILD spin-6.2.3.ebuild 922 SHA256 5fd76149a770f42484cec1dceeccf54d4c3b68ca351bf5450fa42e533476b1f6 SHA512 71136d3b976fc2ebcfaf3f487eb6a475f462736f13f531468ab8c0d7628720e7c41f9690c238523a27aacfed0adcc064659dea8420d9687cc0ee84a8d70940b4 WHIRLPOOL f0dfcd91b3458640e5b9cc00860466e9323cd5043ab8a255f6ad6e2fd421c2fa8c304522a028d88b162f4cb30aa82a1e11626ef6b72af77321e358eaf1ef6177
+EBUILD spin-6.2.5.ebuild 922 SHA256 7d28b4ed9ea50666a75ad5a1f63fcd9ce212ecdcace2e09d6956495346f7921c SHA512 caca36574e1cadc64f3fed7b8685a35133427b3726c71ade3e0cf4164d78ba0bd91331d8d83565e3f59f05e7fa57ea87c231cd8d62c0308c211eee95fbf6c42e WHIRLPOOL b746c0cc16ae941d75e4072ec875992051100740d3a862ddcf5a3c79b1abe9b0427586c3fa36767a6dab8eeb5b5cdb8feff2393df95de08d88949656cf195bef
+EBUILD spin-6.4.5.ebuild 886 SHA256 021c002032a1dbf69baca49add464073118df8386f24b23131757bf4d30578ab SHA512 4882c4aefde1633d067d15114166d010d442704d66bba585134b8e3f55158933f3960221bc12aeed47a14d81982edde196e79511586a6d6c9eb7058110b2f0b4 WHIRLPOOL c3816cfe9b3d26a3447f15d32eba20ea783388ea4a63aa219588e761f9e5bc259b20e940c4b371a0a597a214cf07c87bb59dee26d127a62ff47590759ea8ac38
+MISC ChangeLog 2596 SHA256 fe1da60539c5cafd4b59bd5e07eed5acca63dc0d272e25f735e2eef254f15dc9 SHA512 4d6e18a324268a0449f6c605b102ace20596de2474ddf2b962363a3e934300faa62ae198c22b959bc3d03f313ed2f3c82dc784165e33c456219b1a61115ea47f WHIRLPOOL ee871ee4a09c877e0f19861a784f398ec385c00d71f59af80b8383fd953f834dadf55ca953446092b0422d65bb024318db870ccf0a6cb59fcc73c27758f1fda9
+MISC ChangeLog-2015 2256 SHA256 1c727c470381cc456f5b417c6be6fc9dc8faac13443f9f3b83cee9e0c612d5b2 SHA512 199e51c5f00fe78e9853bcaa47c6bf767d872051b8d18a11f6ad45cda3a60f8d8b036acf1a124928fdd89cf3442555d411c027e70c8f69f911cddc90bbdea54a WHIRLPOOL 77ce8e9ed59266c35f516b1ebe07651f56fffd53ea29d04f0deb6adc968c724fd445e905d6a8432ed67e09127ba49cc620158d9d7afe343bfdb195b25583a27d
+MISC metadata.xml 167 SHA256 5fe493e76bba84455c54b3a46adfae5a1bfe01c764ef0d9e5f6d3e8a1d142188 SHA512 7c8decb24ee3a850e38186cf3c7f8933a28017426806870ad6ef9ceb2533be147a2681fc789b535a81cb528af8c29d90d3006e4f250aee23bd7dea4561294e33 WHIRLPOOL dc6c3dfc7fd7f0d76c97f0786cb76a55b8564f8437f96d4ccebf985817b9f6dcc4c61830aa5df80d725e4a54b281ea2e03d6b0859214af081112cba15025e64b
diff --git a/sci-mathematics/spin/files/spin-6.2.1-makefile.patch b/sci-mathematics/spin/files/spin-6.2.1-makefile.patch
new file mode 100644
index 000000000000..9133f54f9fac
--- /dev/null
+++ b/sci-mathematics/spin/files/spin-6.2.1-makefile.patch
@@ -0,0 +1,21 @@
+--- makefile.orig	2012-05-21 14:59:56.000000000 +0200
++++ makefile	2012-05-21 15:00:47.000000000 +0200
+@@ -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
+-
+ # CC=gcc -m32 	# 32bit compilation on a 64bit system
+ # 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) 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/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/files/spin-6.4.5-makefile.patch b/sci-mathematics/spin/files/spin-6.4.5-makefile.patch
new file mode 100644
index 000000000000..64b76ec484f0
--- /dev/null
+++ b/sci-mathematics/spin/files/spin-6.4.5-makefile.patch
@@ -0,0 +1,20 @@
+--- makefile.orig	2016-01-09 12:51:10.260008241 +0100
++++ makefile	2016-01-09 12:52:04.666673549 +0100
+@@ -7,8 +7,6 @@
+ # see also ./make_pc for a simpler script not requiring make
+ # for 32-bit compilation, use ./make32
+ 
+-CC=gcc
+-CFLAGS=-O2 -DNXT	# on some systems add: -I/usr/include
+ 			# on a PC:    add -DPC
+ 			# on Solaris: add -DSOLARIS
+ 			# on a Mac:   add -DMAC
+@@ -37,7 +35,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)
+ 
+ install: spin
+ 	cp spin /usr/local/bin
diff --git a/sci-mathematics/spin/metadata.xml b/sci-mathematics/spin/metadata.xml
new file mode 100644
index 000000000000..7a38bb900964
--- /dev/null
+++ b/sci-mathematics/spin/metadata.xml
@@ -0,0 +1,5 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+	<!-- maintainer-needed -->
+</pkgmetadata>
diff --git a/sci-mathematics/spin/spin-6.2.1.ebuild b/sci-mathematics/spin/spin-6.2.1.ebuild
new file mode 100644
index 000000000000..201885a95b4b
--- /dev/null
+++ b/sci-mathematics/spin/spin-6.2.1.ebuild
@@ -0,0 +1,42 @@
+# Copyright 1999-2014 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="4"
+
+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="~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.1-makefile.patch"
+}
+
+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
+}
diff --git a/sci-mathematics/spin/spin-6.2.3.ebuild b/sci-mathematics/spin/spin-6.2.3.ebuild
new file mode 100644
index 000000000000..906dd06fff9a
--- /dev/null
+++ b/sci-mathematics/spin/spin-6.2.3.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2014 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+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.1-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
+}
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..435fb87b5c15
--- /dev/null
+++ b/sci-mathematics/spin/spin-6.2.5.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2014 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+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
+}
diff --git a/sci-mathematics/spin/spin-6.4.5.ebuild b/sci-mathematics/spin/spin-6.4.5.ebuild
new file mode 100644
index 000000000000..2d78f62dd3c0
--- /dev/null
+++ b/sci-mathematics/spin/spin-6.4.5.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+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="BSD"
+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.4.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
+}