···

       
18
       
 
       
    hash = "sha256-fKZcdEVuqpv8jWnK8Cr1UJ7szJqXivK6x3YPYHH5ccI=";

     

       
19
       
 
       
  };

     

       
20
       
 
       


     

       
21
       
-
       
  # Build SAT solver backends in parallel

     

       
0
       
 
       

     

       
22
       
 
       
  postPatch = ''

     

       
23
       
 
       
    substituteInPlace solvers/prepare.py \

     

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

     

       
0
       
 
       

     

       
0
       
 
       

     

       
25
       
 
       
  '';

     

       
26
       
 
       


     

       
27
       
 
       
  propagatedBuildInputs = [

     
···

       
43
       
 
       
      maintainers.chrjabs

     

       
44
       
 
       
    ];

     

       
45
       
 
       
    platforms = lib.platforms.all;

     

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

     

       
47
       
 
       
  };

     

       
48
       
 
       
}

     

···

       
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 = [

     
···

       
46
       
 
       
      maintainers.chrjabs

     

       
47
       
 
       
    ];

     

       
48
       
 
       
    platforms = lib.platforms.all;

     

       
0
       
 
       

     

       
49
       
 
       
  };

     

       
50
       
 
       
}