Install this package:
emerge -a dev-lang/elpiIf the package is masked, you can unmask it using the autounmask tool or standard emerge options:
autounmask dev-lang/elpiOr alternatively:
emerge --autounmask-write -a dev-lang/elpi<pkgmetadata>
<maintainer type="project">
<email>ml@gentoo.org</email>
<name>ML</name>
</maintainer>
<maintainer type="project">
<email>sci-mathematics@gentoo.org</email>
<name>Gentoo Mathematics Project</name>
</maintainer>
<longdescription>
ELPI implements a variant of λProlog enriched with Constraint Handling
Rules, a programming language well suited to manipulate syntax trees with
binders. ELPI is designed to be embedded into larger applications written
in OCaml as an extension language. It comes with an API to drive the
interpreter and with an FFI for defining built-in predicates and data
types, as well as quotations and similar goodies that are handy to adapt
the language to the host application.
</longdescription>
<upstream>
<changelog>https://raw.githubusercontent.com/LPCIC/elpi/master/CHANGES.md</changelog>
<bugs-to>https://github.com/LPCIC/elpi/issues/</bugs-to>
<remote-id type="github">LPCIC/elpi</remote-id>
</upstream>
</pkgmetadata>
Manage flags for this package:
euse -i <flag> -p dev-lang/elpi |
euse -E <flag> -p dev-lang/elpi |
euse -D <flag> -p dev-lang/elpi
| Flag | Description | 2.0.7 | 1.19.6-r1 |
|---|---|---|---|
| ocamlopt | Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale) | ⊕ | ⊕ |
| test | Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently) | ✓ | ✓ |
| Type | File | Size | Versions |
|---|---|---|---|
| DIST | elpi-2.0.7.tar.gz | 2642553 bytes | 2.0.7 |
| Type | File | Size |
|---|---|---|
| DIST | elpi-1.19.6.tar.gz | 2645680 bytes |