diff options
Diffstat (limited to 'dev-ml/menhir/menhir-20210419-r1.ebuild')
| -rw-r--r-- | dev-ml/menhir/menhir-20210419-r1.ebuild | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/dev-ml/menhir/menhir-20210419-r1.ebuild b/dev-ml/menhir/menhir-20210419-r1.ebuild deleted file mode 100644 index 091a343e2f22..000000000000 --- a/dev-ml/menhir/menhir-20210419-r1.ebuild +++ /dev/null @@ -1,21 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -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 x86" -IUSE="+ocamlopt" - -src_install() { - dune_src_install menhir - dune_src_install menhirLib - dune_src_install menhirSdk -} |