diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-07-04 23:39:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-04 23:39:11 +0200 |
| commit | 176920278f7cdaca9ccbdebc9894f444902e6cf7 (patch) | |
| tree | 0a1d0dc9a85b7d1427e7dacad15edf1375d3424e | |
| parent | 66856a11d7ae7641fee369842fd63a2984f0802b (diff) | |
| parent | a2386bd2b2a3eed54e02d7609c3c99505ac293e0 (diff) | |
Merge pull request #5551 from eska014/bsd-no-libdl
Link libdl only on Linux, fix BSD build
| -rw-r--r-- | platform/x11/detect.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/platform/x11/detect.py b/platform/x11/detect.py index 54940866b2..3c50e2cf5b 100644 --- a/platform/x11/detect.py +++ b/platform/x11/detect.py @@ -182,7 +182,9 @@ def configure(env): print("PulseAudio development libraries not found, disabling driver") env.Append(CPPFLAGS=['-DX11_ENABLED','-DUNIX_ENABLED','-DGLES2_ENABLED','-DGLES_OVER_GL']) - env.Append(LIBS=['GL', 'GLU', 'pthread', 'z', 'dl']) + env.Append(LIBS=['GL', 'GLU', 'pthread', 'z']) + if (platform.system() == "Linux"): + env.Append(LIBS='dl') #env.Append(CPPFLAGS=['-DMPC_FIXED_POINT']) #host compiler is default.. |