From 64d662e0568ee541cf87a6c7092dd810af579c0f Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Sat, 3 May 2014 12:37:17 +0200
Subject: [PATCH] Agda: move compiler and standard library into a common
 directory

Also renamed AgdaStdLib attribute to AgdaStdlib, since upstream doesn't
seem to capitalize that name.
---
 .../default.nix => agda/agda-executable.nix}                 | 0
 .../{Agda-stdlib/default.nix => agda/agda-stdlib.nix}        | 0
 pkgs/top-level/haskell-packages.nix                          | 5 ++---
 3 files changed, 2 insertions(+), 3 deletions(-)
 rename pkgs/development/compilers/{Agda-executable/default.nix => agda/agda-executable.nix} (100%)
 rename pkgs/development/compilers/{Agda-stdlib/default.nix => agda/agda-stdlib.nix} (100%)

diff --git a/pkgs/development/compilers/Agda-executable/default.nix b/pkgs/development/compilers/agda/agda-executable.nix
similarity index 100%
rename from pkgs/development/compilers/Agda-executable/default.nix
rename to pkgs/development/compilers/agda/agda-executable.nix
diff --git a/pkgs/development/compilers/Agda-stdlib/default.nix b/pkgs/development/compilers/agda/agda-stdlib.nix
similarity index 100%
rename from pkgs/development/compilers/Agda-stdlib/default.nix
rename to pkgs/development/compilers/agda/agda-stdlib.nix
diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix
index 234b630ece9..f9cb9d0f398 100644
--- a/pkgs/top-level/haskell-packages.nix
+++ b/pkgs/top-level/haskell-packages.nix
@@ -2921,9 +2921,8 @@ let result = let callPackage = x : y : modifyPrio (newScope result.finalReturn x
 
   # Compilers.
 
-  AgdaExecutable = callPackage ../development/compilers/Agda-executable {};
-
-  AgdaStdLib = callPackage ../development/compilers/Agda-stdlib {};
+  AgdaExecutable = callPackage ../development/compilers/agda/agda-executable.nix {};
+  AgdaStdlib = callPackage ../development/compilers/agda/agda-stdlib.nix {};
 
   uhc = callPackage ../development/compilers/uhc {};