28 lines
983 B
Nix
28 lines
983 B
Nix
{ lib, buildDunePackage, coqPackages, version ? "20231231" }:
|
|
|
|
let fetched = coqPackages.metaFetch ({
|
|
release."20231231".sha256 = "sha256-veB0ORHp6jdRwCyDDAfc7a7ov8sOeHUmiELdOFf/QYk=";
|
|
releaseRev = v: "v${v}";
|
|
location = { domain = "gitlab.inria.fr"; owner = "fpottier"; repo = "menhir"; };
|
|
}) version;
|
|
in
|
|
buildDunePackage rec {
|
|
pname = "menhirLib";
|
|
inherit (fetched) version src;
|
|
|
|
minimalOCamlVersion = "4.03";
|
|
|
|
meta = with lib; {
|
|
homepage = "http://pauillac.inria.fr/~fpottier/menhir/";
|
|
description = "Runtime support library for parsers generated by Menhir";
|
|
longDescription = ''
|
|
Menhir is a LR(1) parser generator for the Objective Caml programming
|
|
language. That is, Menhir compiles LR(1) grammar specifications down
|
|
to OCaml code. Menhir was designed and implemented by François Pottier
|
|
and Yann Régis-Gianas.
|
|
'';
|
|
license = with licenses; [ lgpl2Only ];
|
|
maintainers = with maintainers; [ vbgl ];
|
|
};
|
|
}
|