tasty-checklist/flake.nix at master · kquick/tasty-checklist · 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
46
47
48
49
50
51
52
53
54
55
56
57
58
{
  # $ nix develop
  # $ nix build
  # $ nix develop .#tasty-checklist.ghc8104.default.env
  # $ nix build .#tasty-checklist
  # $ nix build .#tasty-checklist.ghc884

  description = "Checklist library for Haskell Tasty testing framework";

  nixConfig.bash-prompt-suffix = "tasty-checklist.env} ";

  inputs = {
    nixpkgs.url = github:nixos/nixpkgs/nixpkgs-unstable;
    levers = {
      type = "github";
      owner = "kquick";
      repo = "nix-levers";
      inputs.nixpkgs.follows = "nixpkgs";
    };
    parameterized-utils-src = {
      url = "github:GaloisInc/parameterized-utils";
      flake = false;
    };
    microlens-src = {
      url = "github:monadfix/microlens";
      flake = false;
    };
  };

  outputs = { self, nixpkgs, levers
            , parameterized-utils-src
            , microlens-src
            }:
    rec
    {
      devShells = levers.haskellShells
        { inherit nixpkgs;
          flake = self;
          defaultPkg = "tasty-checklist";
          # additionalPackages = pkgs.haskell.packages.ghc8107.profiteur
        };

      packages = levers.eachSystem (system:
        let mkHaskell = levers.mkHaskellPkg {inherit nixpkgs system;};
            pkgs = import nixpkgs { inherit system; };
        in rec {
          default = tasty-checklist;
          tasty-checklist = mkHaskell "tasty-checklist" self {
            inherit parameterized-utils;
          };
          parameterized-utils = mkHaskell "parameterized-utils"
            parameterized-utils-src {
            inherit microlens;
          };
          microlens = mkHaskell "microlens" "${microlens-src}/microlens" { };
        });
    };
}