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..