Pantograph/flake.nix

39 lines
840 B
Nix
Raw Permalink Normal View History

2023-10-20 11:52:09 -07:00
{
description = "Pantograph";
inputs = {
nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
flake-parts.url = "github:hercules-ci/flake-parts";
lean.url = "github:leanprover/lean4?ref=v4.1.0";
};
outputs = inputs @ {
self,
nixpkgs,
flake-parts,
lean,
...
} : flake-parts.lib.mkFlake { inherit inputs; } {
flake = {
};
systems = [
"x86_64-linux"
"x86_64-darwin"
];
perSystem = { system, pkgs, ... }: let
leanPkgs = lean.packages.${system};
project = leanPkgs.buildLeanPackage {
name = "Pantograph";
roots = [ "Main" "Pantograph" ];
src = ./.;
};
in rec {
packages = project // {
2024-02-13 12:30:56 -08:00
inherit leanPkgs;
2023-10-20 11:52:09 -07:00
default = packages.executable;
};
devShells.default = project.devShell;
};
};
}