flake.nix

@@ -36,56 +36,33 @@
           overlays = [(lean4-nix.readToolchainFile ./lean-toolchain)];
         };
         manifest = pkgs.lib.importJSON ./lake-manifest.json;
-        manifest-lspec = builtins.head manifest.packages;
+        manifest-lspec = builtins.head manifest;
         lspecLib = pkgs.lean.buildLeanPackage {
           name = "LSpec";
           roots = ["LSpec"];
-          src = builtins.fetchGit {inherit (manifest-lspec) url rev;};
-        };
-        inherit (pkgs.lib.fileset) unions toSource fileFilter;
-        src = ./.;
-        set-project = unions [
-          ./Pantograph.lean
-          (fileFilter (file: file.hasExt "lean") ./Pantograph)
-        ];
-        set-repl = unions [
-          ./Main.lean
-          ./Repl.lean
-        ];
-        set-test = unions [
-          (fileFilter (file: file.hasExt "lean") ./Test)
-        ];
-        src-project = toSource {
-          root = src;
-          fileset = unions [
-            set-project
-          ];
-        };
-        src-repl = toSource {
-          root = src;
-          fileset = unions [
-            set-project
-            set-repl
-          ];
-        };
-        src-test = toSource {
-          root = src;
-          fileset = unions [
-            set-project
-            set-repl
-            set-test
-          ];
+          src = builtins.fetchGit { inherit (manifest-lspec) url rev; };
         };
         project = pkgs.lean.buildLeanPackage {
           name = "Pantograph";
           roots = ["Pantograph"];
-          src = src-project;
+          src = pkgs.lib.cleanSource (pkgs.lib.cleanSourceWith {
+            src = ./.;
+            filter = path: type:
+              !(pkgs.lib.hasInfix "/Test/" path)
+              && !(pkgs.lib.hasSuffix ".md" path)
+              && !(pkgs.lib.hasSuffix "Repl.lean" path);
+          });
         };
         repl = pkgs.lean.buildLeanPackage {
           name = "Repl";
           roots = ["Main" "Repl"];
           deps = [project];
-          src = src-repl;
+          src = pkgs.lib.cleanSource (pkgs.lib.cleanSourceWith {
+            src = ./.;
+            filter = path: type:
+              !(pkgs.lib.hasInfix "/Test/" path)
+              && !(pkgs.lib.hasSuffix ".md" path);
+          });
         };
         test = pkgs.lean.buildLeanPackage {
           name = "Test";
@@ -94,7 +71,11 @@
           # Environment`) and thats where `lakefile.lean` resides.
           roots = ["Test.Main"];
           deps = [lspecLib repl];
-          src = src-test;
+          src = pkgs.lib.cleanSource (pkgs.lib.cleanSourceWith {
+            src = ./.;
+            filter = path: type:
+              !(pkgs.lib.hasInfix "Pantograph" path);
+          });
         };
       in rec {
         packages = {