agda2lambox/flake.nix at master · agda/agda2lambox · 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
59
60
61
62
63
64
65
66
67
{
  description = "agda2lambox";

  inputs = {
    nixpkgs.url = "github:NixOS/nixpkgs";
    flake-utils.url = "github:numtide/flake-utils";
  };

  outputs =
    {
      self,
      nixpkgs,
      flake-utils,
      ...
    }@inputs:
    let
      overlay-agda2lambox =
        final: prev:
        let
          hLib = prev.haskell.lib;
          lib = prev.lib;
          src = lib.fileset.toSource {
            root = ./.;
            fileset = lib.fileset.unions [
              ./src
              ./agda2lambox.cabal
            ];
          };
        in
        {
          haskellPackages = prev.haskellPackages.extend (
            hfinal: hprev: {
              sexpresso = hLib.doJailbreak (hLib.markUnbroken hprev.sexpresso);
              agda2lambox = hLib.doJailbreak (hfinal.callCabal2nix "agda2lambox" ./. { }) // {
                phases = [ "unpackPhase" "configurePhase" "buildPhase" "installPhase" "checkPhase" ];
              };
            }
          );
        };
    in
    flake-utils.lib.eachDefaultSystem (
      system:
      let
        pkgs = import nixpkgs {
          inherit system;
          overlays = [
            overlay-agda2lambox
          ];
        };
        agda2lambox = pkgs.haskellPackages.agda2lambox;
      in
      {
        packages = {
          inherit agda2lambox;
          default = agda2lambox;
        };
        devShells.default = pkgs.haskellPackages.shellFor {
          packages = p: [ p.agda2lambox ];
          buildInputs = with pkgs.haskellPackages; [
            cabal-install
            cabal2nix
            haskell-language-server
          ];
        };
      }
    );
}