Merge pull request #268619 from tweag/lib-descriptions
[NixPkgs.git] / pkgs / development / python-modules / python-sat / default.nix
blobd7f62a49f12ffc15ca057807baa4889b49b5fa03
1 { buildPythonPackage, fetchFromGitHub, lib, six, pypblib, pytestCheckHook }:
3 buildPythonPackage rec {
4   pname = "python-sat";
5   version = "0.1.7.dev1";
7   src = fetchFromGitHub {
8     owner = "pysathq";
9     repo = "pysat";
10     rev = version;
11     hash = "sha256-zGdgD+SgoMB7/zDQI/trmV70l91TB7OkDxaJ30W3dkI=";
12   };
14   propagatedBuildInputs = [ six pypblib ];
16   nativeCheckInputs = [ pytestCheckHook ];
18   # https://github.com/pysathq/pysat/pull/102
19   postPatch = ''
20     # Fix for case-insensitive filesystem
21     cat >>solvers/patches/cadical.patch <<EOF
22 diff --git solvers/cadical/VERSION solvers/cdc/VERSION
23 deleted file mode 100644
24 --- solvers/cadical/VERSION
25 +++ /dev/null
26 @@ -1 +0,0 @@
27 -1.0.3
28 EOF
29   '';
31   meta = with lib; {
32     description = "Toolkit to provide interface for various SAT (without optional dependancy py-aiger-cnf)";
33     homepage = "https://github.com/pysathq/pysat";
34     license = licenses.mit;
35     maintainers = [ maintainers.marius851000 ];
36   };