1 |
commit: 983a017561dee1f3d28f9e3cc71f40ffdccbec41 |
2 |
Author: Mark Wright <gienah <AT> gentoo <DOT> org> |
3 |
AuthorDate: Tue Sep 24 09:45:23 2019 +0000 |
4 |
Commit: Mark Wright <gienah <AT> gentoo <DOT> org> |
5 |
CommitDate: Tue Sep 24 09:45:23 2019 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=983a0175 |
7 |
|
8 |
sci-mathematics/coq: Bump to 8.9.1 |
9 |
|
10 |
Thanks to Han and Anton Kochkov for requesting the bump. |
11 |
|
12 |
Closes: https://bugs.gentoo.org/653864 |
13 |
Closes: https://bugs.gentoo.org/672038 |
14 |
Package-Manager: Portage-2.3.76, Repoman-2.3.17 |
15 |
Signed-off-by: Mark Wright <gienah <AT> gentoo.org> |
16 |
|
17 |
sci-mathematics/coq/Manifest | 1 + |
18 |
sci-mathematics/coq/coq-8.9.1.ebuild | 86 ++++++++++++++++++++++++++++++++++++ |
19 |
2 files changed, 87 insertions(+) |
20 |
|
21 |
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest |
22 |
index 7e3dbefa8fc..758414ac5b9 100644 |
23 |
--- a/sci-mathematics/coq/Manifest |
24 |
+++ b/sci-mathematics/coq/Manifest |
25 |
@@ -1,2 +1,3 @@ |
26 |
DIST coq-8.6.1.tar.gz 5588811 BLAKE2B 1016e54ef9b42a8534add55ab057454fad35b3fe103ba877689489c7d9cf43d76c1fbee123801d91035d353a882120650f94c433d9ee1daa878b8c819609c949 SHA512 814ab76a06ca15f927081428da74add4bc67290199fa011853b9c68a00cdefaf813b10fbac18a434f4504fce8f2173eb544080bf6f50d62caa41bb8724b13083 |
27 |
DIST coq-8.6.tar.gz 5538848 BLAKE2B 025d6598a5155712662ce20a56804b75c236f1d1dc4ed81e779aaf2916d5cb525acfcbef9b5960fc5b8b44f2e2290c9f7e5c2d6e84726400a9888587ee29cd16 SHA512 9f5f4913fda8cf83683fec9398b42d4567207c3d4b52b4638d5e09a24ed25a43905fb57a9fac1bb9f9d681bd47f3560e1da74e79348b3a3fd93e2e8c686cebae |
28 |
+DIST coq-8.9.1.tar.gz 6001970 BLAKE2B f65498e2485c59f4f95d2afeac35750ebf85b5af6db7c269a11635f2414df483d4cb159557060c9118de25f4922176f54d2e5c6f12174599371348341cb4d80f SHA512 66344f801b955d1b6daf3ab1d704551070c95cf9032ae74f15fb33f7ec313812b3e05c0ec277a2eb448e3fdfd9721df06d36612e2fb4928b6530d70147f1d983 |
29 |
|
30 |
diff --git a/sci-mathematics/coq/coq-8.9.1.ebuild b/sci-mathematics/coq/coq-8.9.1.ebuild |
31 |
new file mode 100644 |
32 |
index 00000000000..a7de5198ee4 |
33 |
--- /dev/null |
34 |
+++ b/sci-mathematics/coq/coq-8.9.1.ebuild |
35 |
@@ -0,0 +1,86 @@ |
36 |
+# Copyright 1999-2019 Gentoo Authors |
37 |
+# Distributed under the terms of the GNU General Public License v2 |
38 |
+ |
39 |
+EAPI="7" |
40 |
+ |
41 |
+inherit eutils multilib |
42 |
+ |
43 |
+MY_PV=${PV/_p/pl} |
44 |
+MY_P=${PN}-${MY_PV} |
45 |
+ |
46 |
+DESCRIPTION="Proof assistant written in O'Caml" |
47 |
+HOMEPAGE="http://coq.inria.fr/" |
48 |
+SRC_URI="https://github.com/coq/coq/archive/V${MY_PV}.tar.gz -> ${P}.tar.gz" |
49 |
+ |
50 |
+LICENSE="LGPL-2.1" |
51 |
+SLOT="0" |
52 |
+KEYWORDS="~amd64 ~ppc ~x86" |
53 |
+IUSE="gtk debug +ocamlopt doc" |
54 |
+ |
55 |
+RESTRICT=test |
56 |
+ |
57 |
+# Note: RDEPEND will require dev-ml/num:= for >=dev-lang/ocaml-4.0.7 |
58 |
+RDEPEND=" |
59 |
+ >=dev-lang/ocaml-4.0.5:=[ocamlopt?] |
60 |
+ dev-ml/camlp5:=[ocamlopt?] |
61 |
+ gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] )" |
62 |
+DEPEND="${RDEPEND} |
63 |
+ dev-ml/findlib |
64 |
+ doc? ( |
65 |
+ media-libs/netpbm[png,zlib] |
66 |
+ virtual/latex-base |
67 |
+ dev-tex/hevea |
68 |
+ dev-tex/xcolor |
69 |
+ dev-texlive/texlive-pictures |
70 |
+ dev-texlive/texlive-mathscience |
71 |
+ dev-texlive/texlive-latexextra |
72 |
+ )" |
73 |
+ |
74 |
+S=${WORKDIR}/${MY_P} |
75 |
+ |
76 |
+src_configure() { |
77 |
+ ocaml_lib=$(ocamlc -where) |
78 |
+ local myconf=( |
79 |
+ -prefix /usr |
80 |
+ -bindir /usr/bin |
81 |
+ -libdir /usr/$(get_libdir)/coq |
82 |
+ -mandir /usr/share/man |
83 |
+ -coqdocdir /usr/$(get_libdir)/coq/coqdoc |
84 |
+ -docdir /usr/share/doc/${PF} |
85 |
+ -configdir /etc/xdg/${PN} |
86 |
+ -lablgtkdir ${ocaml_lib}/lablgtk2 |
87 |
+ ) |
88 |
+ |
89 |
+ use debug && myconf+=( -debug ) |
90 |
+ use doc || myconf+=( -with-doc no ) |
91 |
+ |
92 |
+ if use gtk; then |
93 |
+ if use ocamlopt; then |
94 |
+ myconf+=( -coqide opt ) |
95 |
+ else |
96 |
+ myconf+=( -coqide byte ) |
97 |
+ fi |
98 |
+ else |
99 |
+ myconf+=( -coqide no ) |
100 |
+ fi |
101 |
+ |
102 |
+ use ocamlopt || myconf+=( -byte-only ) |
103 |
+ |
104 |
+ export CAML_LD_LIBRARY_PATH="${S}/kernel/byterun/" |
105 |
+ ./configure ${myconf[@]} || die "configure failed" |
106 |
+} |
107 |
+ |
108 |
+src_compile() { |
109 |
+ emake STRIP="true" -j1 world VERBOSE=1 |
110 |
+} |
111 |
+ |
112 |
+src_test() { |
113 |
+ emake STRIP="true" check VERBOSE=1 |
114 |
+} |
115 |
+ |
116 |
+src_install() { |
117 |
+ emake STRIP="true" COQINSTALLPREFIX="${D}" install VERBOSE=1 |
118 |
+ dodoc README.md CREDITS CHANGES.md |
119 |
+ |
120 |
+ use gtk && make_desktop_entry "coqide" "Coq IDE" "${EPREFIX}/usr/share/coq/coq.png" |
121 |
+} |