diff options
author | Alex Rice <alexrice999@hotmail.co.uk> | 2020-05-17 11:19:59 +0100 |
---|---|---|
committer | Alex Rice <alexrice999@hotmail.co.uk> | 2020-05-27 08:55:27 +0100 |
commit | db1bed388503c493fca9387c06981adbd0b86cf1 (patch) | |
tree | 79fe3764aab46a08c12eb7152c80863e0d9fa43a /pkgs/development/tools/agda-pkg | |
parent | 80922cac348e2358d770da4042e897d4f9a95a65 (diff) | |
download | nixpkgs-db1bed388503c493fca9387c06981adbd0b86cf1.tar nixpkgs-db1bed388503c493fca9387c06981adbd0b86cf1.tar.gz nixpkgs-db1bed388503c493fca9387c06981adbd0b86cf1.tar.bz2 nixpkgs-db1bed388503c493fca9387c06981adbd0b86cf1.tar.lz nixpkgs-db1bed388503c493fca9387c06981adbd0b86cf1.tar.xz nixpkgs-db1bed388503c493fca9387c06981adbd0b86cf1.tar.zst nixpkgs-db1bed388503c493fca9387c06981adbd0b86cf1.zip |
agda-pkg: init at 0.1.50
Diffstat (limited to 'pkgs/development/tools/agda-pkg')
-rw-r--r-- | pkgs/development/tools/agda-pkg/default.nix | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/pkgs/development/tools/agda-pkg/default.nix b/pkgs/development/tools/agda-pkg/default.nix new file mode 100644 index 00000000000..0d93694b50f --- /dev/null +++ b/pkgs/development/tools/agda-pkg/default.nix @@ -0,0 +1,44 @@ +{ lib, python3Packages }: + +with python3Packages; + +buildPythonApplication rec { + pname = "agda-pkg"; + version = "0.1.50"; + + disabled = pythonOlder "3.6"; + + src = fetchPypi { + inherit pname version; + sha256 = "0wpw90kw3danw91m3jzfdn7zmclimmiz74f77mpij9b1w6wvhm11"; + }; + + # Checks need internet access, so we just check the program executes + # At the moment the help page needs to write to $HOME, this can + # be removed if https://github.com/agda/agda-pkg/issues/40 is fixed + checkPhase = '' + HOME=$NIX_BUILD_TOP $out/bin/apkg --help > /dev/null + ''; + + propagatedBuildInputs = [ + click + GitPython + pony + whoosh + natsort + click-log + requests + humanize + distlib + jinja2 + pyyaml + ponywhoosh + ]; + + meta = with lib; { + homepage = "https://agda.github.io/agda-pkg/"; + description = "Package manager for Agda"; + license = licenses.mit; + maintainers = with maintainers; [ alexarice ]; + }; +} |