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