From bca7b3db2a569f7d950cae9f94aadc34fb39ec60 Mon Sep 17 00:00:00 2001
From: Alex Rice <alexrice999@hotmail.co.uk>
Date: Sat, 30 Nov 2019 15:52:30 +0000
Subject: [PATCH] agda-categories: init at 0.1

---
 .../agda/agda-categories/default.nix          | 28 +++++++++++++++++++
 .../agda/agda-categories/depend.patch         |  9 ++++++
 pkgs/top-level/all-packages.nix               |  4 ++-
 3 files changed, 40 insertions(+), 1 deletion(-)
 create mode 100644 pkgs/development/libraries/agda/agda-categories/default.nix
 create mode 100644 pkgs/development/libraries/agda/agda-categories/depend.patch

diff --git a/pkgs/development/libraries/agda/agda-categories/default.nix b/pkgs/development/libraries/agda/agda-categories/default.nix
new file mode 100644
index 0000000000000..f55183b165db5
--- /dev/null
+++ b/pkgs/development/libraries/agda/agda-categories/default.nix
@@ -0,0 +1,28 @@
+{ lib, agda, fetchFromGitHub, AgdaStdlib }:
+
+agda.mkDerivation (self: rec {
+  version = "0.1";
+  pname = "agda-categories";
+  name = "${pname}-${version}";
+
+  src = fetchFromGitHub {
+    owner = "agda";
+    repo = pname;
+    rev = "release/v${version}";
+    sha256 = "0m4pjy92jg6zfziyv0bxv5if03g8k4413ld8c3ii2xa8bzfn04m2";
+  };
+
+  # Remove the dependency in the agda file as this breaks the current agda infrastructure
+  patches = [ ./depend.patch ];
+  sourceDirectories = [ "Categories" "Relation" ];
+
+  buildDepends = [ AgdaStdlib ];
+
+  meta = with lib; {
+    inherit (src.meta) homepage;
+    description = "A new Categories library";
+    license = licenses.bsd3;
+    platforms = platforms.unix;
+    maintainers = with maintainers; [ alexarice ];
+  };
+})
diff --git a/pkgs/development/libraries/agda/agda-categories/depend.patch b/pkgs/development/libraries/agda/agda-categories/depend.patch
new file mode 100644
index 0000000000000..a56bdaba36bc6
--- /dev/null
+++ b/pkgs/development/libraries/agda/agda-categories/depend.patch
@@ -0,0 +1,9 @@
+diff --git a/agda-categories.agda-lib b/agda-categories.agda-lib
+index cc76242..888b196 100644
+--- a/agda-categories.agda-lib
++++ b/agda-categories.agda-lib
+@@ -1,3 +1,2 @@
+ name: agda-categories
+-depend: standard-library
+ include: .
+\ No newline at end of file
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 08f637c76c49d..ba010aae841a4 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -6638,7 +6638,7 @@ in
   thin-provisioning-tools = callPackage ../tools/misc/thin-provisioning-tools {  };
 
   tiled = libsForQt5.callPackage ../applications/editors/tiled { };
-  
+
   tiledb = callPackage ../development/libraries/tiledb { };
 
   timemachine = callPackage ../applications/audio/timemachine { };
@@ -14670,6 +14670,8 @@ in
 
   agdaBase = callPackage ../development/libraries/agda/agda-base { };
 
+  agda-categories = callPackage ../development/libraries/agda/agda-categories { };
+
   agdaIowaStdlib = callPackage ../development/libraries/agda/agda-iowa-stdlib { };
 
   agdaPrelude = callPackage ../development/libraries/agda/agda-prelude { };