nixpkgs/pkgs/development/ocaml-modules/dolmen/default.nix

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

33 lines
735 B
Nix
Raw Normal View History

2021-08-02 05:49:30 +00:00
{ lib, fetchurl, buildDunePackage
, menhir, menhirLib
, fmt
, hmap
2023-09-13 04:50:15 +00:00
, qcheck
2021-08-02 05:49:30 +00:00
}:
2021-08-02 05:49:30 +00:00
buildDunePackage rec {
pname = "dolmen";
version = "0.10";
2021-08-02 05:49:30 +00:00
minimalOCamlVersion = "4.08";
src = fetchurl {
2023-09-13 04:50:15 +00:00
url = "https://github.com/Gbury/dolmen/releases/download/v${version}/dolmen-${version}.tbz";
hash = "sha256-xchfd+OSTzeOjYLxZu7+QTG04EG/nN7KRnQQ8zxx+mE=";
2021-08-02 05:49:30 +00:00
};
nativeBuildInputs = [ menhir ];
propagatedBuildInputs = [ menhirLib fmt hmap ];
2023-09-13 04:50:15 +00:00
doCheck = true;
checkInputs = [ qcheck ];
meta = {
description = "OCaml library providing clean and flexible parsers for input languages";
license = lib.licenses.bsd2;
maintainers = [ lib.maintainers.vbgl ];
2021-08-02 05:49:30 +00:00
homepage = "https://github.com/Gbury/dolmen";
};
}