build: Ignore test files when building target
This commit is contained in:
parent
1d1a151a4b
commit
c5404b8210
|
@ -39,7 +39,13 @@
|
|||
name = "Pantograph";
|
||||
#roots = pkgs.lib.optional pkgs.stdenv.isDarwin [ "Main" "Pantograph" ];
|
||||
roots = [ "Main" "Pantograph" ];
|
||||
src = ./.;
|
||||
src = pkgs.lib.cleanSourceWith {
|
||||
src = ./.;
|
||||
filter = path: type:
|
||||
!(pkgs.lib.hasInfix "/Test/" path) &&
|
||||
!(pkgs.lib.hasSuffix ".md" path) &&
|
||||
!(pkgs.lib.hasSuffix "Makefile" path);
|
||||
};
|
||||
};
|
||||
test = leanPkgs.buildLeanPackage {
|
||||
name = "Test";
|
||||
|
@ -58,7 +64,6 @@
|
|||
packages = {
|
||||
inherit (leanPkgs) lean lean-all;
|
||||
inherit (project) sharedLib executable;
|
||||
test = test.executable;
|
||||
default = project.executable;
|
||||
};
|
||||
checks = {
|
||||
|
|
Loading…
Reference in New Issue