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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

{ 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;

  duneVersion = "3";

  propagatedBuildInputs = [
    hacl-star-raw
    zarith
  ];

  nativeBuildInputs = [
    cppo
  ];

  checkInputs = [
    alcotest
    secp256k1-internal
    qcheck-core
    cstruct
  ];
}