{ pkgs ? import <nixpkgs> { } }:
with pkgs;
let
  jasmin-src = fetchFromGitHub {
    owner = "jasmin-lang";
    repo = "jasmin";
    rev = "9bb6340fe0e3c5d78ea3957f6c5c3564c3424770";
    hash = "sha256-EVwnD6dZLTy9MgR6gdymhg3Ipudpj1mchDlMpCAdITE=";
  };

  jasmin = callPackage "${jasmin-src}/default.nix" { inherit pkgs; };
in
stdenv.mkDerivation {
  name = "x25519-agent";
  src = nix-gitignore.gitignoreSource [ ] ./.;

  nativeBuildInputs = [
    gnumake
    gcc
    jasmin
  ];

  configurePhase = ''
    mkdir build
  '';

  installPhase = ''
    mkdir -p $out/lib
    cp build/libagent.a $out/lib
  '';
}