2016-10-17 08:50:25 +02:00
|
|
|
#!/usr/bin/env python
|
|
|
|
|
2017-09-13 19:32:24 +02:00
|
|
|
import os
|
2014-02-10 02:10:30 +01:00
|
|
|
Import('env')
|
|
|
|
|
2017-09-13 19:32:24 +02:00
|
|
|
def make_debug(target, source, env):
|
2018-02-14 17:29:25 +01:00
|
|
|
os.system('objcopy --only-keep-debug {0} {0}.debugsymbols'.format(target[0]))
|
|
|
|
os.system('strip --strip-debug --strip-unneeded {0}'.format(target[0]))
|
|
|
|
os.system('objcopy --add-gnu-debuglink={0}.debugsymbols {0}'.format(target[0]))
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2017-09-08 03:01:49 +02:00
|
|
|
common_x11 = [
|
|
|
|
"context_gl_x11.cpp",
|
|
|
|
"crash_handler_x11.cpp",
|
|
|
|
"os_x11.cpp",
|
|
|
|
"key_mapping_x11.cpp",
|
|
|
|
"joypad_linux.cpp",
|
|
|
|
"power_x11.cpp",
|
2014-02-10 02:10:30 +01:00
|
|
|
]
|
|
|
|
|
2017-11-28 21:27:57 +01:00
|
|
|
prog = env.add_program('#bin/godot', ['godot_x11.cpp'] + common_x11)
|
2017-11-27 14:39:05 +01:00
|
|
|
|
2018-01-26 20:46:56 +01:00
|
|
|
if (env["debug_symbols"] == "full" or env["debug_symbols"] == "yes") and env["separate_debug_symbols"]:
|
2017-11-27 14:39:05 +01:00
|
|
|
env.AddPostAction(prog, make_debug)
|