pyrox.dev
1{
2 lib,
3 buildPythonPackage,
4 fetchFromGitHub,
5 toolz,
6 cons,
7 multipledispatch,
8 etuples,
9 logical-unification,
10 py,
11 pytestCheckHook,
12 pytest-html,
13 setuptools,
14 setuptools-scm,
15}:
16
17buildPythonPackage rec {
18 pname = "minikanren";
19 version = "1.0.5";
20 pyproject = true;
21
22 src = fetchFromGitHub {
23 owner = "pythological";
24 repo = "kanren";
25 tag = "v${version}";
26 hash = "sha256-lCQ0mKT99zK5A74uoo/9bP+eFdm3MC43Fh8+P2krXrs=";
27 };
28
29 build-system = [
30 setuptools
31 setuptools-scm
32 ];
33
34 dependencies = [
35 toolz
36 cons
37 multipledispatch
38 etuples
39 logical-unification
40 ];
41
42 nativeCheckInputs = [
43 py
44 pytestCheckHook
45 pytest-html
46 ];
47
48 pytestFlags = [
49 "--html=testing-report.html"
50 "--self-contained-html"
51 ];
52
53 pythonImportsCheck = [ "kanren" ];
54
55 meta = with lib; {
56 description = "Relational programming in Python";
57 homepage = "https://github.com/pythological/kanren";
58 changelog = "https://github.com/pythological/kanren/releases/tag/${src.tag}";
59 license = licenses.bsd3;
60 maintainers = with maintainers; [ Etjean ];
61 };
62}