Vincent Laporte
c54ee72442
coqPackages.MenhirLib: 20250903 → 20260203 ocamlPackages.dolmen: disable tests
44 lines
841 B
Nix
44 lines
841 B
Nix
{
|
|
lib,
|
|
ocaml,
|
|
buildDunePackage,
|
|
fetchFromGitHub,
|
|
menhir,
|
|
menhirLib,
|
|
ppx_deriving_yojson,
|
|
visitors,
|
|
}:
|
|
|
|
buildDunePackage (finalAttrs: {
|
|
pname = "morbig";
|
|
version = "0.11.0";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "colis-anr";
|
|
repo = "morbig";
|
|
tag = "v${finalAttrs.version}";
|
|
hash = "sha256-fOBaJHHP/Imi9UDLflI52OdKDcmMxpl+NH3pfofmv/o=";
|
|
};
|
|
|
|
# Compatibility with menhir ≥ 20260122
|
|
patches = [ ./menhir.patch ];
|
|
|
|
nativeBuildInputs = [
|
|
menhir
|
|
];
|
|
|
|
propagatedBuildInputs = [
|
|
menhirLib
|
|
ppx_deriving_yojson
|
|
visitors
|
|
];
|
|
|
|
meta = {
|
|
homepage = "https://github.com/colis-anr/morbig";
|
|
description = "Static parser for POSIX Shell";
|
|
license = lib.licenses.gpl3Plus;
|
|
maintainers = with lib.maintainers; [ niols ];
|
|
broken = lib.versionAtLeast ocaml.version "5.4";
|
|
};
|
|
})
|