Gentoo Packages

Search

Install

Install this version:

emerge -a =dev-lang/elpi-1.19.6

If this version is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask =dev-lang/elpi-1.19.6

Or alternatively:

emerge --autounmask-write -a =dev-lang/elpi-1.19.6

Package Information

Description:: Embeddable Lambda Prolog Interpreter in OCaml
Homepage:: https://github.com/LPCIC/elpi/
License:: LGPL-2.1+

Ebuild Details

Version	EAPI	Keywords	Slot
1.19.6	8	~amd64	0/1.19.6

View Raw Ebuild

# Copyright 1999-2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=8

inherit dune

DESCRIPTION="Embeddable Lambda Prolog Interpreter in OCaml"
HOMEPAGE="https://github.com/LPCIC/elpi/"

if [[ ${PV} == *9999* ]] ; then
	inherit git-r3
	EGIT_REPO_URI="https://github.com/LPCIC/${PN}.git"
else
	SRC_URI="https://github.com/LPCIC/${PN}/archive/v${PV}.tar.gz
		-> ${P}.tar.gz"
	KEYWORDS="~amd64"
fi

LICENSE="LGPL-2.1+"
SLOT="0/${PV}"
IUSE="+ocamlopt test"
RESTRICT="!test? ( test )"

RDEPEND="
	<dev-ml/atd-2.16.0:=
	>=dev-ml/menhir-20211230:=
	dev-ml/ppx_deriving:=
	dev-ml/ppxlib:=
	dev-ml/re:=
	dev-ml/stdlib-shims:=
"
DEPEND="${RDEPEND}"
BDEPEND="
	test? (
		dev-ml/ANSITerminal
		dev-ml/cmdliner
	)
"

DOCS=( AUTHORS.md CHANGES.md ELPI.md INCOMPATIBILITIES.md README.md )

src_install() {
	dune_src_install
	einstalldocs
}

USE Flags

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

Global/Standard Flags

ocamlopt

test

Inherited Eclasses

dune

git-r3

Dependencies

DEPEND

	<dev-ml/atd-2.16.0:=
	>=dev-ml/menhir-20211230:=
	dev-ml/ppx_deriving:=
	dev-ml/ppxlib:=
	dev-ml/re:=
	dev-ml/stdlib-shims:=

RDEPEND

	<dev-ml/atd-2.16.0:=
	>=dev-ml/menhir-20211230:=
	dev-ml/ppx_deriving:=
	dev-ml/ppxlib:=
	dev-ml/re:=
	dev-ml/stdlib-shims:=

BDEPEND

	test? (
		dev-ml/ANSITerminal
		dev-ml/cmdliner
	)

Manifest for 1.19.6

Type	File	Size	Source URLs
DIST	elpi-1.19.6.tar.gz	2645680 bytes	https://github.com/LPCIC/elpi/archive/v1.19.6.tar.gz

dev-lang/elpi - 1.19.6 (gentoo)