type-experiments/flake.nix at main · anderslundstedt/type-experiments · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
{
  description = "some experiments with type systems";

  inputs.nixpkgs.url = "nixpkgs/nixpkgs-unstable";

  inputs.flake-utils.url = "github:numtide/flake-utils";

  outputs = {self, nixpkgs, flake-utils}:
    flake-utils.lib.eachSystem
      ["x86_64-linux" "x86_64-darwin" "aarch64-darwin"]
      (
        system:
        let
          pkgs = nixpkgs.legacyPackages.${system};
          commonPkgs = [
            pkgs.bashInteractive
            pkgs.gnumake
          ];
          pythonPkgs = [
            pkgs.python312
            pkgs.pyright
          ];
          coqPkgs = [
            pkgs.coq_8_16
          ];
          githubPkgs = [
            pkgs.python311Packages.grip # for local GitHub README.md preview
          ];
        in
        {
          devShells.default = pkgs.mkShell {
            packages = commonPkgs ++ pythonPkgs ++ coqPkgs ++ githubPkgs;
          };
          devShells.python = pkgs.mkShell {
            packages = commonPkgs ++ pythonPkgs;
          };
          devShells.coq = pkgs.mkShell {
            packages = commonPkgs ++ coqPkgs;
          };
          devShells.github = pkgs.mkShell {
            packages = githubPkgs;
          };
        }
     );
}