diff options
| author | Robert Scott <code@humanleg.org.uk> | 2021-05-21 23:00:19 +0100 |
|---|---|---|
| committer | Jonathan Ringer <jonringer@users.noreply.github.com> | 2021-05-21 20:21:20 -0700 |
| commit | bcc99b83d03303967cd5bbfa51972de4f528aab1 (patch) | |
| tree | 8b0fed0568403f5052f837cd66a1777be98ba337 | |
| parent | 7968281008dfa46f83e213a3a64eca65562086b2 (diff) | |
| download | nixpkgs-bcc99b83d03303967cd5bbfa51972de4f528aab1.tar nixpkgs-bcc99b83d03303967cd5bbfa51972de4f528aab1.tar.gz nixpkgs-bcc99b83d03303967cd5bbfa51972de4f528aab1.tar.bz2 nixpkgs-bcc99b83d03303967cd5bbfa51972de4f528aab1.tar.lz nixpkgs-bcc99b83d03303967cd5bbfa51972de4f528aab1.tar.xz nixpkgs-bcc99b83d03303967cd5bbfa51972de4f528aab1.tar.zst nixpkgs-bcc99b83d03303967cd5bbfa51972de4f528aab1.zip | |
libpoly: fix darwin build
issue reported upstream
| -rw-r--r-- | pkgs/applications/science/logic/poly/default.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/poly/default.nix b/pkgs/applications/science/logic/poly/default.nix index d0344a3737d..75ad91bc54d 100644 --- a/pkgs/applications/science/logic/poly/default.nix +++ b/pkgs/applications/science/logic/poly/default.nix @@ -12,6 +12,13 @@ stdenv.mkDerivation rec { sha256 = "sha256-E2lHo8Bt4ujoGQ623fjkQbqRnDYJYilXdRt4lnF4wJk="; }; + # https://github.com/SRI-CSL/libpoly/pull/52 + postPatch = lib.optionalString stdenv.isDarwin '' + substituteInPlace src/CMakeLists.txt --replace \ + '"utils/open_memstream.c ''${poly_SOURCES}"' \ + 'utils/open_memstream.c ''${poly_SOURCES}' + ''; + nativeBuildInputs = [ cmake ]; buildInputs = [ gmp python3 ]; |