diff options
author | Dmitry Kalinkin <dmitry.kalinkin@gmail.com> | 2020-05-28 12:32:34 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-28 12:32:34 -0400 |
commit | dba97ff6dd23cbbde5b36b2877ef11200e135dea (patch) | |
tree | f656b7641c894c87dd4d1da78801ddf64ad38ee8 /pkgs | |
parent | df9ac8b4a058010829a3f4c36f7c8814edd398ea (diff) | |
parent | db1bed388503c493fca9387c06981adbd0b86cf1 (diff) | |
download | nixlib-dba97ff6dd23cbbde5b36b2877ef11200e135dea.tar nixlib-dba97ff6dd23cbbde5b36b2877ef11200e135dea.tar.gz nixlib-dba97ff6dd23cbbde5b36b2877ef11200e135dea.tar.bz2 nixlib-dba97ff6dd23cbbde5b36b2877ef11200e135dea.tar.lz nixlib-dba97ff6dd23cbbde5b36b2877ef11200e135dea.tar.xz nixlib-dba97ff6dd23cbbde5b36b2877ef11200e135dea.tar.zst nixlib-dba97ff6dd23cbbde5b36b2877ef11200e135dea.zip |
Merge pull request #88015 from alexarice/agda-pkg-init
agda-pkg: init at 0.1.50
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/python-modules/ponywhoosh/default.nix | 23 | ||||
-rw-r--r-- | pkgs/development/tools/agda-pkg/default.nix | 44 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 | ||||
-rw-r--r-- | pkgs/top-level/python-packages.nix | 2 |
4 files changed, 71 insertions, 0 deletions
diff --git a/pkgs/development/python-modules/ponywhoosh/default.nix b/pkgs/development/python-modules/ponywhoosh/default.nix new file mode 100644 index 000000000000..589be17b0163 --- /dev/null +++ b/pkgs/development/python-modules/ponywhoosh/default.nix @@ -0,0 +1,23 @@ +{ lib, buildPythonPackage, fetchPypi, pony, whoosh }: + +buildPythonPackage rec { + pname = "ponywhoosh"; + version = "1.7.8"; + + src = fetchPypi { + inherit pname version; + sha256 = "1mggj9d265hra4z67qyla686qvl0cf79655cszi136gh9hqlibv9"; + }; + + propagatedBuildInputs = [ + pony + whoosh + ]; + + meta = with lib; { + homepage = "https://pythonhosted.org/ponywhoosh/"; + description = "Make your database over PonyORM searchable"; + license = licenses.mit; + maintainers = with maintainers; [ alexarice ]; + }; +} diff --git a/pkgs/development/tools/agda-pkg/default.nix b/pkgs/development/tools/agda-pkg/default.nix new file mode 100644 index 000000000000..0d93694b50fe --- /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 ]; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index fcdcc8f10cea..4a5953e00130 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -601,6 +601,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 { }; diff --git a/pkgs/top-level/python-packages.nix b/pkgs/top-level/python-packages.nix index 3bccf088937d..b8d529fe23b4 100644 --- a/pkgs/top-level/python-packages.nix +++ b/pkgs/top-level/python-packages.nix @@ -5073,6 +5073,8 @@ in { polib = callPackage ../development/python-modules/polib {}; + ponywhoosh = callPackage ../development/python-modules/ponywhoosh { }; + posix_ipc = callPackage ../development/python-modules/posix_ipc { }; portend = callPackage ../development/python-modules/portend { }; |