pkgs/development/python-modules/logical-unification/default.nix

   1 { lib
   2 , buildPythonPackage
   3 , fetchFromGitHub
   4 , pythonAtLeast
   5 , toolz
   6 , multipledispatch
   7 , py
   8 , pytestCheckHook
   9 , pytest-html
  10 , pytest-benchmark
  11 }:
  12
  13 buildPythonPackage rec {
  14   pname = "logical-unification";
  15   version = "0.4.6";
  16   format = "setuptools";
  17
  18   src = fetchFromGitHub {
  19     owner = "pythological";
  20     repo = "unification";
  21     rev = "refs/tags/v${version}";
  22     hash = "sha256-uznmlkREFONU1YoI/+mcfb+Yg30NinWvsMxTfHCXzOU=";
  23   };
  24
  25   propagatedBuildInputs = [
  26     toolz
  27     multipledispatch
  28   ];
  29
  30   nativeCheckInputs = [
  31     py
  32     pytestCheckHook
  33     pytest-html
  34     pytest-benchmark  # Needed for the `--benchmark-skip` flag
  35   ];
  36
  37   disabledTests = lib.optionals (pythonAtLeast "3.12") [
  38     # Failed: DID NOT RAISE <class 'RecursionError'>
  39     "test_reify_recursion_limit"
  40   ];
  41
  42   pytestFlagsArray = [
  43     "--benchmark-skip"
  44     "--html=testing-report.html"
  45     "--self-contained-html"
  46   ];
  47
  48   pythonImportsCheck = [ "unification" ];
  49
  50   meta = with lib; {
  51     description = "Straightforward unification in Python that's extensible via generic functions";
  52     homepage = "https://github.com/pythological/unification";
  53     changelog = "https://github.com/pythological/unification/releases";
  54     license = licenses.bsd3;
  55     maintainers = with maintainers; [ Etjean ];
  56   };
  57 }