aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 13 Pull Requests 2 Packages Projects Releases Wiki Activity

build: Update flake

This commit is contained in:
Leni Aniva 2025-07-11 16:29:45 -07:00
parent 147d3cc87e
commit 672b2a11f9
Signed by: aniva
GPG Key ID: D5F96287843E8DFB
2 changed files with 31 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
flake.lock
View File

@ -5,11 +5,11 @@
"nixpkgs-lib": "nixpkgs-lib" "nixpkgs-lib": "nixpkgs-lib"
}, },
"locked": { "locked": {
"lastModified": 1749398372, "lastModified": 1751413152,
"narHash": "sha256-tYBdgS56eXYaWVW3fsnPQ/nFlgWi/Z2Ymhyu21zVM98=", "narHash": "sha256-Tyw1RjYEsp5scoigs1384gIg6e0GoBVjms4aXFfRssQ=",
"owner": "hercules-ci", "owner": "hercules-ci",
"repo": "flake-parts", "repo": "flake-parts",
"rev": "9305fe4e5c2a6fcf5ba6a3ff155720fbe4076569", "rev": "77826244401ea9de6e3bac47c2db46005e1f30b5",
"type": "github" "type": "github"
}, },
"original": { "original": {
@ -42,11 +42,11 @@
"nixpkgs": "nixpkgs" "nixpkgs": "nixpkgs"
}, },
"locked": { "locked": {
"lastModified": 1750369222, "lastModified": 1751390929,
"narHash": "sha256-KFFTVbciXUaHgeGN1yiaUtY88OLGU0gElXx5SfICDKg=", "narHash": "sha256-Wl2miy8PhNF6ue3R1ssQbsVK3foJ37tYtznNq/i14YM=",
"owner": "lenianiva", "owner": "lenianiva",
"repo": "lean4-nix", "repo": "lean4-nix",
"rev": "015ecd25206734d582a1b15dd11eb10be35ca555", "rev": "68a07e4af5e2e56276056b172e046a2276d21aee",
"type": "github" "type": "github"
}, },
"original": { "original": {
@ -73,11 +73,11 @@
}, },
"nixpkgs-lib": { "nixpkgs-lib": {
"locked": { "locked": {
"lastModified": 1748740939, "lastModified": 1751159883,
"narHash": "sha256-rQaysilft1aVMwF14xIdGS3sj1yHlI6oKQNBRTF40cc=", "narHash": "sha256-urW/Ylk9FIfvXfliA1ywh75yszAbiTEVgpPeinFyVZo=",
"owner": "nix-community", "owner": "nix-community",
"repo": "nixpkgs.lib", "repo": "nixpkgs.lib",
"rev": "656a64127e9d791a334452c6b6606d17539476e2", "rev": "14a40a1d7fb9afa4739275ac642ed7301a9ba1ab",
"type": "github" "type": "github"
}, },
"original": { "original": {
@ -100,16 +100,16 @@
}, },
"nixpkgs_2": { "nixpkgs_2": {
"locked": { "locked": {
"lastModified": 1751048012, "lastModified": 1751943650,
"narHash": "sha256-MYbotu4UjWpTsq01wglhN5xDRfZYLFtNk7SBY0BcjkU=", "narHash": "sha256-7orTnNqkGGru8Je6Un6mq1T8YVVU/O5kyW4+f9C1mZQ=",
"owner": "nixos", "owner": "nixos",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "a684c58d46ebbede49f280b653b9e56100aa3877", "rev": "88983d4b665fb491861005137ce2b11a9f89f203",
"type": "github" "type": "github"
}, },
"original": { "original": {
"owner": "nixos", "owner": "nixos",
"ref": "nixos-24.11", "ref": "nixos-25.05",
"repo": "nixpkgs", "repo": "nixpkgs",
"type": "github" "type": "github"
} }

25
flake.nix
View File

@ -2,7 +2,7 @@
description = "Pantograph"; description = "Pantograph";
inputs = { inputs = {
nixpkgs.url = "github:nixos/nixpkgs/nixos-24.11"; nixpkgs.url = "github:nixos/nixpkgs/nixos-25.05";
flake-parts.url = "github:hercules-ci/flake-parts"; flake-parts.url = "github:hercules-ci/flake-parts";
lean4-nix.url = "github:lenianiva/lean4-nix"; lean4-nix.url = "github:lenianiva/lean4-nix";
}; };
@ -45,10 +45,6 @@
./Pantograph.lean ./Pantograph.lean
(fileFilter (file: file.hasExt "lean") ./Pantograph) (fileFilter (file: file.hasExt "lean") ./Pantograph)
]; ];
set-repl = unions [
./Main.lean
./Repl.lean
];
set-test = unions [ set-test = unions [
(fileFilter (file: file.hasExt "lean") ./Test) (fileFilter (file: file.hasExt "lean") ./Test)
]; ];
@ -62,14 +58,22 @@
root = src; root = src;
fileset = unions [ fileset = unions [
set-project set-project
set-repl ./Main.lean
./Repl.lean
];
};
src-tomograph = toSource {
root = src;
fileset = unions [
set-project
./Tomograph.lean
]; ];
}; };
src-test = toSource { src-test = toSource {
root = src; root = src;
fileset = unions [ fileset = unions [
set-project set-project
set-repl ./Repl.lean
set-test set-test
]; ];
}; };
@ -84,6 +88,12 @@
deps = [project]; deps = [project];
src = src-repl; src = src-repl;
}; };
tomograph = pkgs.lean.buildLeanPackage {
name = "tomograph";
roots = ["Tomograph"];
deps = [project];
src = src-tomograph;
};
test = pkgs.lean.buildLeanPackage { test = pkgs.lean.buildLeanPackage {
name = "Test"; name = "Test";
# NOTE: The src directory must be ./. since that is where the import # NOTE: The src directory must be ./. since that is where the import
@ -98,6 +108,7 @@
inherit (pkgs.lean) lean lean-all; inherit (pkgs.lean) lean lean-all;
inherit (project) sharedLib iTree; inherit (project) sharedLib iTree;
inherit (repl) executable; inherit (repl) executable;
tomograph = tomograph.executable;
default = repl.executable; default = repl.executable;
}; };
legacyPackages = { legacyPackages = {