1 |
commit: 4b55615587fff8d0a6f297929cd3e101676f59ea |
2 |
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
3 |
AuthorDate: Mon Oct 31 03:40:06 2022 +0000 |
4 |
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
5 |
CommitDate: Mon Oct 31 03:44:24 2022 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4b556155 |
7 |
|
8 |
sci-mathematics/coq-serapi: bump to 0.16.1 |
9 |
|
10 |
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> |
11 |
|
12 |
sci-mathematics/coq-serapi/Manifest | 1 + |
13 |
.../coq-serapi/coq-serapi-0.16.1.ebuild | 66 ++++++++++++++++++++++ |
14 |
2 files changed, 67 insertions(+) |
15 |
|
16 |
diff --git a/sci-mathematics/coq-serapi/Manifest b/sci-mathematics/coq-serapi/Manifest |
17 |
index d5754b91dac0..61f749d71918 100644 |
18 |
--- a/sci-mathematics/coq-serapi/Manifest |
19 |
+++ b/sci-mathematics/coq-serapi/Manifest |
20 |
@@ -1,2 +1,3 @@ |
21 |
DIST coq-serapi-0.15.0.tar.gz 268083 BLAKE2B aeea2cb8ed0f648f307715c464f2da90585718aa8afedf69b4e1c282265a12a3937044397787404e43286cebaaf1f48efde93d845cd71c1c97cc1b2e9a2a8835 SHA512 3ba1b63002d36a4c0e64f86170d31c4131dc02e8cb8573b39f03ed44d1e5f29c064c472bebad367b875b02e36ced6bfe8c5fb2023bd798b3b79f74a5a2f54189 |
22 |
DIST coq-serapi-0.16.0.tar.gz 270647 BLAKE2B 8189e70bfa4208a613ec7a89d6fc72c15a9c1c29ed49cd53a561b72b4b9e55196bcb92d5e962309d8843036c30ec177588e2db7dd091443947b02e78f2df1880 SHA512 56cc74e9d2b1e13c7ffb94b32e206671ac904f6d7e633c830175eed6f7cb75a2b212be916316784dc7d697c6e5779e27ed402d5e7edbee8b7d84d2c533dc38c3 |
23 |
+DIST coq-serapi-0.16.1.tar.gz 271068 BLAKE2B 5e832f4b2d2627938f2399b3eff111a15987d7733e30ba6f6328dc0110631a1c42a212c5ed464037f8c521c11c46bf8bb8665bfdd93b5969949cdec584a42e18 SHA512 348a984897f99dd4f08a409251eaf50f792aa1fe96d71d5f895f3153c05131b2d6b15f10a18cf704e978676562547d0869a310e8d6969ffe69d5bdf1c212b756 |
24 |
|
25 |
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.1.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.16.1.ebuild |
26 |
new file mode 100644 |
27 |
index 000000000000..fed96a12b2dc |
28 |
--- /dev/null |
29 |
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.1.ebuild |
30 |
@@ -0,0 +1,66 @@ |
31 |
+# Copyright 1999-2022 Gentoo Authors |
32 |
+# Distributed under the terms of the GNU General Public License v2 |
33 |
+ |
34 |
+EAPI=8 |
35 |
+ |
36 |
+COQV=8.16.0 |
37 |
+ |
38 |
+inherit elisp-common dune |
39 |
+ |
40 |
+DESCRIPTION="Serialization library and protocol for interaction with the Coq proof assistant" |
41 |
+HOMEPAGE="https://github.com/ejgallego/coq-serapi/" |
42 |
+# The tarball in SRC_URI is comprised of <supported coq>+<package version> |
43 |
+SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz |
44 |
+ -> ${P}.tar.gz" |
45 |
+S="${WORKDIR}"/${PN}-${COQV}-${PV} |
46 |
+ |
47 |
+LICENSE="GPL-3+" |
48 |
+SLOT="0/${PV}" |
49 |
+KEYWORDS="~amd64" |
50 |
+IUSE="emacs +ocamlopt test" |
51 |
+RESTRICT="!test? ( test )" |
52 |
+ |
53 |
+RDEPEND=" |
54 |
+ >=sci-mathematics/coq-${COQV}:= <sci-mathematics/coq-8.17:= |
55 |
+ >=dev-ml/ppx_sexp_conv-0.13.0:= <dev-ml/ppx_sexp_conv-0.15.0:= |
56 |
+ dev-ml/cmdliner:= |
57 |
+ dev-ml/ppx_compare:= |
58 |
+ dev-ml/ppx_deriving:= |
59 |
+ dev-ml/ppx_deriving_yojson:= |
60 |
+ dev-ml/ppx_hash:= |
61 |
+ dev-ml/ppx_import:= |
62 |
+ dev-ml/sexplib:= |
63 |
+ dev-ml/yojson:= |
64 |
+" |
65 |
+DEPEND="${RDEPEND}" |
66 |
+BDEPEND=" |
67 |
+ emacs? ( >=app-editors/emacs-23.1:* ) |
68 |
+ test? ( sci-mathematics/coq-mathcomp ) |
69 |
+" |
70 |
+ |
71 |
+PATCHES=( "${FILESDIR}"/${PN}-sertop.el-path.patch ) |
72 |
+SITEFILE="50sertop-gentoo.el" |
73 |
+ |
74 |
+src_compile() { |
75 |
+ dune_src_compile |
76 |
+ |
77 |
+ use emacs && elisp-compile sertop.el |
78 |
+} |
79 |
+ |
80 |
+src_install() { |
81 |
+ dune_src_install |
82 |
+ |
83 |
+ rm -r "${D}"/usr/share/emacs || die |
84 |
+ if use emacs ; then |
85 |
+ elisp-install ${PN} sertop.el{,c} |
86 |
+ elisp-site-file-install "${FILESDIR}/${SITEFILE}" |
87 |
+ fi |
88 |
+} |
89 |
+ |
90 |
+pkg_postinst() { |
91 |
+ use emacs && elisp-site-regen |
92 |
+} |
93 |
+ |
94 |
+pkg_postrm() { |
95 |
+ use emacs && elisp-site-regen |
96 |
+} |