agda-pkg: init at 0.1.50
This commit is contained in:
parent
80922cac34
commit
db1bed3885
44
pkgs/development/tools/agda-pkg/default.nix
Normal file
44
pkgs/development/tools/agda-pkg/default.nix
Normal file
|
@ -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 ];
|
||||
};
|
||||
}
|
|
@ -599,6 +599,8 @@ in
|
|||
|
||||
afpfs-ng = callPackage ../tools/filesystems/afpfs-ng { };
|
||||
|
||||
agda-pkg = callPackage ../development/tools/agda-pkg { };
|
||||
|
||||
agrep = callPackage ../tools/text/agrep { };
|
||||
|
||||
aha = callPackage ../tools/text/aha { };
|
||||
|
|
Loading…
Reference in a new issue