flake.nix

{
  inputs = {
    fstar-flake.url = "github:FStarLang/FStar";
    nixpkgs.follows = "fstar-flake/nixpkgs";
  };

  outputs = {self, nixpkgs, fstar-flake}:
  let
    system = "x86_64-linux";
    pkgs = import nixpkgs { inherit system; };
    z3 = fstar-flake.packages.${system}.z3;
    fstar = fstar-flake.packages.${system}.fstar;
    ocamlPackages = fstar-flake.packages.${system}.ocamlPackages;
    comparse = pkgs.callPackage ./default.nix {inherit fstar z3 ocamlPackages;};
  in {
    packages.${system} = {
      inherit fstar comparse;
    };
    checks.${system} = {
      comparse-build = comparse;
      comparse-tests = comparse.tests;
    };
  };
}