···

       
8
       
 
       
}:

     

       
9
       
 
       
buildPythonPackage rec {

     

       
10
       
 
       
  pname = "python-sat";

     

       
11
       
-
       
  version = "0.1.8.dev17";

     

       
12
       
 
       
  format = "setuptools";

     

       
13
       
 
       


     

       
14
       
 
       
  src = fetchFromGitHub {

     

       
15
       
 
       
    owner = "pysathq";

     

       
16
       
 
       
    repo = "pysat";

     

       
17
       
-
       
    rev = "a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0"; # upstream does not tag releases

     

       
18
       
-
       
    hash = "sha256-FG6oAAI8XKXumj6Ys2QjjYcRp1TpwkUZzyfpkdq5V6E=";

     

       
19
       
 
       
  };

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
20
       
 
       


     

       
21
       
 
       
  propagatedBuildInputs = [

     

       
22
       
 
       
    six

     

···

       
8
       
 
       
}:

     

       
9
       
 
       
buildPythonPackage rec {

     

       
10
       
 
       
  pname = "python-sat";

     

       
11
       
+
       
  version = "0.1.8.dev20";

     

       
12
       
 
       
  format = "setuptools";

     

       
13
       
 
       


     

       
14
       
 
       
  src = fetchFromGitHub {

     

       
15
       
 
       
    owner = "pysathq";

     

       
16
       
 
       
    repo = "pysat";

     

       
17
       
+
       
    rev = "d94f51e5eff2feef35abbc25480659eafa615cc0"; # upstream does not tag releases

     

       
18
       
+
       
    hash = "sha256-fKZcdEVuqpv8jWnK8Cr1UJ7szJqXivK6x3YPYHH5ccI=";

     

       
19
       
 
       
  };

     

       
20
       
+
       


     

       
21
       
+
       
  # Build SAT solver backends in parallel

     

       
22
       
+
       
  postPatch = ''

     

       
23
       
+
       
    substituteInPlace solvers/prepare.py \

     

       
24
       
+
       
      --replace-fail "&& make &&" "&& make -j$NIX_BUILD_CORES &&"

     

       
25
       
+
       
  '';

     

       
26
       
 
       


     

       
27
       
 
       
  propagatedBuildInputs = [

     

       
28
       
 
       
    six