diff options
Diffstat (limited to 'sci-mathematics/spin')
-rw-r--r-- | sci-mathematics/spin/Manifest | 8 | ||||
-rw-r--r-- | sci-mathematics/spin/files/spin-6.2.1-makefile.patch | 21 | ||||
-rw-r--r-- | sci-mathematics/spin/files/spin-6.2.5-makefile.patch | 21 | ||||
-rw-r--r-- | sci-mathematics/spin/spin-6.2.1.ebuild | 42 | ||||
-rw-r--r-- | sci-mathematics/spin/spin-6.2.3.ebuild | 47 | ||||
-rw-r--r-- | sci-mathematics/spin/spin-6.2.5.ebuild | 47 |
6 files changed, 0 insertions, 186 deletions
diff --git a/sci-mathematics/spin/Manifest b/sci-mathematics/spin/Manifest index e8310ba6eb58..10c0b01e95a1 100644 --- a/sci-mathematics/spin/Manifest +++ b/sci-mathematics/spin/Manifest @@ -1,12 +1,4 @@ -AUX spin-6.2.1-makefile.patch 756 BLAKE2B dbf446fd88df5f04008ec649bec3cf551eec4598481758c572333c37611c661dca2f01e92e81d0f854e77f922f1f0e1928e51272beb5b436fc431b22afac74d2 SHA512 6547515ca8bfe7eba22eb8d6eb671e19f41abe83cdcf09c0b7ca3d6f3edb79f585d872c469ce7aeab502403f6264b0750c254589a73c3464dfb91cb4174a72f7 -AUX spin-6.2.5-makefile.patch 582 BLAKE2B 7662db8936a3c26cc2cb092132920449f7ad8ba4b8ae8331f04c3d8c890f8805e2a72579728b9f92e3899fd7b04f0e1e3dcefd8e831e8d1dfa8c1479cc4a0ee6 SHA512 86ca1ea14d43e167540851c2faa3e6bda7f4cc10d6c48179a24045fa9f3da858a13dbc2ea1c06742a38728cd632489cc349f39285c9db5f9bf3963d038bbc015 AUX spin-6.4.5-makefile.patch 620 BLAKE2B 44fe04e7338e872be7efe6ffc2766c926ad425886bba2dff71972a77a455e2a72b34796f1c7b0618eb3777fdb05f12ba9d63c05fd229eee98fa50cc7830ae468 SHA512 47b72f5cda3275f62a291870e3683fb3f29f3eeab2d251336777d9a2c814b6be436bcbe59a8d98c0f4f32d7b0a9a2961f34c436d6f265d8a2474258fd9c0d6ee -DIST spin621.tar.gz 463101 BLAKE2B 8c786ef7e224b1035dbdb55a826e360537b78c76e35a532ce5930df851a92ee8070676b54831466a00ca85aaddeb21c8ab457bef733367b93e5d7939ce58b362 SHA512 b10a306bc48b964f8fefec07ee9745ae62faee8af3a62d4f7cc24ee808f69cbc7705b9f33782f76dd28e3ab7a5eeb645759763edc702bf8cb81645ddf3f796b7 -DIST spin623.tar.gz 465637 BLAKE2B 2a8dbd34eeaf2b56178d4624fb40f41a6ca174cd09e6c5df14a2a1bfea4bc392dfe0d939a006ff85e7d35c60bac1eb5d0cabb8fdbd09c2d67613713723a4c752 SHA512 7a4faeee95a8c10b6a875e6bbfe6fdab91f982401601cd33d2701a8001ee27aa21738fe10e01720505b54f9b1369e0e79ae19bdf7909b0ef23bc49f70d76992b -DIST spin625.tar.gz 468314 BLAKE2B 58287bb1055bf19c104d8d8f321eab27daaa30bc08575bba40ded4756f4d05f243365fe003df72934dc771a00cfb5ee611cb2161007d9a20660d7b029a96deb4 SHA512 1679fb52981da762f6a5955116bfa0906bf12de7a219319fedf7ba068ba0c2ad51aa6a49d3b30115391f7070c7169c7c0753a23ef95257d350a9160e2d1f3ded DIST spin645.tar.gz 672549 BLAKE2B 5b0f7d5ef8fbec84a4423938c10272f804084d05d470a69ef954ee261752b238b16643054d934617861fb02ef4a318c708a8464102572d34b71c883cb84fe450 SHA512 77bc35bb852c0448915c655bf11910d0b226d30d66abaa63311e6227de03f920ca026e7399cbeebdae631368fd8091f1e8330bd3094bd4febdf7d5c7a81834ad -EBUILD spin-6.2.1.ebuild 864 BLAKE2B 1ff581dc4a3665e80c300c97ec8e655d4fb2da576c44ab87d08442d769f0a3d6c98b34905da08ff17ceeaebe1f60581a5262a61cf30062aaf218d6d8a9d187cd SHA512 2e206f5e656ec31232ae772e2a3051ba8d3e3a14adccd9299f5696baae39f8cead5cd6551300cb4568091271a1f35a8f38f4593ed659e3f50559a737f0caa704 -EBUILD spin-6.2.3.ebuild 922 BLAKE2B e5da4fd015c3087eb6ef110556dca00d5f30e54f406dcc4fd6f969cc1622d46d16700f274c0c601ef50abf7f06d84a43785ac70783de0a0bd409c17a47582448 SHA512 71136d3b976fc2ebcfaf3f487eb6a475f462736f13f531468ab8c0d7628720e7c41f9690c238523a27aacfed0adcc064659dea8420d9687cc0ee84a8d70940b4 -EBUILD spin-6.2.5.ebuild 922 BLAKE2B 8e8175e11ffb0cbb583f17c3dde8f8f3e749a7cd1c1169a78dc2e0a365e21e9535dbb221605919055dd4c7f44d46ec9ac86ad54db1cd445ae5b092fa963fcbf9 SHA512 caca36574e1cadc64f3fed7b8685a35133427b3726c71ade3e0cf4164d78ba0bd91331d8d83565e3f59f05e7fa57ea87c231cd8d62c0308c211eee95fbf6c42e EBUILD spin-6.4.5.ebuild 886 BLAKE2B bf15653b598e3b9a6516d26a6a2231e32e8752f8c3cbec153ac1fc773552f535a189bb69ff0d58463f865ae51e7b4e003b8b6273bfb6b7c2fa75b86bccc0a15a SHA512 4882c4aefde1633d067d15114166d010d442704d66bba585134b8e3f55158933f3960221bc12aeed47a14d81982edde196e79511586a6d6c9eb7058110b2f0b4 MISC metadata.xml 167 BLAKE2B e4dadf27fd344484f2bccb5b904909c89aac568c32e5b3c44bdf139eacefd4b4fae74419f503d2b7da0dccc1b68ba05d777d11292c0f89270d1ac5c9c703e8ca SHA512 7c8decb24ee3a850e38186cf3c7f8933a28017426806870ad6ef9ceb2533be147a2681fc789b535a81cb528af8c29d90d3006e4f250aee23bd7dea4561294e33 diff --git a/sci-mathematics/spin/files/spin-6.2.1-makefile.patch b/sci-mathematics/spin/files/spin-6.2.1-makefile.patch deleted file mode 100644 index 9133f54f9fac..000000000000 --- a/sci-mathematics/spin/files/spin-6.2.1-makefile.patch +++ /dev/null @@ -1,21 +0,0 @@ ---- 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 deleted file mode 100644 index 585e78b6f550..000000000000 --- a/sci-mathematics/spin/files/spin-6.2.5-makefile.patch +++ /dev/null @@ -1,21 +0,0 @@ ---- 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.1.ebuild b/sci-mathematics/spin/spin-6.2.1.ebuild deleted file mode 100644 index 201885a95b4b..000000000000 --- a/sci-mathematics/spin/spin-6.2.1.ebuild +++ /dev/null @@ -1,42 +0,0 @@ -# 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 deleted file mode 100644 index 906dd06fff9a..000000000000 --- a/sci-mathematics/spin/spin-6.2.3.ebuild +++ /dev/null @@ -1,47 +0,0 @@ -# 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 deleted file mode 100644 index 435fb87b5c15..000000000000 --- a/sci-mathematics/spin/spin-6.2.5.ebuild +++ /dev/null @@ -1,47 +0,0 @@ -# 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 -} |