Fixup

argumentcomputer · Feb 28, 2025 · fed1dac · fed1dac
1 parent 6454768
commit fed1dac
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/templates/lake-project/flake.nix b/templates/lake-project/flake.nix
@@ -10,7 +10,6 @@
       url = "github:argumentcomputer/LSpec?ref=ca8e2803f89f0c12bf9743ae7abbfb2ea6b0eeec";
       flake = false;
     };
-
   };
 
   outputs = inputs @ {
@@ -44,10 +43,10 @@
             roots = ["Main" "LakeProject"]; # Add each `lean_lib` as a root
           }).executable;
 
-        packages.lspec = (pkgs.lean.buildLeanPackage {
+        packages.lspec = ((lean4-nix.lake {inherit pkgs;}).mkPackage {
           name = "LSpec";
-          roots = ["Main" "LSpec"];
           src = "${lspec}";
+          roots = ["Main" "LSpec"];
         }).executable;
 
         devShells.default = pkgs.mkShell {