diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2016-07-18 17:25:03 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2016-07-18 17:25:03 -0300 |
| commit | 587826f879a1cf7a6ac578ae5cf5af160782d74f (patch) | |
| tree | cb8fcd7a4674a2a2505c5851f9c8a0ae896e0c36 | |
| parent | f93e333e85191a467f87143cf1edec0829595767 (diff) | |
remove GLU dependency, closes #3787
| -rw-r--r-- | platform/x11/detect.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/platform/x11/detect.py b/platform/x11/detect.py index 3c50e2cf5b..2be8b01dc3 100644 --- a/platform/x11/detect.py +++ b/platform/x11/detect.py @@ -182,7 +182,7 @@ 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']) + env.Append(LIBS=['GL', 'pthread', 'z']) if (platform.system() == "Linux"): env.Append(LIBS='dl') #env.Append(CPPFLAGS=['-DMPC_FIXED_POINT']) |