summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2021-07-18 15:40:46 +0200
committerAlfredo Tupone <tupone@gentoo.org>2021-07-18 15:40:46 +0200
commit018d1a733064246c2a25c2d146d79a145bda3122 (patch)
tree78c0cf64cfc3efd60f92e5014bfc56f436698aab /dev-ml
parentapp-admin/haskell-updater: drop CABAL_FEATURES=bin (diff)
downloadgentoo-018d1a733064246c2a25c2d146d79a145bda3122.tar.gz
gentoo-018d1a733064246c2a25c2d146d79a145bda3122.tar.bz2
gentoo-018d1a733064246c2a25c2d146d79a145bda3122.zip
dev-ml/menhir: bump 20210419
Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/menhir/Manifest1
-rw-r--r--dev-ml/menhir/menhir-20210419.ebuild15
2 files changed, 16 insertions, 0 deletions
diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index fb9913bf06c0..8b51fd3ddf9b 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1 +1,2 @@
DIST menhir-20190924.tar.gz 2491000 BLAKE2B 463825aa0f3ea41e49d9c130226bc8bbfc2b96650debf8d79422a90b93338ead58e01aa0c34b2161e4383d1c9a8d77ab58bb1da78e3187ed60b02e13f7742844 SHA512 8036eb8a65f123ceadd21739d88dafca54a2338fc168922a1301a9fbe709ac5e8e7214d95d8114f3798c15f458822e64dcedb94f7fff18ab6f9ccfb6de462e46
+DIST menhir-20210419.tar.gz 1136536 BLAKE2B 9d95600221aca25983674fa736c35ac0c5f2809a8aade5f9163a7b8baaacc660c03376b52749ae1d75d0d35ad8f4710d7f43832ef5ee0283fce7f7a41f15c120 SHA512 cca9037586635a6603531629671cc1448d65deb47c66654928d34c9163c4b501901428afc95eb0efdfc7f010d2efa176385420d9296d59b840176e07b8bf0fce
diff --git a/dev-ml/menhir/menhir-20210419.ebuild b/dev-ml/menhir/menhir-20210419.ebuild
new file mode 100644
index 000000000000..f09169a94ff3
--- /dev/null
+++ b/dev-ml/menhir/menhir-20210419.ebuild
@@ -0,0 +1,15 @@
+# Copyright 1999-2021 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.gz"
+
+LICENSE="GPL-2 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+IUSE="+ocamlopt"