tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ buildDunePackage, alcotest, atd, atdgen-codec-runtime, atdgen-runtime, biniou, re, yojson
2, python3
3}:
4
5buildDunePackage {
6 pname = "atdgen";
7 inherit (atdgen-codec-runtime) version src;
8
9 duneVersion = "3";
10
11 buildInputs = [ atd re ];
12
13 propagatedBuildInputs = [ atdgen-runtime ];
14
15 doCheck = true;
16 nativeCheckInputs = [ atd (python3.withPackages (ps: [ ps.jsonschema ]))];
17 checkInputs = [ alcotest atdgen-codec-runtime ];
18
19 meta = (builtins.removeAttrs atd.meta [ "mainProgram" ]) // {
20 description = "Generates efficient JSON serializers, deserializers and validators";
21 };
22}