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