1 |
commit: f0437170eb42e30839073788456e18d5e695665b |
2 |
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org> |
3 |
AuthorDate: Fri Mar 15 07:24:05 2019 +0000 |
4 |
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> |
5 |
CommitDate: Fri Mar 15 07:24:59 2019 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f0437170 |
7 |
|
8 |
sci-mathematics/why3-for-spark: use virtual/emacs on dependency |
9 |
|
10 |
Closes: https://bugs.gentoo.org/680312 |
11 |
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> |
12 |
Package-Manager: Portage-2.3.51, Repoman-2.3.11 |
13 |
|
14 |
sci-mathematics/why3-for-spark/Manifest | 1 - |
15 |
.../why3-for-spark/why3-for-spark-2017.ebuild | 83 ---------------------- |
16 |
.../why3-for-spark/why3-for-spark-2018.ebuild | 4 +- |
17 |
3 files changed, 2 insertions(+), 86 deletions(-) |
18 |
|
19 |
diff --git a/sci-mathematics/why3-for-spark/Manifest b/sci-mathematics/why3-for-spark/Manifest |
20 |
index e6505ed60c7..8f9c5c3c62d 100644 |
21 |
--- a/sci-mathematics/why3-for-spark/Manifest |
22 |
+++ b/sci-mathematics/why3-for-spark/Manifest |
23 |
@@ -1,2 +1 @@ |
24 |
-DIST why3-for-spark-gpl-2017-src.tar.gz 9248235 BLAKE2B d9eb7201dfd5962c88ac8995e3cd800bf318f575a5e6ff7d0219941c0f0c9052e6b2c95c7c16fcd81b90cac647d503041bf16560bd44b58e7e0ced1ef2314bd2 SHA512 8f444402f6c1744cd7c565117732935791b1ae7996a94314c40a66d125eae8a81f2257314246c94fd29d3cd16abcff6a50a152a1191a4aae39a2c8a8d7c3b9e1 |
25 |
DIST why3-for-spark-gpl-2018-src.tar.gz 7682767 BLAKE2B 0b0272ca4d5519ca402990b234d0847378bcd2a0949fea78ea10e355233a16aebe79b938cdf8e4daadabb909171cab83b9d6ccacf9f2dc1c0b57bb6da6fd1fe0 SHA512 fc798acf343484fd8e70f470a318753c9a0e9967ff579f20ec185bf3c2a75e7a4a556388fc86a378610ce4a467f3e722c6f610da34d4c33bc3d6b10551731f07 |
26 |
|
27 |
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild |
28 |
deleted file mode 100644 |
29 |
index d7e68eab372..00000000000 |
30 |
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild |
31 |
+++ /dev/null |
32 |
@@ -1,83 +0,0 @@ |
33 |
-# Copyright 1999-2018 Gentoo Authors |
34 |
-# Distributed under the terms of the GNU General Public License v2 |
35 |
- |
36 |
-EAPI=6 |
37 |
- |
38 |
-inherit autotools |
39 |
- |
40 |
-MYP=${PN}-gpl-${PV}-src |
41 |
- |
42 |
-DESCRIPTION="Platform for deductive program verification" |
43 |
-HOMEPAGE="http://why3.lri.fr/" |
44 |
-SRC_URI="http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deed055 |
45 |
- -> ${MYP}.tar.gz" |
46 |
- |
47 |
-LICENSE="GPL-3" |
48 |
-SLOT="0" |
49 |
-KEYWORDS="amd64" |
50 |
-IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt profiling zarith zip" |
51 |
-RESTRICT=strip |
52 |
- |
53 |
-DEPEND=">=dev-lang/ocaml-4.02.3[ocamlopt?] |
54 |
- dev-ml/menhir |
55 |
- coq? ( sci-mathematics/coq ) |
56 |
- doc? ( dev-tex/rubber ) |
57 |
- gtk? ( dev-ml/lablgtk[sourceview] ) |
58 |
- emacs? ( app-editors/emacs:* ) |
59 |
- html? ( dev-tex/hevea ) |
60 |
- hypothesis-selection? ( dev-ml/ocamlgraph ) |
61 |
- zarith? ( dev-ml/zarith ) |
62 |
- zip? ( >=dev-ml/camlzip-1.07 )" |
63 |
-RDEPEND="${DEPEND}" |
64 |
- |
65 |
-S="${WORKDIR}"/${MYP} |
66 |
- |
67 |
-PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) |
68 |
- |
69 |
-REQUIRED_USE="html? ( doc )" |
70 |
- |
71 |
-src_prepare() { |
72 |
- mv configure.{in,ac} || die |
73 |
- sed -i \ |
74 |
- -e "s:configure.in:configure.ac:g" \ |
75 |
- Makefile.in |
76 |
- default |
77 |
- eautoreconf |
78 |
-} |
79 |
- |
80 |
-src_configure() { |
81 |
- econf \ |
82 |
- --disable-pvs-libs \ |
83 |
- --disable-isabelle-libs \ |
84 |
- $(use_enable coq coq-libs) \ |
85 |
- $(use_enable coq coq-tactic) \ |
86 |
- $(use_enable doc) \ |
87 |
- $(use_enable emacs emacs-compilation) \ |
88 |
- $(use_enable gtk ide) \ |
89 |
- $(use_enable html html-doc) \ |
90 |
- $(use_enable hypothesis-selection) \ |
91 |
- $(use_enable ocamlopt native-code) \ |
92 |
- $(use_enable profiling) \ |
93 |
- $(use_enable zarith) \ |
94 |
- $(use_enable zip) |
95 |
-} |
96 |
- |
97 |
-src_compile() { |
98 |
- default |
99 |
- if use ocamlopt; then |
100 |
- emake byte |
101 |
- fi |
102 |
- use doc && emake doc |
103 |
-} |
104 |
- |
105 |
-src_install() { |
106 |
- default |
107 |
- emake DESTDIR="${D}" install-lib |
108 |
- emake DESTDIR="${D}" install_spark2014_dev |
109 |
- docompress -x /usr/share/doc/${PF}/examples |
110 |
- dodoc -r examples |
111 |
- if use doc; then |
112 |
- dodoc doc/manual.pdf |
113 |
- use html && dodoc -r doc/html |
114 |
- fi |
115 |
-} |
116 |
|
117 |
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild |
118 |
index da20dbb96af..5400b37276c 100644 |
119 |
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild |
120 |
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild |
121 |
@@ -1,4 +1,4 @@ |
122 |
-# Copyright 1999-2018 Gentoo Authors |
123 |
+# Copyright 1999-2019 Gentoo Authors |
124 |
# Distributed under the terms of the GNU General Public License v2 |
125 |
|
126 |
EAPI=6 |
127 |
@@ -23,7 +23,7 @@ DEPEND=">=dev-lang/ocaml-4.02.3[ocamlopt?] |
128 |
coq? ( sci-mathematics/coq ) |
129 |
doc? ( dev-tex/rubber ) |
130 |
gtk? ( dev-ml/lablgtk[sourceview] ) |
131 |
- emacs? ( app-editors/emacs:* ) |
132 |
+ emacs? ( virtual/emacs ) |
133 |
html? ( dev-tex/hevea ) |
134 |
hypothesis-selection? ( dev-ml/ocamlgraph ) |
135 |
zarith? ( dev-ml/zarith ) |