From 7d788d5e4f5d627dcd1dc1cac315b99747da2be6 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Fri, 2 May 2014 19:15:38 -0500
Subject: [PATCH] Add expression for the Agda standard library

---
 .../compilers/Agda-stdlib/default.nix         | 26 +++++++++++++++++++
 pkgs/top-level/haskell-packages.nix           |  2 ++
 2 files changed, 28 insertions(+)
 create mode 100644 pkgs/development/compilers/Agda-stdlib/default.nix

diff --git a/pkgs/development/compilers/Agda-stdlib/default.nix b/pkgs/development/compilers/Agda-stdlib/default.nix
new file mode 100644
index 000000000000..d71713674f72
--- /dev/null
+++ b/pkgs/development/compilers/Agda-stdlib/default.nix
@@ -0,0 +1,26 @@
+{ cabal, fetchurl }:
+
+cabal.mkDerivation (self: {
+  pname = "Agda-stdlib";
+  version = "0.7";
+
+  src = fetchurl {
+    url = "http://www.cse.chalmers.se/~nad/software/lib-0.7.tar.gz";
+    sha256 = "1ynjgqk8hhnm6rbngy8fjsrd6i4phj2hlan9bk435bbywbl366k3";
+  };
+
+  preConfigure = "cd ffi";
+
+  postInstall = ''
+      mkdir -p $out/share
+      cp -pR ../src $out/share/agda
+  '';
+
+  meta = {
+    homepage = "http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary";
+    description = "A standard library for use with the Agda compiler.";
+    license = "unknown";
+    platforms = self.ghc.meta.platforms;
+    maintainers = [ self.stdenv.lib.maintainers.jwiegley ];
+  };
+})
\ No newline at end of file
diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix
index dd7510e4c3fa..5d3610621219 100644
--- a/pkgs/top-level/haskell-packages.nix
+++ b/pkgs/top-level/haskell-packages.nix
@@ -2919,6 +2919,8 @@ let result = let callPackage = x : y : modifyPrio (newScope result.finalReturn x
 
   AgdaExecutable = callPackage ../development/compilers/Agda-executable {};
 
+  AgdaStdLib = callPackage ../development/compilers/Agda-stdlib {};
+
   uhc = callPackage ../development/compilers/uhc {};
 
   epic = callPackage ../development/compilers/epic {};