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
93 lines
1.7 KiB
Nix
93 lines
1.7 KiB
Nix
{
|
|
lib,
|
|
fetchFromGitHub,
|
|
writableTmpDirAsHomeHook,
|
|
unstableGitUpdater,
|
|
ocamlPackages,
|
|
opam,
|
|
}:
|
|
ocamlPackages.buildDunePackage {
|
|
pname = "cerberus";
|
|
version = "0-unstable-2025-08-18";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "rems-project";
|
|
repo = "cerberus";
|
|
rev = "9eb2ce27adc4a45c69da347c660d9b5477d764a8";
|
|
hash = "sha256-++fCZvk4ee166eciipTQ8GId6DWrG6aonAzHpK/10f0=";
|
|
};
|
|
|
|
minimalOCamlVersion = "4.12";
|
|
|
|
strictDeps = true;
|
|
|
|
nativeBuildInputs = [
|
|
opam
|
|
writableTmpDirAsHomeHook
|
|
ocamlPackages.lem
|
|
ocamlPackages.menhir
|
|
];
|
|
|
|
buildInputs = with ocamlPackages; [
|
|
sha
|
|
pprint
|
|
cmdliner
|
|
yojson
|
|
lem
|
|
result
|
|
ppx_deriving
|
|
zarith
|
|
sexplib
|
|
menhirLib
|
|
janeStreet.ppx_sexp_conv
|
|
];
|
|
|
|
env.OPAM_SWITCH_PREFIX = placeholder "out";
|
|
buildPhase = ''
|
|
runHook preBuild
|
|
|
|
make Q= cerberus
|
|
|
|
runHook postBuild
|
|
'';
|
|
|
|
doInstallCheck = true;
|
|
installCheckPhase = ''
|
|
runHook preInstallCheck
|
|
|
|
PATH="$out/bin":$PATH
|
|
|
|
patchShebangs --build tests
|
|
|
|
tests/run-ci.sh
|
|
|
|
runHook postInstallCheck
|
|
'';
|
|
|
|
passthru.updateScript = unstableGitUpdater { branch = "master"; };
|
|
|
|
meta = {
|
|
homepage = "https://www.cl.cam.ac.uk/~pes20/cerberus/";
|
|
license = with lib.licenses; [
|
|
# Most of Cerberus
|
|
bsd2
|
|
# https://github.com/rems-project/cerberus/blob/master/THIRD_PARTY_FILES.md
|
|
# Files from Linux kernel
|
|
gpl2Only
|
|
# Files from cppmem
|
|
bsd3
|
|
# Files from musl
|
|
mit
|
|
# Files from BSD
|
|
bsdOriginal
|
|
# Slightly modified vendored SibylFS
|
|
isc
|
|
];
|
|
mainProgram = "cerberus";
|
|
maintainers = with lib.maintainers; [
|
|
RossSmyth
|
|
];
|
|
platforms = lib.platforms.unix;
|
|
};
|
|
}
|