gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-23 16:49:10 -07:00
Code Issues Projects Releases Wiki Activity

dev-ml/menhir: add 20250912

Browse Source 
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
Alfredo Tupone
2025-09-22 21:51:40 +02:00
parent c8e64df97e
commit 7edde8926d
2 changed files with 22 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
dev-ml/menhir/Manifest
View File

@@ -1 +1,2 @@
DIST menhir-20240715.tar.bz2 1245971 BLAKE2B b5f1a1fb234dd53e1d3f77b095e2721f8d2af354a3aa36da2b993dc9f699767bb7c98aae13316ff3405b8bcf80f9ba3addc824ace59f5548613f0f93d105adf7 SHA512 b18da35517702dbdab0d9f5819ad711f61f2ed13ec9e51db71b92fa2d6604cbf28aa6d684c36a41364324694ebbc5dc6aaed4dbb3779c14b399e49ded6fd5db6
DIST menhir-20250912.tar.bz2 1280672 BLAKE2B 53f3f88286a77093b34275ada55ba22ce31cd0db2981299a9ffc313415c1d345fa89694f29c522f8150e1c80ae0694c63beaaf331d8c6854f69430e7edf3c4b8 SHA512 bb1f93177ddea862a4b13eb344e81614291c3933d89cb39d11a8a59b1f842f2ea712bb4936c19e08ade42ad2c268e4bd76061457a56cc538cf3c5a6377f2ba97

21
dev-ml/menhir/menhir-20250912.ebuild Normal file
View File

@@ -0,0 +1,21 @@
# Copyright 1999-2025 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
}