flake.nix

{
  description = "A flake for building Hello World";

  inputs.nixpkgs.url = github:NixOS/nixpkgs/nixos-22.11;

  outputs = { self, nixpkgs }:
    let pkgs = import nixpkgs {
          system = "x86_64-linux";
        };
        tealeaves = pkgs.callPackage ./tealeaves.nix {
          version = "dunnl:master";
          coq = pkgs.coq;
          mkCoqDerivation = pkgs.coqPackages.mkCoqDerivation;
        };
        tealeaves-examples = pkgs.callPackage ./tealeaves-examples.nix {
          inherit (pkgs.coqPackages) serapi;
          inherit tealeaves;
        };
    in { packages.x86_64-linux.default = tealeaves;
         packages.x86_64-linux.tealeaves = tealeaves;
         packages.x86_64-linux.tealeaves-examples = tealeaves-examples;
         devShells.x86_64-linux.default = tealeaves;
         devShells.x86_64-linux.examples = tealeaves-examples;
       };
}