tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 atdgen-codec-runtime,
4 cmdliner,
5 menhir,
6 easy-format,
7 buildDunePackage,
8 re,
9 yojson,
10 nixosTests,
11}:
12
13buildDunePackage {
14 pname = "atd";
15 inherit (atdgen-codec-runtime) version src;
16
17 nativeBuildInputs = [ menhir ];
18 buildInputs = [ cmdliner ];
19 propagatedBuildInputs = [
20 easy-format
21 re
22 yojson
23 ];
24
25 passthru.tests = {
26 smoke-test = nixosTests.atd;
27 };
28
29 meta = {
30 description = "Syntax for cross-language type definitions";
31 homepage = "https://github.com/mjambon/atd";
32 license = lib.licenses.mit;
33 maintainers = with lib.maintainers; [ aij ];
34 mainProgram = "atdcat";
35 };
36}