agda-categories: init at 0.1

This commit is contained in:
Alex Rice 2019-12-29 17:22:00 +00:00
parent c2814be3a3
commit 6c1cdedb6d
No known key found for this signature in database
GPG key ID: 93DDCD7A2B3F3B88
2 changed files with 30 additions and 0 deletions

View file

@ -0,0 +1,28 @@
{ lib, mkDerivation, fetchFromGitHub, standard-library }:
mkDerivation rec {
version = "0.1";
pname = "agda-categories";
src = fetchFromGitHub {
owner = "agda";
repo = "agda-categories";
rev = "release/v${version}";
sha256 = "0m4pjy92jg6zfziyv0bxv5if03g8k4413ld8c3ii2xa8bzfn04m2";
};
buildInputs = [ standard-library ];
meta = with lib; {
inherit (src.meta) homepage;
description = "A new Categories library";
license = licenses.bsd3;
platforms = platforms.unix;
# agda categories takes a lot of memory to build.
# This can be removed if this is eventually fixed upstream.
hydraPlatforms = [];
# Waiting for release 0.2 for this to work
broken = true;
maintainers = with maintainers; [ alexarice ];
};
}

View file

@ -20,5 +20,7 @@ let
iowa-stdlib = callPackage ../development/libraries/agda/iowa-stdlib { };
agda-prelude = callPackage ../development/libraries/agda/agda-prelude { };
agda-categories = callPackage ../development/libraries/agda/agda-categories { };
};
in mkAgdaPackages Agda