diff options
| author | Dan Peebles <pumpkin@me.com> | 2018-07-08 22:04:05 -0400 |
|---|---|---|
| committer | Dan Peebles <pumpkin@me.com> | 2018-07-08 22:04:05 -0400 |
| commit | 1dd7bc7dfcd3e6d3529f5436b3d5aecf6c3fe74c (patch) | |
| tree | 542cbc18d6fe14b7f363acc05076efe0ed7f4510 /pkgs/applications/science/logic | |
| parent | 0372c8748170c74a5415e91db7ae9808e7cd654a (diff) | |
| download | nixlib-1dd7bc7dfcd3e6d3529f5436b3d5aecf6c3fe74c.tar nixlib-1dd7bc7dfcd3e6d3529f5436b3d5aecf6c3fe74c.tar.gz nixlib-1dd7bc7dfcd3e6d3529f5436b3d5aecf6c3fe74c.tar.bz2 nixlib-1dd7bc7dfcd3e6d3529f5436b3d5aecf6c3fe74c.tar.lz nixlib-1dd7bc7dfcd3e6d3529f5436b3d5aecf6c3fe74c.tar.xz nixlib-1dd7bc7dfcd3e6d3529f5436b3d5aecf6c3fe74c.tar.zst nixlib-1dd7bc7dfcd3e6d3529f5436b3d5aecf6c3fe74c.zip | |
monosat: update build to use handy new environment variable
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/monosat/default.nix | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/monosat/default.nix b/pkgs/applications/science/logic/monosat/default.nix index 5e624a1853da..54bedc7c5e97 100644 --- a/pkgs/applications/science/logic/monosat/default.nix +++ b/pkgs/applications/science/logic/monosat/default.nix @@ -50,15 +50,18 @@ let propagatedBuildInputs = [ core cython ]; + # This tells setup.py to use cython + MONOSAT_CYTHON = true; + # The relative paths here don't make sense for our Nix build # Also, let's use cython since it should produce faster bindings # TODO: do we want to just reference the core monosat library rather than copying the # shared lib? The current setup.py copies the .dylib/.so... postPatch = '' + substituteInPlace setup.py \ --replace '../../../../libmonosat.dylib' '${core}/lib/libmonosat.dylib' \ - --replace '../../../../libmonosat.so' '${core}/lib/libmonosat.so' \ - --replace 'use_cython=False' 'use_cython=True' + --replace '../../../../libmonosat.so' '${core}/lib/libmonosat.so' ''; }; in core \ No newline at end of file |