pyrox.dev
1{ lib
2, buildPythonPackage
3, fetchFromGitHub
4, toolz
5, multipledispatch
6, pytestCheckHook
7, pytest-html
8, pytest-benchmark
9}:
10
11buildPythonPackage rec {
12 pname = "logical-unification";
13 version = "0.4.5";
14
15 src = fetchFromGitHub {
16 owner = "pythological";
17 repo = "unification";
18 rev = "707cf4a39e27a4a8bf06b7e7dce7223085574e65";
19 sha256 = "sha256-3wqO0pWWFRQeoGNvbSDdLNYFyjNnv+O++F7+vTBUJoI=";
20 };
21
22 propagatedBuildInputs = [
23 toolz
24 multipledispatch
25 ];
26
27 checkInputs = [
28 pytestCheckHook
29 pytest-html
30 pytest-benchmark # Needed for the `--benchmark-skip` flag
31 ];
32
33 pytestFlagsArray = [
34 "--benchmark-skip"
35 "--html=testing-report.html"
36 "--self-contained-html"
37 ];
38
39 pythonImportsCheck = [ "unification" ];
40
41 meta = with lib; {
42 description = "Straightforward unification in Python that's extensible via generic functions";
43 homepage = "https://github.com/pythological/unification";
44 changelog = "https://github.com/pythological/unification/releases";
45 license = licenses.bsd3;
46 maintainers = with maintainers; [ Etjean ];
47 };
48}