pvs flake

flake.nix

{
  description = "A PVS derivation in nix";
  inputs = {
    nixpkgs.url = "github:NixOS/nixpkgs";
    pvs = {
      url = "github:SRI-CSL/PVS";
      flake = false;
    };
  };
  outputs = { self, nixpkgs, pvs }: let
    system = "x86_64-linux"; # or "x86_64-darwin", "aarch64-linux", etc.
    config.permittedInsecurePackages = [ ];
    pkgs = import nixpkgs { inherit system config; };
    buildInputs = with pkgs; [
      sbcl
      gcc
      libgcc
      gnumake
      openssl
      emacs
      curl
      git
      coreutils-full
    ];
    shellHook = ''
      export LD_LIBRARY_PATH=${pkgs.lib.makeLibraryPath([pkgs.openssl])}
      # sudo ln -s $(which chmod) /bin/chmod
    '';
  in
    {
      devShells.${system}.default = pkgs.mkShell {
        inherit buildInputs shellHook;
        name = "pvs-dev";
      };
      packages.${system}.pvs = pkgs.stdenv.mkDerivation {
        inherit buildInputs;
        name = "pvs";
        src = "${pvs}";
        buildPhase = ''
          ${shellHook}
          ./configure
          make
        '';
        installPhase = ''
          mkdir -p $out
          cp -r $src/bin $out
        '';
      };
  };
}