diff options
Diffstat (limited to 'nixpkgs/pkgs/development/ocaml-modules/wodan/unix.nix')
-rw-r--r-- | nixpkgs/pkgs/development/ocaml-modules/wodan/unix.nix | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/wodan/unix.nix b/nixpkgs/pkgs/development/ocaml-modules/wodan/unix.nix new file mode 100644 index 000000000000..64a18b6b83d7 --- /dev/null +++ b/nixpkgs/pkgs/development/ocaml-modules/wodan/unix.nix @@ -0,0 +1,27 @@ +{ lib, buildDunePackage, base64, benchmark, csv, cmdliner, wodan, afl-persistent +, io-page-unix, mirage-block-ramdisk, mirage-block-unix }: + +buildDunePackage rec { + outputs = [ "bin" "out" ]; + pname = "wodan-unix"; + inherit (wodan) version src useDune2; + + propagatedBuildInputs = [ + afl-persistent + base64 + benchmark + cmdliner + csv + io-page-unix + mirage-block-ramdisk + mirage-block-unix + wodan + ]; + + postInstall = '' + moveToOutput bin "''${!outputBin}" + ''; + + meta = wodan.meta // { description = "Wodan clients with Unix integration"; }; + +} |