pkgs/development/tools/agda-pkg/default.nix

   1 { lib
   2 , python3Packages
   3 , fetchPypi
   4 }:
   5
   6 with python3Packages;
   7
   8 buildPythonApplication 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 }