nixpkgs/pkgs/development/ocaml-modules/hacl-star/default.nix
2023-10-25 08:01:26 +02:00

26 lines
430 B
Nix

{ lib, buildDunePackage, hacl-star-raw, zarith, cppo, alcotest, secp256k1-internal, qcheck-core, cstruct }:
buildDunePackage {
pname = "hacl-star";
inherit (hacl-star-raw) version src meta doCheck;
minimalOCamlVersion = "4.08";
propagatedBuildInputs = [
hacl-star-raw
zarith
];
nativeBuildInputs = [
cppo
];
checkInputs = [
alcotest
secp256k1-internal
qcheck-core
cstruct
];
}