diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2018-07-22 19:03:36 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-07-22 19:03:52 +0200 |
commit | 8e4de57e56887c8f60ef471493c7a04606edb012 (patch) | |
tree | fc8f18188c7430fc542edb305fc39bfcd5b70ad0 /platform/x11 | |
parent | ad8897984183d29b52128d8ad5db6ca7d2ff8278 (diff) |
SCons: Add "execinfo" option to force linking libexecinfo
Fixes #20035.
Diffstat (limited to 'platform/x11')
-rw-r--r-- | platform/x11/detect.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/platform/x11/detect.py b/platform/x11/detect.py index 58610a0e55..feaa2e598f 100644 --- a/platform/x11/detect.py +++ b/platform/x11/detect.py @@ -62,6 +62,7 @@ def get_opts(): EnumVariable('debug_symbols', 'Add debugging symbols to release builds', 'yes', ('yes', 'no', 'full')), BoolVariable('separate_debug_symbols', 'Create a separate file containing debugging symbols', False), BoolVariable('touch', 'Enable touch events', True), + BoolVariable('execinfo', 'Use libexecinfo on systems where glibc is not available', False), ] @@ -284,6 +285,9 @@ def configure(env): env.Append(LIBS=['dl']) if (platform.system().find("BSD") >= 0): + env["execinfo"] = True + + if env["execinfo"]: env.Append(LIBS=['execinfo']) ## Cross-compilation |