1 |
commit: 2a032e6e068371622508d3e2617b5841f87e5067 |
2 |
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
3 |
AuthorDate: Tue Mar 14 22:30:40 2023 +0000 |
4 |
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
5 |
CommitDate: Wed Mar 15 00:25:40 2023 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2a032e6e |
7 |
|
8 |
dev-lang/elpi: new package; add 1.16.9 |
9 |
|
10 |
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> |
11 |
|
12 |
dev-lang/elpi/Manifest | 1 + |
13 |
dev-lang/elpi/elpi-1.16.9.ebuild | 47 ++++++++++++++++++++++++++++++++++++++++ |
14 |
dev-lang/elpi/metadata.xml | 27 +++++++++++++++++++++++ |
15 |
3 files changed, 75 insertions(+) |
16 |
|
17 |
diff --git a/dev-lang/elpi/Manifest b/dev-lang/elpi/Manifest |
18 |
new file mode 100644 |
19 |
index 000000000000..3c296b8fd485 |
20 |
--- /dev/null |
21 |
+++ b/dev-lang/elpi/Manifest |
22 |
@@ -0,0 +1 @@ |
23 |
+DIST elpi-1.16.9.tar.gz 2601448 BLAKE2B 37dd239cae112e6ec1c913dc9fdba60d829c0bbf61876f9c98b927d5d359ed5376ea1663da7e6c808bd62d61380973de7ae649d4a0dddef172f8d2599cc18c35 SHA512 89896c0f5d2e9a8ec6d7ef666a0d11c12b670e6951e277c2d29095b3fcbb5a977416cd1876c4c2d8c14b826782b095d3a453db03bebe3438f0eeacc08c7c87fc |
24 |
|
25 |
diff --git a/dev-lang/elpi/elpi-1.16.9.ebuild b/dev-lang/elpi/elpi-1.16.9.ebuild |
26 |
new file mode 100644 |
27 |
index 000000000000..184849b51e67 |
28 |
--- /dev/null |
29 |
+++ b/dev-lang/elpi/elpi-1.16.9.ebuild |
30 |
@@ -0,0 +1,47 @@ |
31 |
+# Copyright 1999-2023 Gentoo Authors |
32 |
+# Distributed under the terms of the GNU General Public License v2 |
33 |
+ |
34 |
+EAPI=8 |
35 |
+ |
36 |
+inherit dune |
37 |
+ |
38 |
+DESCRIPTION="Embeddable Lambda Prolog Interpreter in OCaml" |
39 |
+HOMEPAGE="https://github.com/LPCIC/elpi/" |
40 |
+ |
41 |
+if [[ ${PV} == *9999* ]] ; then |
42 |
+ inherit git-r3 |
43 |
+ EGIT_REPO_URI="https://github.com/LPCIC/${PN}.git" |
44 |
+else |
45 |
+ SRC_URI="https://github.com/LPCIC/${PN}/archive/v${PV}.tar.gz |
46 |
+ -> ${P}.tar.gz" |
47 |
+ KEYWORDS="~amd64" |
48 |
+fi |
49 |
+ |
50 |
+LICENSE="LGPL-2.1+" |
51 |
+SLOT="0/${PV}" |
52 |
+IUSE="+ocamlopt test" |
53 |
+RESTRICT="!test? ( test )" |
54 |
+ |
55 |
+RDEPEND=" |
56 |
+ >=dev-lang/ocaml-4.08.0:= |
57 |
+ >=dev-ml/menhir-20211230:= |
58 |
+ dev-ml/atd:= |
59 |
+ dev-ml/ppx_deriving:= |
60 |
+ dev-ml/ppxlib:= |
61 |
+ dev-ml/re:= |
62 |
+ dev-ml/stdlib-shims:= |
63 |
+" |
64 |
+DEPEND="${RDEPEND}" |
65 |
+BDEPEND=" |
66 |
+ test? ( |
67 |
+ dev-ml/ANSITerminal |
68 |
+ dev-ml/cmdliner |
69 |
+ ) |
70 |
+" |
71 |
+ |
72 |
+DOCS=( AUTHORS.md CHANGES.md ELPI.md INCOMPATIBILITIES.md README.md ) |
73 |
+ |
74 |
+src_install() { |
75 |
+ dune_src_install |
76 |
+ einstalldocs |
77 |
+} |
78 |
|
79 |
diff --git a/dev-lang/elpi/metadata.xml b/dev-lang/elpi/metadata.xml |
80 |
new file mode 100644 |
81 |
index 000000000000..30a70f111a2f |
82 |
--- /dev/null |
83 |
+++ b/dev-lang/elpi/metadata.xml |
84 |
@@ -0,0 +1,27 @@ |
85 |
+<?xml version="1.0" encoding="UTF-8"?> |
86 |
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> |
87 |
+ |
88 |
+<pkgmetadata> |
89 |
+ <maintainer type="project"> |
90 |
+ <email>ml@g.o</email> |
91 |
+ <name>ML</name> |
92 |
+ </maintainer> |
93 |
+ <maintainer type="project"> |
94 |
+ <email>sci-mathematics@g.o</email> |
95 |
+ <name>Gentoo Mathematics Project</name> |
96 |
+ </maintainer> |
97 |
+ <longdescription> |
98 |
+ ELPI implements a variant of λProlog enriched with Constraint Handling |
99 |
+ Rules, a programming language well suited to manipulate syntax trees with |
100 |
+ binders. ELPI is designed to be embedded into larger applications written |
101 |
+ in OCaml as an extension language. It comes with an API to drive the |
102 |
+ interpreter and with an FFI for defining built-in predicates and data |
103 |
+ types, as well as quotations and similar goodies that are handy to adapt |
104 |
+ the language to the host application. |
105 |
+ </longdescription> |
106 |
+ <upstream> |
107 |
+ <changelog>https://raw.githubusercontent.com/LPCIC/elpi/master/CHANGES.md</changelog> |
108 |
+ <bugs-to>https://github.com/LPCIC/elpi/issues/</bugs-to> |
109 |
+ <remote-id type="github">LPCIC/elpi</remote-id> |
110 |
+ </upstream> |
111 |
+</pkgmetadata> |