mirror of
https://github.com/rosenpass/rosenpass.git
synced 2025-12-05 20:40:02 -08:00
22b980a61f
This implicates a change from nixpkgs-fmt to nixfmt. Nixfmt will become the new standard on nix formatting, sanctioned by the nixpkgs. To verify that these changes are purely in whitespace, but not semantic: git diff --ignore-all-space -w HEAD^! That will only show newline changes, make the diffing somewhat easier. Signed-off-by: wucke13 <wucke13+github@gmail.com>
42 lines
1.0 KiB
Nix
42 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 { };
|
|
}
|