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

chore: Use `fetchGit` for `LSpec` input

This commit is contained in:
Leni Aniva 2025-03-08 21:11:34 -08:00
parent 39ec79e6bb
commit 5a690c4421
Signed by: aniva
GPG Key ID: 4D9B1C8D10EA4C50
1 changed files with 9 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
flake.nix
View File

@ -2,12 +2,11 @@
description = "Pantograph"; description = "Pantograph";
inputs = { inputs = {
nixpkgs.url = "github:nixos/nixpkgs/nixos-24.05"; nixpkgs.url = "github:nixos/nixpkgs/nixos-24.11";
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 = {
lspec = { url = "github:lenianiva/lean4-nix";
url = "github:argumentcomputer/LSpec?ref=504a8cecf8da601b9466ac727aebb6b511aae4ab"; inputs.nixpkgs.follows = "nixpkgs";
flake = false;
}; };
}; };
@ -16,7 +15,6 @@
nixpkgs, nixpkgs,
flake-parts, flake-parts,
lean4-nix, lean4-nix,
lspec,
... ...
}: }:
flake-parts.lib.mkFlake {inherit inputs;} { flake-parts.lib.mkFlake {inherit inputs;} {
@ -39,8 +37,11 @@
}; };
lspecLib = pkgs.lean.buildLeanPackage { lspecLib = pkgs.lean.buildLeanPackage {
name = "LSpec"; name = "LSpec";
roots = ["Main" "LSpec"]; roots = ["LSpec"];
src = "${lspec}"; src = builtins.fetchGit {
url = "https://github.com/argumentcomputer/LSpec.git";
rev = "ca8e2803f89f0c12bf9743ae7abbfb2ea6b0eeec";
};
}; };
project = pkgs.lean.buildLeanPackage { project = pkgs.lean.buildLeanPackage {
name = "Pantograph"; name = "Pantograph";