1 |
commit: 1ecd094c36d2bd4c23d71325843a9f3d27259663 |
2 |
Author: Mark Wright <gienah <AT> gentoo <DOT> org> |
3 |
AuthorDate: Thu Aug 22 00:43:13 2019 +0000 |
4 |
Commit: Mark Wright <gienah <AT> gentoo <DOT> org> |
5 |
CommitDate: Thu Aug 22 00:43:13 2019 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1ecd094c |
7 |
|
8 |
sci-mathematics/spass: Fix #645394, remove old |
9 |
|
10 |
Closes: https://bugs.gentoo.org/645394 |
11 |
Package-Manager: Portage-2.3.71, Repoman-2.3.17 |
12 |
Signed-off-by: Mark Wright <gienah <AT> gentoo.org> |
13 |
|
14 |
sci-mathematics/spass/Manifest | 1 - |
15 |
sci-mathematics/spass/spass-3.7.ebuild | 81 ---------------------------------- |
16 |
sci-mathematics/spass/spass-3.9.ebuild | 8 ++-- |
17 |
3 files changed, 4 insertions(+), 86 deletions(-) |
18 |
|
19 |
diff --git a/sci-mathematics/spass/Manifest b/sci-mathematics/spass/Manifest |
20 |
index 9b2ec303ee4..00c5827991c 100644 |
21 |
--- a/sci-mathematics/spass/Manifest |
22 |
+++ b/sci-mathematics/spass/Manifest |
23 |
@@ -1,2 +1 @@ |
24 |
-DIST spass37.tgz 1340925 BLAKE2B 5b71778702f61a62e1ec6bd6136fb53ab50f746cab9437510a22141702384b425502c321651910f881c908d0d5640a223ae632e2e0c0f9dbd347cd7ee5c435f6 SHA512 5b4efd7b767dfee3f24e7917a6ec58ac240ab33bf601722eabd50af57637d8fdd62de9e34e7cd1cd98b8b7e371c9e2d47c8fa3e07c6e7ce2fa616a76646a4e12 |
25 |
DIST spass39.tgz 554633 BLAKE2B ca2215f205215805eace6abae82ad281bdadd75f2a52cfe3fed43cb15a4955a4e4d2375fc73a546592315540a7596494bc0df4c53996fd9299e901f68a81ddc8 SHA512 d7ea0697426c476f2e03b2f9078b7e060671067a67fad7144bb5887a2dd3f39e19e1888f121fce546b5d6ea9a4dc458d1cbec56b59c93507e7dc2d0afa25a89b |
26 |
|
27 |
diff --git a/sci-mathematics/spass/spass-3.7.ebuild b/sci-mathematics/spass/spass-3.7.ebuild |
28 |
deleted file mode 100644 |
29 |
index 6f16128d8a8..00000000000 |
30 |
--- a/sci-mathematics/spass/spass-3.7.ebuild |
31 |
+++ /dev/null |
32 |
@@ -1,81 +0,0 @@ |
33 |
-# Copyright 1999-2017 Gentoo Foundation |
34 |
-# Distributed under the terms of the GNU General Public License v2 |
35 |
- |
36 |
-EAPI=5 |
37 |
- |
38 |
-inherit versionator |
39 |
- |
40 |
-MY_PV=$(delete_all_version_separators "${PV}") |
41 |
-MY_P="${PN}${MY_PV}" |
42 |
- |
43 |
-DESCRIPTION="An Automated Theorem Prover for First-Order Logic with Equality" |
44 |
-HOMEPAGE="http://www.spass-prover.org/" |
45 |
-SRC_URI="http://www.spass-prover.org/download/sources/${MY_P}.tgz" |
46 |
- |
47 |
-LICENSE="BSD-2" |
48 |
-SLOT="0/${PV}" |
49 |
-KEYWORDS="~amd64 ~x86" |
50 |
-IUSE="doc examples isabelle" |
51 |
- |
52 |
-RDEPEND="isabelle? ( |
53 |
- >=sci-mathematics/isabelle-2011.1-r1:= |
54 |
- )" |
55 |
-DEPEND="${RDEPEND}" |
56 |
- |
57 |
-S="${WORKDIR}/SPASS-${PV}" |
58 |
- |
59 |
-src_prepare() { |
60 |
- sed \ |
61 |
- -e "s:-O3:${CFLAGS}:g" \ |
62 |
- -i configure || die |
63 |
-} |
64 |
- |
65 |
-src_install() { |
66 |
- default |
67 |
- |
68 |
- if use examples; then |
69 |
- insinto /usr/share/${PN}/ |
70 |
- doins -r examples |
71 |
- fi |
72 |
- |
73 |
- if use isabelle; then |
74 |
- ewarn "All open source versions of spass are broken with Isabelle 2016.1" |
75 |
- ISABELLE_HOME="$(isabelle getenv ISABELLE_HOME | cut -d'=' -f 2)" |
76 |
- [[ -n "${ISABELLE_HOME}" ]] || die "ISABELLE_HOME empty" |
77 |
- dodir "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc" |
78 |
- cat <<- EOF >> "${S}/settings" |
79 |
- SPASS_HOME="${ROOT}usr/bin" |
80 |
- SPASS_VERSION="${PV}" |
81 |
- EOF |
82 |
- insinto "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc" |
83 |
- doins "${S}/settings" |
84 |
- fi |
85 |
-} |
86 |
- |
87 |
-pkg_postinst() { |
88 |
- if use isabelle; then |
89 |
- if [ -f "${ROOT}etc/isabelle/components" ]; then |
90 |
- if egrep "contrib/${PN}-[0-9.]*" "${ROOT}etc/isabelle/components"; then |
91 |
- sed -e "/contrib\/${PN}-[0-9.]*/d" \ |
92 |
- -i "${ROOT}etc/isabelle/components" |
93 |
- fi |
94 |
- cat <<- EOF >> "${ROOT}etc/isabelle/components" |
95 |
- contrib/${PN}-${PV} |
96 |
- EOF |
97 |
- fi |
98 |
- fi |
99 |
-} |
100 |
- |
101 |
-pkg_postrm() { |
102 |
- if use isabelle; then |
103 |
- if [ ! -f "${ROOT}usr/bin/SPASS" ]; then |
104 |
- if [ -f "${ROOT}etc/isabelle/components" ]; then |
105 |
- # Note: this sed should only match the version of this ebuild |
106 |
- # Which is what we want as we do not want to remove the line |
107 |
- # of a new spass being installed during an upgrade. |
108 |
- sed -e "/contrib\/${PN}-${PV}/d" \ |
109 |
- -i "${ROOT}etc/isabelle/components" |
110 |
- fi |
111 |
- fi |
112 |
- fi |
113 |
-} |
114 |
|
115 |
diff --git a/sci-mathematics/spass/spass-3.9.ebuild b/sci-mathematics/spass/spass-3.9.ebuild |
116 |
index 8fdbb7ebb63..a32001e22b9 100644 |
117 |
--- a/sci-mathematics/spass/spass-3.9.ebuild |
118 |
+++ b/sci-mathematics/spass/spass-3.9.ebuild |
119 |
@@ -1,11 +1,11 @@ |
120 |
-# Copyright 1999-2017 Gentoo Foundation |
121 |
+# Copyright 1999-2019 Gentoo Authors |
122 |
# Distributed under the terms of the GNU General Public License v2 |
123 |
|
124 |
-EAPI=6 |
125 |
+EAPI=7 |
126 |
|
127 |
-inherit versionator |
128 |
+inherit toolchain-funcs |
129 |
|
130 |
-MY_PV=$(delete_all_version_separators "${PV}") |
131 |
+MY_PV=$(ver_rs 1- '' "${PV}") |
132 |
MY_P="${PN}${MY_PV}" |
133 |
|
134 |
DESCRIPTION="An Automated Theorem Prover for First-Order Logic with Equality" |