mirror of
https://github.com/rosenpass/rosenpass.git
synced 2025-12-05 20:40:02 -08:00
d9f8fa0092
This splits the complexity of the `flake.nix` into multiple files. At cross-compiled and static builds at the benefit of simpler nix expressions and generally better cross compilation compatibility. the same time, naersk is removed; causing much slower builds for cross- compiled packages. This partially addresses the points mentioned in #412.
40 lines
1.0 KiB
Nix
40 lines
1.0 KiB
Nix
final: prev: {
|
|
|
|
|
|
#
|
|
### Actual rosenpass software ###
|
|
#
|
|
rosenpass = final.callPackage ./pkgs/rosenpass.nix { };
|
|
rosenpass-oci-image = final.callPackage ./pkgs/rosenpass-oci-image.nix { };
|
|
rp = final.callPackage ./pkgs/rosenpass.nix { package = "rp"; };
|
|
|
|
release-package = final.callPackage ./pkgs/release-package.nix { };
|
|
|
|
#
|
|
### Appendix ###
|
|
#
|
|
proverif-patched = prev.proverif.overrideAttrs (old: {
|
|
postInstall = ''
|
|
install -D -t $out/lib cryptoverif.pvl
|
|
'';
|
|
});
|
|
|
|
proof-proverif = final.stdenv.mkDerivation {
|
|
name = "rosenpass-proverif-proof";
|
|
version = "unstable";
|
|
src = final.lib.sources.sourceByRegex ./. [
|
|
"analyze.sh"
|
|
"marzipan(/marzipan.awk)?"
|
|
"analysis(/.*)?"
|
|
];
|
|
nativeBuildInputs = [ final.proverif final.graphviz ];
|
|
CRYPTOVERIF_LIB = final.proverif-patched + "/lib/cryptoverif.pvl";
|
|
installPhase = ''
|
|
mkdir -p $out
|
|
bash analyze.sh -color -html $out
|
|
'';
|
|
};
|
|
|
|
whitepaper = final.callPackage ./pkgs/whitepaper.nix { };
|
|
}
|