diff options
| author | Silvan Mosberger <infinisil@icloud.com> | 2019-03-26 03:49:57 +0100 |
|---|---|---|
| committer | Silvan Mosberger <infinisil@icloud.com> | 2019-03-26 04:16:14 +0100 |
| commit | cfd2e6731abf7adb361cb01141e77681e498c253 (patch) | |
| tree | 298305c17ec824a74f00e4c1df3236dcbd8eec0d /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 7be93a4ca75076e4b9b15b0dea9c0c508af0b7ec (diff) | |
idrisPackages.idris-wrapper: Fix linking to gmp library
This has been broken since 5d18129ce8af9a69312818ea0a5a0029a04a2255,
which updated idris from 1.3.0 to 1.3.1, which included
https://github.com/idris-lang/Idris-dev/pull/4472 as the cause of the
error. I'm still not entirely sure why this broke it though.
This now way should be rather future proof, it uses NIX_CFLAGS to pass
gpm link flags to our CC wrapper directly. The
`NIX_CC_WRAPPER_${stdenv.cc.infixSalt}_TARGET_HOST` part I'm pretty sure
is needed for the CC wrapper to know that those CFLAGS are meant for the
cc running on the HOST.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions