summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHarri Nieminen <moikkis@gmail.com>2018-03-27 18:17:04 +0300
committerMichał Górny <mgorny@gentoo.org>2018-03-29 21:22:07 +0200
commitcd5b9f0e04cde405529db99df0ff76fb3ae47fbe (patch)
treea11927ea07bfceeea8c3af3df5df26aa5b75bb12 /sci-mathematics/spin
parentwww-apache/modsecurity-crs: Remove old (diff)
downloadgentoo-cd5b9f0e04cde405529db99df0ff76fb3ae47fbe.tar.gz
gentoo-cd5b9f0e04cde405529db99df0ff76fb3ae47fbe.tar.bz2
gentoo-cd5b9f0e04cde405529db99df0ff76fb3ae47fbe.zip
sci-mathematics/spin: Remove old
Closes: https://github.com/gentoo/gentoo/pull/7646 Package-Manager: Portage-2.3.24, Repoman-2.3.6
Diffstat (limited to 'sci-mathematics/spin')
-rw-r--r--sci-mathematics/spin/Manifest3
-rw-r--r--sci-mathematics/spin/files/spin-6.2.1-makefile.patch21
-rw-r--r--sci-mathematics/spin/files/spin-6.2.5-makefile.patch21
-rw-r--r--sci-mathematics/spin/spin-6.2.1.ebuild42
-rw-r--r--sci-mathematics/spin/spin-6.2.3.ebuild47
-rw-r--r--sci-mathematics/spin/spin-6.2.5.ebuild47
6 files changed, 0 insertions, 181 deletions
diff --git a/sci-mathematics/spin/Manifest b/sci-mathematics/spin/Manifest
index 3c3012f074a0..c1bdf87e9cba 100644
--- a/sci-mathematics/spin/Manifest
+++ b/sci-mathematics/spin/Manifest
@@ -1,4 +1 @@
-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
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
-}