flake.nix

{
  inputs = {
    nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
    flake-utils.url = "github:numtide/flake-utils";
    crane = {
      url = "github:ipetkov/crane";
      inputs.nixpkgs.follows = "nixpkgs";
    };
    hax.url = "github:hacspec/hax";
  };
  outputs =
    inputs:
    inputs.flake-utils.lib.eachDefaultSystem (
      system:
      let
        hax = inputs.hax.packages.${system}.default;
        pkgs = import inputs.nixpkgs { inherit system; };
        craneLib = inputs.crane.mkLib pkgs;
        src = ./.;
        cargoArtifacts = craneLib.buildDepsOnly { inherit src; };
        bertie = craneLib.buildPackage {
          inherit src cargoArtifacts;
          buildInputs = [
            hax
            pkgs.python3
          ];
          buildPhase = ''
            python hax-driver.py extract-fstar
            python hax-driver.py extract-proverif
          '';
          installPhase = "cp -r . $out";
          doCheck = false;
        };
      in
      {
        packages.default = bertie;
      }
    );
}