essential-debugger 0.2.0

An experimental constraint debugger for the Essential constraint checking engine
Documentation 
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

{
  description = ''
    A nix flake for the essential debugger.
  '';

  inputs = {
    nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
    systems.url = "github:nix-systems/default";
  };

  outputs = inputs:
    let
      overlays = [
        inputs.self.overlays.default
      ];
      perSystemPkgs = f:
        inputs.nixpkgs.lib.genAttrs (import inputs.systems)
          (system: f (import inputs.nixpkgs { inherit overlays system; }));
    in
    {
      overlays = {
        essential-debugger = import ./overlay.nix { };
        default = inputs.self.overlays.essential-debugger;
      };

      packages = perSystemPkgs (pkgs: {
        essential-debugger = pkgs.essential-debugger;
        default = inputs.self.packages.${pkgs.system}.essential-debugger;
      });

      devShells = perSystemPkgs (pkgs: {
        essential-debugger-dev = pkgs.callPackage ./shell.nix { };
        default = inputs.self.devShells.${pkgs.system}.essential-debugger-dev;
      });

      apps = perSystemPkgs (pkgs: {
        debugger = {
          type = "app";
          program = "${pkgs.essential-debugger}/bin/essential-debugger";
        };
        default = inputs.self.apps.${pkgs.system}.debugger;
      });

      formatter = perSystemPkgs (pkgs: pkgs.nixpkgs-fmt);
    };
}