blob: 265a711492ab6d341c3ab6e90279e1e4f11d06d4 (
plain)
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
|
{
buildPythonPackage,
fetchPypi,
lib,
setuptools,
six,
pypblib,
pytestCheckHook,
}:
buildPythonPackage rec {
pname = "python-sat";
version = "1.8.dev26";
pyproject = true;
build-system = [ setuptools ];
src = fetchPypi {
inherit version;
pname = "python_sat";
hash = "sha256-CXyYqvm0j9GbB8WVeGC/o6rjRvJNDquaGLGGREgIfoc=";
};
preBuild = ''
export MAKEFLAGS="-j$NIX_BUILD_CORES"
'';
propagatedBuildInputs = [
six
pypblib
];
pythonImportsCheck = [
"pysat"
"pysat.examples"
"pysat.allies"
];
nativeCheckInputs = [ pytestCheckHook ];
# Due to `python -m pytest` appending the local directory to `PYTHONPATH`,
# importing `pysat.examples` in the tests fails. Removing the `pysat`
# directory fixes since then only the installed version in `$out` is
# imported, which has `pysat.examples` correctly installed.
# See https://github.com/NixOS/nixpkgs/issues/255262
preCheck = ''
rm -r pysat
'';
meta = {
description = "Toolkit for SAT-based prototyping in Python (without optional dependencies)";
homepage = "https://github.com/pysathq/pysat";
changelog = "https://pysathq.github.io/updates/";
license = lib.licenses.mit;
maintainers = [
lib.maintainers.marius851000
lib.maintainers.chrjabs
];
platforms = lib.platforms.all;
};
}
|
