1 |
commit: cd5b9f0e04cde405529db99df0ff76fb3ae47fbe |
2 |
Author: Harri Nieminen <moikkis <AT> gmail <DOT> com> |
3 |
AuthorDate: Tue Mar 27 15:17:04 2018 +0000 |
4 |
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> |
5 |
CommitDate: Thu Mar 29 19:22:07 2018 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cd5b9f0e |
7 |
|
8 |
sci-mathematics/spin: Remove old |
9 |
|
10 |
Closes: https://github.com/gentoo/gentoo/pull/7646 |
11 |
Package-Manager: Portage-2.3.24, Repoman-2.3.6 |
12 |
|
13 |
sci-mathematics/spin/Manifest | 3 -- |
14 |
.../spin/files/spin-6.2.1-makefile.patch | 21 ---------- |
15 |
.../spin/files/spin-6.2.5-makefile.patch | 21 ---------- |
16 |
sci-mathematics/spin/spin-6.2.1.ebuild | 42 ------------------- |
17 |
sci-mathematics/spin/spin-6.2.3.ebuild | 47 ---------------------- |
18 |
sci-mathematics/spin/spin-6.2.5.ebuild | 47 ---------------------- |
19 |
6 files changed, 181 deletions(-) |
20 |
|
21 |
diff --git a/sci-mathematics/spin/Manifest b/sci-mathematics/spin/Manifest |
22 |
index 3c3012f074a..c1bdf87e9cb 100644 |
23 |
--- a/sci-mathematics/spin/Manifest |
24 |
+++ b/sci-mathematics/spin/Manifest |
25 |
@@ -1,4 +1 @@ |
26 |
-DIST spin621.tar.gz 463101 BLAKE2B 8c786ef7e224b1035dbdb55a826e360537b78c76e35a532ce5930df851a92ee8070676b54831466a00ca85aaddeb21c8ab457bef733367b93e5d7939ce58b362 SHA512 b10a306bc48b964f8fefec07ee9745ae62faee8af3a62d4f7cc24ee808f69cbc7705b9f33782f76dd28e3ab7a5eeb645759763edc702bf8cb81645ddf3f796b7 |
27 |
-DIST spin623.tar.gz 465637 BLAKE2B 2a8dbd34eeaf2b56178d4624fb40f41a6ca174cd09e6c5df14a2a1bfea4bc392dfe0d939a006ff85e7d35c60bac1eb5d0cabb8fdbd09c2d67613713723a4c752 SHA512 7a4faeee95a8c10b6a875e6bbfe6fdab91f982401601cd33d2701a8001ee27aa21738fe10e01720505b54f9b1369e0e79ae19bdf7909b0ef23bc49f70d76992b |
28 |
-DIST spin625.tar.gz 468314 BLAKE2B 58287bb1055bf19c104d8d8f321eab27daaa30bc08575bba40ded4756f4d05f243365fe003df72934dc771a00cfb5ee611cb2161007d9a20660d7b029a96deb4 SHA512 1679fb52981da762f6a5955116bfa0906bf12de7a219319fedf7ba068ba0c2ad51aa6a49d3b30115391f7070c7169c7c0753a23ef95257d350a9160e2d1f3ded |
29 |
DIST spin645.tar.gz 672549 BLAKE2B 5b0f7d5ef8fbec84a4423938c10272f804084d05d470a69ef954ee261752b238b16643054d934617861fb02ef4a318c708a8464102572d34b71c883cb84fe450 SHA512 77bc35bb852c0448915c655bf11910d0b226d30d66abaa63311e6227de03f920ca026e7399cbeebdae631368fd8091f1e8330bd3094bd4febdf7d5c7a81834ad |
30 |
|
31 |
diff --git a/sci-mathematics/spin/files/spin-6.2.1-makefile.patch b/sci-mathematics/spin/files/spin-6.2.1-makefile.patch |
32 |
deleted file mode 100644 |
33 |
index 9133f54f9fa..00000000000 |
34 |
--- a/sci-mathematics/spin/files/spin-6.2.1-makefile.patch |
35 |
+++ /dev/null |
36 |
@@ -1,21 +0,0 @@ |
37 |
---- makefile.orig 2012-05-21 14:59:56.000000000 +0200 |
38 |
-+++ makefile 2012-05-21 15:00:47.000000000 +0200 |
39 |
-@@ -13,9 +13,6 @@ |
40 |
- |
41 |
- # see also ./make_pc for a simpler script, not requiring make |
42 |
- |
43 |
--CC=gcc |
44 |
--CFLAGS=-O2 -DNXT # on some systems add: -I/usr/include |
45 |
-- |
46 |
- # CC=gcc -m32 # 32bit compilation on a 64bit system |
47 |
- # for a more picky compilation use gcc-4 and: |
48 |
- # CFLAGS=-std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -g -DNXT -DPC |
49 |
-@@ -43,7 +40,7 @@ |
50 |
- tl_mem.o tl_rewrt.o tl_cache.o |
51 |
- |
52 |
- spin: $(SPIN_OS) $(TL_OS) spin.o |
53 |
-- $(CC) $(CFLAGS) -o spin spin.o $(SPIN_OS) $(TL_OS) |
54 |
-+ $(CC) $(CFLAGS) $(LDFLAGS) -o spin spin.o $(SPIN_OS) $(TL_OS) |
55 |
- |
56 |
- spin.o: spin.y |
57 |
- $(YACC) $(YFLAGS) spin.y |
58 |
|
59 |
diff --git a/sci-mathematics/spin/files/spin-6.2.5-makefile.patch b/sci-mathematics/spin/files/spin-6.2.5-makefile.patch |
60 |
deleted file mode 100644 |
61 |
index 585e78b6f55..00000000000 |
62 |
--- a/sci-mathematics/spin/files/spin-6.2.5-makefile.patch |
63 |
+++ /dev/null |
64 |
@@ -1,21 +0,0 @@ |
65 |
---- makefile.orig 2013-05-05 01:21:02.000000000 +0200 |
66 |
-+++ makefile 2013-11-18 01:07:20.000000000 +0100 |
67 |
-@@ -13,9 +13,6 @@ |
68 |
- |
69 |
- # see also ./make_pc for a simpler script, not requiring make |
70 |
- |
71 |
--CC=gcc |
72 |
--CFLAGS=-O2 -DNXT # on some systems add: -I/usr/include |
73 |
-- |
74 |
- # CFLAGS=-g -O2 -DNXT |
75 |
- |
76 |
- # CC=gcc -m32 # 32bit compilation on a 64bit system |
77 |
-@@ -45,7 +42,7 @@ |
78 |
- tl_mem.o tl_rewrt.o tl_cache.o |
79 |
- |
80 |
- spin: $(SPIN_OS) $(TL_OS) spin.o |
81 |
-- $(CC) $(CFLAGS) -o spin spin.o $(SPIN_OS) $(TL_OS) |
82 |
-+ $(CC) $(CFLAGS) $(LDFLAGS) -o spin spin.o $(SPIN_OS) $(TL_OS) |
83 |
- |
84 |
- spin.o: spin.y |
85 |
- $(YACC) $(YFLAGS) spin.y |
86 |
|
87 |
diff --git a/sci-mathematics/spin/spin-6.2.1.ebuild b/sci-mathematics/spin/spin-6.2.1.ebuild |
88 |
deleted file mode 100644 |
89 |
index 201885a95b4..00000000000 |
90 |
--- a/sci-mathematics/spin/spin-6.2.1.ebuild |
91 |
+++ /dev/null |
92 |
@@ -1,42 +0,0 @@ |
93 |
-# Copyright 1999-2014 Gentoo Foundation |
94 |
-# Distributed under the terms of the GNU General Public License v2 |
95 |
- |
96 |
-EAPI="4" |
97 |
- |
98 |
-inherit eutils versionator |
99 |
- |
100 |
-MY_PV=$(replace_all_version_separators '') |
101 |
-MY_P="${PN}${MY_PV}" |
102 |
- |
103 |
-DESCRIPTION="Tool for formal verification of distributed software systems" |
104 |
-HOMEPAGE="http://spinroot.com/" |
105 |
-SRC_URI="http://spinroot.com/spin/Src/${MY_P}.tar.gz" |
106 |
- |
107 |
-LICENSE="|| ( spin-commercial spin-educational )" |
108 |
-SLOT="0" |
109 |
-KEYWORDS="~amd64 ~x86" |
110 |
-IUSE="graphviz tk" |
111 |
- |
112 |
-DEPEND="sys-devel/bison" |
113 |
-RDEPEND="sys-devel/gcc |
114 |
- sys-process/time |
115 |
- tk? ( |
116 |
- dev-lang/tk |
117 |
- graphviz? ( media-gfx/graphviz ) |
118 |
- )" |
119 |
- |
120 |
-S="${WORKDIR}/Spin/Src${PV}" |
121 |
- |
122 |
-src_prepare() { |
123 |
- epatch "${FILESDIR}/${PN}-6.2.1-makefile.patch" |
124 |
-} |
125 |
- |
126 |
-src_install() { |
127 |
- dobin spin |
128 |
- doman ../Man/spin.1 |
129 |
- dodoc ../Doc/* |
130 |
- if use tk; then |
131 |
- newbin "${WORKDIR}/Spin/iSpin/ispin.tcl" ispin |
132 |
- make_desktop_entry ispin |
133 |
- fi |
134 |
-} |
135 |
|
136 |
diff --git a/sci-mathematics/spin/spin-6.2.3.ebuild b/sci-mathematics/spin/spin-6.2.3.ebuild |
137 |
deleted file mode 100644 |
138 |
index 906dd06fff9..00000000000 |
139 |
--- a/sci-mathematics/spin/spin-6.2.3.ebuild |
140 |
+++ /dev/null |
141 |
@@ -1,47 +0,0 @@ |
142 |
-# Copyright 1999-2014 Gentoo Foundation |
143 |
-# Distributed under the terms of the GNU General Public License v2 |
144 |
- |
145 |
-EAPI="5" |
146 |
- |
147 |
-inherit eutils toolchain-funcs versionator |
148 |
- |
149 |
-MY_PV=$(replace_all_version_separators '') |
150 |
-MY_P="${PN}${MY_PV}" |
151 |
- |
152 |
-DESCRIPTION="Tool for formal verification of distributed software systems" |
153 |
-HOMEPAGE="http://spinroot.com/" |
154 |
-SRC_URI="http://spinroot.com/spin/Src/${MY_P}.tar.gz" |
155 |
- |
156 |
-LICENSE="|| ( spin-commercial spin-educational )" |
157 |
-SLOT="0" |
158 |
-KEYWORDS="~amd64 ~x86" |
159 |
-IUSE="graphviz tk" |
160 |
- |
161 |
-DEPEND="sys-devel/bison" |
162 |
-RDEPEND="sys-devel/gcc |
163 |
- sys-process/time |
164 |
- tk? ( |
165 |
- dev-lang/tk |
166 |
- graphviz? ( media-gfx/graphviz ) |
167 |
- )" |
168 |
- |
169 |
-S="${WORKDIR}/Spin/Src${PV}" |
170 |
- |
171 |
-src_prepare() { |
172 |
- epatch "${FILESDIR}/${PN}-6.2.1-makefile.patch" |
173 |
-} |
174 |
- |
175 |
-src_compile() { |
176 |
- tc-export CC |
177 |
- default |
178 |
-} |
179 |
- |
180 |
-src_install() { |
181 |
- dobin spin |
182 |
- doman ../Man/spin.1 |
183 |
- dodoc ../Doc/* |
184 |
- if use tk; then |
185 |
- newbin "${WORKDIR}/Spin/iSpin/ispin.tcl" ispin |
186 |
- make_desktop_entry ispin |
187 |
- fi |
188 |
-} |
189 |
|
190 |
diff --git a/sci-mathematics/spin/spin-6.2.5.ebuild b/sci-mathematics/spin/spin-6.2.5.ebuild |
191 |
deleted file mode 100644 |
192 |
index 435fb87b5c1..00000000000 |
193 |
--- a/sci-mathematics/spin/spin-6.2.5.ebuild |
194 |
+++ /dev/null |
195 |
@@ -1,47 +0,0 @@ |
196 |
-# Copyright 1999-2014 Gentoo Foundation |
197 |
-# Distributed under the terms of the GNU General Public License v2 |
198 |
- |
199 |
-EAPI="5" |
200 |
- |
201 |
-inherit eutils toolchain-funcs versionator |
202 |
- |
203 |
-MY_PV=$(replace_all_version_separators '') |
204 |
-MY_P="${PN}${MY_PV}" |
205 |
- |
206 |
-DESCRIPTION="Tool for formal verification of distributed software systems" |
207 |
-HOMEPAGE="http://spinroot.com/" |
208 |
-SRC_URI="http://spinroot.com/spin/Src/${MY_P}.tar.gz" |
209 |
- |
210 |
-LICENSE="|| ( spin-commercial spin-educational )" |
211 |
-SLOT="0" |
212 |
-KEYWORDS="~amd64 ~x86" |
213 |
-IUSE="graphviz tk" |
214 |
- |
215 |
-DEPEND="sys-devel/bison" |
216 |
-RDEPEND="sys-devel/gcc |
217 |
- sys-process/time |
218 |
- tk? ( |
219 |
- dev-lang/tk |
220 |
- graphviz? ( media-gfx/graphviz ) |
221 |
- )" |
222 |
- |
223 |
-S="${WORKDIR}/Spin/Src${PV}" |
224 |
- |
225 |
-src_prepare() { |
226 |
- epatch "${FILESDIR}/${PN}-6.2.5-makefile.patch" |
227 |
-} |
228 |
- |
229 |
-src_compile() { |
230 |
- tc-export CC |
231 |
- default |
232 |
-} |
233 |
- |
234 |
-src_install() { |
235 |
- dobin spin |
236 |
- doman ../Man/spin.1 |
237 |
- dodoc ../Doc/* |
238 |
- if use tk; then |
239 |
- newbin "${WORKDIR}/Spin/iSpin/ispin.tcl" ispin |
240 |
- make_desktop_entry ispin |
241 |
- fi |
242 |
-} |