From 1dd7bc7dfcd3e6d3529f5436b3d5aecf6c3fe74c Mon Sep 17 00:00:00 2001 From: Dan Peebles Date: Sun, 8 Jul 2018 22:04:05 -0400 Subject: [PATCH] monosat: update build to use handy new environment variable --- pkgs/applications/science/logic/monosat/default.nix | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/pkgs/applications/science/logic/monosat/default.nix b/pkgs/applications/science/logic/monosat/default.nix index 5e624a1853d..54bedc7c5e9 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