tjh.dev
1{ lib
2, python3Packages
3, fetchPypi
4}:
5
6with python3Packages;
7
8buildPythonApplication rec {
9 pname = "agda-pkg";
10 version = "0.1.51";
11
12 disabled = pythonOlder "3.6";
13
14 src = fetchPypi {
15 inherit pname version;
16 sha256 = "ee370889a1558caf45930d9f898dbe248048078e1e7e3ee17382bf574dc795f2";
17 };
18
19 # Checks need internet access, so we just check the program executes
20 # At the moment the help page needs to write to $HOME, this can
21 # be removed if https://github.com/agda/agda-pkg/issues/40 is fixed
22 checkPhase = ''
23 HOME=$NIX_BUILD_TOP $out/bin/apkg --help > /dev/null
24 '';
25
26 propagatedBuildInputs = [
27 click
28 gitpython
29 pony
30 whoosh
31 natsort
32 click-log
33 requests
34 humanize
35 distlib
36 jinja2
37 pyyaml
38 ponywhoosh
39 ];
40
41 meta = with lib; {
42 homepage = "https://agda.github.io/agda-pkg/";
43 description = "Package manager for Agda";
44 license = licenses.mit;
45 maintainers = with maintainers; [ alexarice ];
46 };
47}