You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-12 13:20:55 +00:00
23 lines
590 B
Python
23 lines
590 B
Python
#!/usr/bin/env python
|
|
|
|
Import('env')
|
|
|
|
from platform_methods import run_in_subprocess
|
|
import platform_x11_builders
|
|
|
|
common_x11 = [
|
|
"context_gl_x11.cpp",
|
|
"vulkan_context_x11.cpp",
|
|
"crash_handler_x11.cpp",
|
|
"os_x11.cpp",
|
|
"key_mapping_x11.cpp",
|
|
"joypad_linux.cpp",
|
|
"power_x11.cpp",
|
|
"detect_prime.cpp"
|
|
]
|
|
|
|
prog = env.add_program('#bin/godot', ['godot_x11.cpp'] + common_x11)
|
|
|
|
if (env["debug_symbols"] == "full" or env["debug_symbols"] == "yes") and env["separate_debug_symbols"]:
|
|
env.AddPostAction(prog, run_in_subprocess(platform_x11_builders.make_debug_x11))
|