mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced 2025-07-21 14:38:43 +02:00
21 lines
551 B
Bash
21 lines
551 B
Bash
# Copyright 1999-2024 Gentoo Authors
|
|
# Distributed under the terms of the GNU General Public License v2
|
|
|
|
EAPI=8
|
|
|
|
inherit dune
|
|
|
|
DESCRIPTION="LR(1) parser generator for the OCaml language"
|
|
HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
|
|
SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2"
|
|
|
|
LICENSE="GPL-2 LGPL-2-with-linking-exception"
|
|
SLOT="0/${PV}"
|
|
KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
|
|
IUSE="+ocamlopt"
|
|
|
|
src_install() {
|
|
dune_src_install menhir
|
|
dune_src_install menhirLib
|
|
dune_src_install menhirSdk
|
|
}
|