about summary refs log tree commit diff
path: root/nixpkgs/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'nixpkgs/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix')
-rw-r--r--nixpkgs/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix27
1 files changed, 27 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix b/nixpkgs/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix
new file mode 100644
index 000000000000..e2d64841985c
--- /dev/null
+++ b/nixpkgs/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix
@@ -0,0 +1,27 @@
+{ stdenv, agda, fetchFromGitHub }:
+
+agda.mkDerivation (self: rec {
+  version = "1.5.0";
+  name = "agda-iowa-stdlib-${version}";
+
+  src = fetchFromGitHub {
+    owner = "cedille";
+    repo  = "ial";
+    rev = "v${version}";
+    sha256 = "0dlis6v6nzbscf713cmwlx8h9n2gxghci8y21qak3hp18gkxdp0g";
+  };
+
+  sourceDirectories = [ "./." ];
+  buildPhase = ''
+    patchShebangs find-deps.sh
+    make
+  '';
+
+  meta = {
+    homepage = https://svn.divms.uiowa.edu/repos/clc/projects/agda/lib/;
+    description = "Agda standard library developed at Iowa";
+    license = stdenv.lib.licenses.free;
+    platforms = stdenv.lib.platforms.unix;
+    maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
+  };
+})