PROLEAD/flake.nix at main · ChairImpSec/PROLEAD · 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
{
  description = "PROLEAD";

  inputs = {
    nixpkgs.url = "github:nixos/nixpkgs?ref=nixos-unstable";
    flake-parts.url = "github:hercules-ci/flake-parts";
  };

  outputs =
    inputs@{ flake-parts, ... }:
    flake-parts.lib.mkFlake { inherit inputs; } {
      systems = [
        "x86_64-linux"
        "aarch64-linux"
      ];
      perSystem =
        { pkgs, ... }:
        let
          prolead = pkgs.callPackage ./prolead.nix;
          gdstk = pkgs.callPackage ./gdstk.nix { };
        in
        with pkgs;
        rec {
          packages.prolead =
            (prolead {
              inherit gdstk;
              withPython = python312;
            }).overrideAttrs
              (old: {
                src = ./.;
                version = "dev";
                buildInputs = old.buildInputs ++ [
                  qhull
                  zlib
                ];
              });
          packages.prolead_31 = prolead { };
          packages.default = packages.prolead;

          devShells.default = callPackage ./shell.nix {
            inherit gdstk;
          };
          formatter = nixfmt-tree;
        };
    };
}