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

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