Gentoo Packages

Search

Install

Install this version:

emerge -a =dev-ml/coq-menhirlib-20240715

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

autounmask =dev-ml/coq-menhirlib-20240715

Or alternatively:

emerge --autounmask-write -a =dev-ml/coq-menhirlib-20240715

Package Information

Description:: A support library for verified Coq parsers produced by Menhir
Homepage:: http://gallium.inria.fr/~fpottier/menhir/
License:: GPL-2 LGPL-2-with-linking-exception

Ebuild Details

Version	EAPI	Keywords	Slot
20240715	8	~amd64 ~x86	0/20240715

View Raw Ebuild

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

EAPI=8

inherit dune

DESCRIPTION="A support library for verified Coq parsers produced by Menhir"
HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"

if [[ "${PV}" == *9999* ]] ; then
	inherit git-r3

	EGIT_REPO_URI="https://gitlab.inria.fr/fpottier/menhir.git"
else
	SRC_URI="https://gitlab.inria.fr/fpottier/menhir/-/archive/${PV}/menhir-${PV}.tar.bz2"
	S="${WORKDIR}/menhir-${PV}"

	KEYWORDS="~amd64 ~x86"
fi

LICENSE="GPL-2 LGPL-2-with-linking-exception"
SLOT="0/${PV}"
IUSE="+ocamlopt"

RDEPEND="
	>=dev-ml/menhir-${PV}:=
	sci-mathematics/coq:=
"
DEPEND="
	${RDEPEND}
"

src_compile() {
	emake -C "${PN}"
	edune build @install --profile release -p "${PN}" || die
}

src_install() {
	emake -C "${PN}" DESTDIR="${D}" install
	dune_src_install

	dodoc "${PN}/CHANGES.md" "${PN}/README.md"
}

USE Flags

Manage flags for this package: euse -i <flag> -p dev-ml/coq-menhirlib | euse -E <flag> -p dev-ml/coq-menhirlib | euse -D <flag> -p dev-ml/coq-menhirlib

Global/Standard Flags

ocamlopt

Inherited Eclasses

dune

git-r3

Dependencies

DEPEND

	
	>=dev-ml/menhir-20240715:=
	sci-mathematics/coq:=

RDEPEND

	>=dev-ml/menhir-20240715:=
	sci-mathematics/coq:=

Manifest for 20240715

Type	File	Size	Source URLs
DIST	menhir-20240715.tar.bz2	1245971 bytes	https://gitlab.inria.fr/fpottier/menhir/-/archive/20240715/menhir-.tar.bz2

dev-ml/coq-menhirlib - 20240715 (gentoo)