dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

python3Packages.python-sat: fix on darwin

Browse Source
This commit is contained in:
Dmitry Kalinkin 2021-12-23 00:42:22 -05:00
parent af46b31130
commit 71088b0b10
No known key found for this signature in database
GPG Key ID: 5157B3EC8B2CA333
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/development/python-modules/python-sat/default.nix
View File

@ -15,6 +15,19 @@ buildPythonPackage rec {
checkInputs = [ pytestCheckHook ]; checkInputs = [ pytestCheckHook ];
# https://github.com/pysathq/pysat/pull/102
postPatch = ''
# Fix for case-insensitive filesystem
cat >>solvers/patches/cadical.patch <<EOF
diff --git solvers/cadical/VERSION solvers/cdc/VERSION
deleted file mode 100644
--- solvers/cadical/VERSION
+++ /dev/null
@@ -1 +0,0 @@
-1.0.3
EOF
'';
meta = with lib; { meta = with lib; {
description = "Toolkit to provide interface for various SAT (without optional dependancy py-aiger-cnf)"; description = "Toolkit to provide interface for various SAT (without optional dependancy py-aiger-cnf)";
homepage = "https://github.com/pysathq/pysat"; homepage = "https://github.com/pysathq/pysat";