blob: 00b524606fcff88662b6a713dee9832ee94a06d7 (
plain) (
blame)
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
|
{ lib
, which
, stdenv
, fetchzip
, opaline
, cmake
, ocaml
, findlib
, hacl-star
, ctypes
, cppo
}:
stdenv.mkDerivation rec {
pname = "ocaml${ocaml.version}-hacl-star-raw";
version = "0.7.1";
src = fetchzip {
url = "https://github.com/cryspen/hacl-packages/releases/download/ocaml-v${version}/hacl-star.${version}.tar.gz";
hash = "sha256-TcAEaJou4BOVXSz5DYewzKfvIpjXmhLAlgF0hlq3ToQ=";
stripRoot = false;
};
patches = [
./aligned-alloc.patch
];
# strictoverflow is disabled because it breaks aarch64-darwin
hardeningDisable = [ "strictoverflow" ];
postPatch = ''
patchShebangs ./
'';
buildPhase = ''
runHook preBuild
make -C hacl-star-raw build-c
make -C hacl-star-raw build-bindings
runHook postBuild
'';
preInstall = ''
mkdir $out
mkdir -p $OCAMLFIND_DESTDIR/stublibs
'';
installPhase = ''
runHook preInstall
make -C hacl-star-raw install
runHook postInstall
'';
dontUseCmakeConfigure = true;
dontAddPrefix = true;
dontAddStaticConfigureFlags = true;
createFindlibDestdir = true;
nativeBuildInputs = [
which
cmake
ocaml
findlib
];
propagatedBuildInputs = [
ctypes
];
checkInputs = [
cppo
];
strictDeps = true;
doCheck = true;
meta = {
inherit (ocaml.meta) platforms;
description = "Auto-generated low-level OCaml bindings for EverCrypt/HACL*";
license = lib.licenses.asl20;
maintainers = [ lib.maintainers.ulrikstrid ];
};
}
|