pkgs/development/ocaml-modules/hacl-star/default.nix

   1 { lib, buildDunePackage, hacl-star-raw, zarith, cppo, alcotest, secp256k1-internal, qcheck-core, cstruct }:
   2
   3
   4 buildDunePackage {
   5   pname = "hacl-star";
   6
   7   inherit (hacl-star-raw) version src meta doCheck;
   8
   9   minimalOCamlVersion = "4.08";
  10
  11   propagatedBuildInputs = [
  12     hacl-star-raw
  13     zarith
  14   ];
  15
  16   nativeBuildInputs = [
  17     cppo
  18   ];
  19
  20   checkInputs = [
  21     alcotest
  22     secp256k1-internal
  23     qcheck-core
  24     cstruct
  25   ];
  26 }