pyrox.dev
1{ lib
2, buildPythonPackage
3, fetchFromGitHub
4, toolz
5, cons
6, multipledispatch
7, etuples
8, logical-unification
9, py
10, pytestCheckHook
11, pytest-html
12}:
13
14buildPythonPackage rec {
15 pname = "minikanren";
16 version = "1.0.3";
17
18 src = fetchFromGitHub {
19 owner = "pythological";
20 repo = "kanren";
21 rev = "5aa9b1734cbb3fe072a7c72b46e1b72a174d28ac";
22 hash = "sha256-daAtREgm91634Q0mc0/WZivDiyZHC7TIRoGRo8hMnGE=";
23 };
24
25 propagatedBuildInputs = [
26 toolz
27 cons
28 multipledispatch
29 etuples
30 logical-unification
31 ];
32
33 nativeCheckInputs = [
34 py
35 pytestCheckHook
36 pytest-html
37 ];
38
39 pytestFlagsArray = [
40 "--html=testing-report.html"
41 "--self-contained-html"
42 ];
43
44 pythonImportsCheck = [ "kanren" ];
45
46 meta = with lib; {
47 description = "Relational programming in Python";
48 homepage = "https://github.com/pythological/kanren";
49 changelog = "https://github.com/pythological/kanren/releases";
50 license = licenses.bsd3;
51 maintainers = with maintainers; [ Etjean ];
52 };
53}