mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-10 15:53:36 +00:00
a13cdfe520
To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild. This makes some closures significantly smaller and makes cross compilation easier
34 lines
784 B
Nix
34 lines
784 B
Nix
{ lib, fetchurl, buildDunePackage
|
|
, menhir, menhirLib
|
|
, fmt
|
|
}:
|
|
|
|
buildDunePackage rec {
|
|
pname = "dolmen";
|
|
version = "0.6";
|
|
|
|
useDune2 = true;
|
|
|
|
minimalOCamlVersion = "4.08";
|
|
|
|
src = fetchurl {
|
|
url = "https://github.com/Gbury/dolmen/releases/download/v${version}/dolmen-v${version}.tbz";
|
|
sha256 = "133l23mwxa9xy340izvk4zp5jqjz2cwsm2innsgs2kg85pd39c41";
|
|
};
|
|
|
|
strictDeps = true;
|
|
|
|
nativeBuildInputs = [ menhir ];
|
|
propagatedBuildInputs = [ menhirLib fmt ];
|
|
|
|
# Testr are not compatible with menhir 20211128
|
|
doCheck = false;
|
|
|
|
meta = {
|
|
description = "An OCaml library providing clean and flexible parsers for input languages";
|
|
license = lib.licenses.bsd2;
|
|
maintainers = [ lib.maintainers.vbgl ];
|
|
homepage = "https://github.com/Gbury/dolmen";
|
|
};
|
|
}
|