tjh.dev
1{
2 lib,
3 fetchFromGitLab,
4 buildDunePackage,
5 alcotest,
6 qcheck,
7 qcheck-alcotest,
8}:
9
10buildDunePackage rec {
11 version = "5.0.1";
12 pname = "pratter";
13
14 minimalOCamlVersion = "4.10";
15
16 src = fetchFromGitLab {
17 domain = "forge.tedomum.net";
18 owner = "koizel";
19 repo = "pratter";
20 tag = version;
21 hash = "sha256-Ib7EplEvOuYcAS9cfzo5994SqCv2eiysLekYfH09IMw=";
22 };
23
24 checkInputs = [
25 alcotest
26 qcheck
27 qcheck-alcotest
28 ];
29 doCheck = true;
30
31 meta = with lib; {
32 description = "Extended Pratt parser";
33 homepage = "https://github.com/gabrielhdt/pratter";
34 license = licenses.bsd3;
35 changelog = "https://github.com/gabrielhdt/pratter/raw/${version}/CHANGELOG.md";
36 maintainers = with maintainers; [ bcdarwin ];
37 };
38}