agda: Remove buildTools, it is unused

This commit is contained in:
John Ericson 2015-05-18 04:02:31 +00:00
parent 45052c02a8
commit 95c1c686a3

View file

@ -37,7 +37,7 @@ in
everythingFile = "Everything.agda";
propagatedBuildInputs = self.buildDepends ++ self.buildTools;
propagatedBuildInputs = self.buildDepends;
propagatedUserEnvPkgs = self.buildDepends;
# Immediate source directories under which modules can be found.
@ -50,8 +50,6 @@ in
# would make a direct copy of the whole thing.
topSourceDirectories = [ "src" ];
buildTools = [];
# Extra stuff to pass to the Agda binary.
extraBuildFlags = [ "-i ." ];
buildFlags = let r = map (x: "-i " + x + "/share/agda") self.buildDepends;