···

       
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
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
20
       
 
       


     

       
21
       
 
       
  propagatedBuildInputs = [

     

       
22
       
 
       
    six

     
···

       
37
       
 
       
      maintainers.chrjabs

     

       
38
       
 
       
    ];

     

       
39
       
 
       
    platforms = lib.platforms.all;

     

       
40
       
-
       
    badPlatforms = lib.platforms.darwin ++ [ "i686-linux" ];

     

       
41
       
 
       
  };

     

       
42
       
 
       
}

     

···

       
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 and fix hard-coded g++ reference for

     

       
22
       
+
       
  # darwin, where stdenv uses clang

     

       
23
       
+
       
  postPatch = ''

     

       
24
       
+
       
    substituteInPlace solvers/prepare.py \

     

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

     

       
26
       
+
       
    substituteInPlace solvers/patches/glucose421.patch \

     

       
27
       
+
       
      --replace-fail "+CXX      := g++" "+CXX      := c++"

     

       
28
       
+
       
  '';

     

       
29
       
 
       


     

       
30
       
 
       
  propagatedBuildInputs = [

     

       
31
       
 
       
    six

     
···

       
46
       
 
       
      maintainers.chrjabs

     

       
47
       
 
       
    ];

     

       
48
       
 
       
    platforms = lib.platforms.all;

     

       
0
       
 
       

     

       
49
       
 
       
  };

     

       
50
       
 
       
}