···

       
8
       
8
       
 
       
let

     

       
9
       
9
       
 
       
  boolToCmake = x: if x then "ON" else "OFF";

     

       
10
       
10
       
 
       


     

       
11
       
11
       
-
       
  rev    = "cbaf79cfd01cba97b46cae5a9d7b832771ff442c";

     

       
12
       
12
       
-
       
  sha256 = "1nx3wh34y53lrwgh94cskdrdyrj26jn3py7z2cn4bvacz0wzhi6n";

     

       
11
       
11
       
+
       
  rev    = "2deeadeff214e975c9f7508bc8a24fa05a1a0c32";

     

       
12
       
12
       
+
       
  sha256 = "09yhym2lxmn3xbhw5fcxawnmvms5jd9fw9m7x2wzil7yvy4vwdjn";

     

       
13
       
13
       
 
       


     

       
14
       
14
       
 
       
  pname   = "monosat";

     

       
15
       
15
       
 
       
  version = substring 0 7 sha256;

     
···

       
26
       
26
       
 
       
    buildInputs = [ cmake zlib gmp jdk8 ];

     

       
27
       
27
       
 
       


     

       
28
       
28
       
 
       
    cmakeFlags = [ "-DJAVA=${boolToCmake includeJava}" "-DGPL=${boolToCmake includeGplCode}" ];

     

       
29
       
29
       
-
       


     

       
30
       
30
       
-
       
    # Minor logic bug: https://github.com/sambayless/monosat/issues/11#issuecomment-403297720

     

       
31
       
31
       
-
       
    postPatch = ''

     

       
32
       
32
       
-
       
      substituteInPlace CMakeLists.txt \

     

       
33
       
33
       
-
       
        --replace '"&&" "true"' '"||" "true"'

     

       
34
       
34
       
-
       
    '';

     

       
35
       
29
       
 
       


     

       
36
       
30
       
 
       
    postInstall = optionalString includeJava ''

     

       
37
       
31
       
 
       
      mkdir -p $out/share/java

     
···

       
65
       
59
       
 
       
        --replace '../../../../libmonosat.dylib' '${core}/lib/libmonosat.dylib' \

     

       
66
       
60
       
 
       
        --replace '../../../../libmonosat.so'  '${core}/lib/libmonosat.so' \

     

       
67
       
61
       
 
       
        --replace 'use_cython=False' 'use_cython=True'

     

       
68
       
68
       
-
       


     

       
69
       
69
       
-
       
      # This seems to be forgotten and unused. See https://github.com/sambayless/monosat/issues/10

     

       
70
       
70
       
-
       
      rm monosat/cnf.py

     

       
71
       
62
       
 
       
    '';

     

       
72
       
63
       
 
       
  };

     

       
73
       
64
       
 
       
in core