From 95c1c686a371954751003c8108f9b6bd49a5338b Mon Sep 17 00:00:00 2001
From: John Ericson <Ericson2314@Yahoo.com>
Date: Mon, 18 May 2015 04:02:31 +0000
Subject: [PATCH] agda: Remove buildTools, it is unused

---
 pkgs/build-support/agda/default.nix | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix
index 03a417a3784..d268bc3b122 100644
--- a/pkgs/build-support/agda/default.nix
+++ b/pkgs/build-support/agda/default.nix
@@ -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;