2024-07-16 01:40:28 +00:00
|
|
|
{
|
|
|
|
buildDunePackage,
|
|
|
|
alcotest,
|
|
|
|
atd,
|
|
|
|
atdgen-codec-runtime,
|
|
|
|
atdgen-runtime,
|
|
|
|
re,
|
2022-07-02 04:31:40 +00:00
|
|
|
python3,
|
|
|
|
}:
|
2018-12-10 20:14:42 +00:00
|
|
|
|
|
|
|
buildDunePackage {
|
|
|
|
pname = "atdgen";
|
2022-04-23 08:50:39 +00:00
|
|
|
inherit (atdgen-codec-runtime) version src;
|
|
|
|
|
2023-04-06 06:05:41 +00:00
|
|
|
duneVersion = "3";
|
|
|
|
|
2022-04-23 08:50:39 +00:00
|
|
|
buildInputs = [
|
|
|
|
atd
|
|
|
|
re
|
|
|
|
];
|
2018-12-10 20:14:42 +00:00
|
|
|
|
2022-04-23 08:50:39 +00:00
|
|
|
propagatedBuildInputs = [ atdgen-runtime ];
|
2018-12-10 20:14:42 +00:00
|
|
|
|
2022-04-23 08:50:39 +00:00
|
|
|
doCheck = true;
|
2022-03-01 15:42:22 +00:00
|
|
|
nativeCheckInputs = [
|
|
|
|
atd
|
|
|
|
(python3.withPackages (ps: [ ps.jsonschema ]))
|
|
|
|
];
|
|
|
|
checkInputs = [
|
|
|
|
alcotest
|
|
|
|
atdgen-codec-runtime
|
2024-12-10 19:26:33 +00:00
|
|
|
];
|
2018-12-10 20:14:42 +00:00
|
|
|
|
2022-05-17 07:33:24 +00:00
|
|
|
meta = (builtins.removeAttrs atd.meta [ "mainProgram" ]) // {
|
2018-12-10 20:14:42 +00:00
|
|
|
description = "Generates efficient JSON serializers, deserializers and validators";
|
|
|
|
};
|
|
|
|
}
|