diff options
Diffstat (limited to 'nix')
| -rw-r--r-- | nix/nettleshim.nix | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/nix/nettleshim.nix b/nix/nettleshim.nix new file mode 100644 index 0000000..f00c4e4 --- /dev/null +++ b/nix/nettleshim.nix @@ -0,0 +1,23 @@ +{ + pkgs + , nettle +}: +with pkgs; stdenv.mkDerivation rec { + name = "NettleShim"; + src = ../standalone/src/main/resources/cz/crcs/ectester/standalone/libs/jni; + + buildInputs = [ + nettle + pkg-config + jdk11_headless + ]; + + buildPhase = '' + make nettle + ''; + + installPhase = '' + mkdir --parents $out/lib + cp nettle_provider.so $out/lib + ''; +} |
