Fil-C on Nix

Filnix wiki

mbrock/filnix

tests/experiment-calibration.nix

λpkgs, nonce
let
3mk=
λname attrs
pkgs.stdenvNoCC.mkDerivation
7name=
"filnix-calibration-${name}-${nonce}"
8dontUnpack=
true
9phases=
"configurePhase" "buildPhase" "checkPhase" "installPhase"
15configurePhase=
"true"
16buildPhase=
"echo calibration > proof"
17doCheck=
true
18checkPhase=
"test -s proof"
19installPhase=
"mkdir -p $out; cp proof $out/proof"
//
attrs
used by bad dependent good sibling slow
23bad=
mk"bad-library" configurePhase = "echo deliberate-calibration-failure >&2; exit 17";
uses mk used by dependent sibling
in
28good=
mk"good" buildPhase = "sleep 25; echo calibration > proof";
uses mk
29inherit
bad
30dependent=
mk"dependent" buildInputs = bad;
uses bad mk
31sibling=
mk"sibling" buildInputs = bad;
uses bad mk
32slow=
mk"slow" buildPhase = "sleep 90; echo calibration > proof";
uses mk