tjh.dev
1{
2 buildDunePackage,
3 hacl-star-raw,
4 zarith,
5 cppo,
6 alcotest,
7 secp256k1-internal,
8 qcheck-core,
9 cstruct,
10}:
11
12buildDunePackage {
13 pname = "hacl-star";
14
15 inherit (hacl-star-raw)
16 version
17 src
18 meta
19 doCheck
20 ;
21
22 minimalOCamlVersion = "4.08";
23
24 propagatedBuildInputs = [
25 hacl-star-raw
26 zarith
27 ];
28
29 nativeBuildInputs = [
30 cppo
31 ];
32
33 checkInputs = [
34 alcotest
35 secp256k1-internal
36 qcheck-core
37 cstruct
38 ];
39}