···

       
50
       
50
       
 
       


     

       
51
       
51
       
 
       
    propagatedBuildInputs = [ core cython ];

     

       
52
       
52
       
 
       


     

       
53
       
53
       
+
       
    # This tells setup.py to use cython

     

       
54
       
54
       
+
       
    MONOSAT_CYTHON = true;

     

       
55
       
55
       
+
       


     

       
53
       
56
       
 
       
    # The relative paths here don't make sense for our Nix build

     

       
54
       
57
       
 
       
    # Also, let's use cython since it should produce faster bindings

     

       
55
       
58
       
 
       
    # TODO: do we want to just reference the core monosat library rather than copying the

     

       
56
       
59
       
 
       
    # shared lib? The current setup.py copies the .dylib/.so...

     

       
57
       
60
       
 
       
    postPatch = ''

     

       
61
       
61
       
+
       


     

       
58
       
62
       
 
       
      substituteInPlace setup.py \

     

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

     

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

     

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

     

       
64
       
64
       
+
       
        --replace '../../../../libmonosat.so'  '${core}/lib/libmonosat.so'

     

       
62
       
65
       
 
       
    '';

     

       
63
       
66
       
 
       
  };

     

       
64
       
67
       
 
       
in core