646b892680
Some checks failed
Periodic Merges (6h) / master → staging-nixos (push) Failing after 12m50s
Periodic Merges (6h) / master → staging-next (push) Failing after 12m54s
Periodic Merges (24h) / merge-base(master,staging) → haskell-updates (push) Failing after 11m54s
Periodic Merges (6h) / staging-next → staging (push) Failing after 12m13s
Periodic Merges (24h) / staging-next-25.05 → staging-25.05 (push) Failing after 13m24s
Periodic Merges (24h) / release-25.05 → staging-next-25.05 (push) Failing after 14m28s
82 lines
1.4 KiB
Nix
82 lines
1.4 KiB
Nix
{
|
|
lib,
|
|
which,
|
|
stdenv,
|
|
fetchzip,
|
|
cmake,
|
|
ocaml,
|
|
findlib,
|
|
ctypes,
|
|
cppo,
|
|
}:
|
|
stdenv.mkDerivation rec {
|
|
pname = "ocaml${ocaml.version}-hacl-star-raw";
|
|
version = "0.7.2";
|
|
|
|
src = fetchzip {
|
|
url = "https://github.com/cryspen/hacl-packages/releases/download/ocaml-v${version}/hacl-star.${version}.tar.gz";
|
|
hash = "sha256-6WPbdkT9IsX0Q8mF2vLBJMktEES8tU45JztOPepAL0o=";
|
|
stripRoot = false;
|
|
};
|
|
|
|
# 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 ];
|
|
};
|
|
}
|