1{
2 lib,
3 fetchurl,
4 buildDunePackage,
5 menhir,
6 menhirLib,
7 fmt,
8 hmap,
9 qcheck,
10}:
11
12buildDunePackage rec {
13 pname = "dolmen";
14 version = "0.10";
15
16 minimalOCamlVersion = "4.08";
17
18 src = fetchurl {
19 url = "https://github.com/Gbury/dolmen/releases/download/v${version}/dolmen-${version}.tbz";
20 hash = "sha256-xchfd+OSTzeOjYLxZu7+QTG04EG/nN7KRnQQ8zxx+mE=";
21 };
22
23 nativeBuildInputs = [ menhir ];
24 propagatedBuildInputs = [
25 menhirLib
26 fmt
27 hmap
28 ];
29
30 doCheck = true;
31
32 checkInputs = [ qcheck ];
33
34 meta = {
35 description = "OCaml library providing clean and flexible parsers for input languages";
36 license = lib.licenses.bsd2;
37 maintainers = [ lib.maintainers.vbgl ];
38 homepage = "https://github.com/Gbury/dolmen";
39 };
40}