From ee31679bad09b63164c9bcd665b9d23070cd545f Mon Sep 17 00:00:00 2001
From: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
Date: Thu, 11 Sep 2014 20:17:45 +0100
Subject: [PATCH] agda-stdlib: make expression nicer, fix license

---
 pkgs/development/compilers/agda/stdlib.nix | 11 +++++------
 pkgs/top-level/all-packages.nix            |  2 +-
 2 files changed, 6 insertions(+), 7 deletions(-)

diff --git a/pkgs/development/compilers/agda/stdlib.nix b/pkgs/development/compilers/agda/stdlib.nix
index 136d4e0c815..7305fbb5397 100644
--- a/pkgs/development/compilers/agda/stdlib.nix
+++ b/pkgs/development/compilers/agda/stdlib.nix
@@ -1,8 +1,5 @@
-{ stdenv, agda, fetchurl, ghcWithPackages }:
+{ stdenv, agda, fetchurl, ghc, filemanip }:
 
-let
-  ghc = ghcWithPackages (s: [ s.filemanip ]);
-in
 agda.mkDerivation (self: rec {
   name = "Agda-stdlib";
   version = "0.8.1";
@@ -12,8 +9,9 @@ agda.mkDerivation (self: rec {
     sha256 = "0ij4rg4lk0pq01ing285gbmnn23dcf2rhihdcs8bbdpjg52vl4gf";
   };
 
+  buildInputs = [ filemanip ghc ];
   preConfigure = ''
-    ${ghc}/bin/runhaskell GenerateEverything.hs
+    runhaskell GenerateEverything.hs
   '';
 
   topSourceDirectories = [ "src" ];
@@ -21,7 +19,8 @@ agda.mkDerivation (self: rec {
   meta = with stdenv.lib; {
     homepage = "http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary";
     description = "A standard library for use with the Agda compiler.";
-    license = "unknown";
+    license = stdenv.lib.licenses.mit;
+    platforms = stdenv.lib.platforms.unix;
     maintainers = with maintainers; [ jwiegley ];
   };
 })
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index b485900e59a..642264c5954 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -6637,7 +6637,7 @@ let
   };
 
   AgdaStdlib = callPackage ../development/compilers/agda/stdlib.nix {
-    ghcWithPackages = haskellPackages.ghcWithPackages;
+    inherit (haskellPackages) ghc filemanip;
   };
 
   AgdaSheaves = callPackage ../development/libraries/agda/AgdaSheaves {};