godot/platform/javascript/SCsub

#!/usr/bin/env python

Import('env')

javascript_files = [
    "os_javascript.cpp",
    "audio_driver_javascript.cpp",
    "javascript_main.cpp",
    "audio_server_javascript.cpp",
    "javascript_eval.cpp"
]

env_javascript = env.Clone()
if env['target'] == "profile":
    env_javascript.Append(CPPFLAGS=['-DPROFILER_ENABLED'])

javascript_objects = []
for x in javascript_files:
    javascript_objects.append(env_javascript.Object(x))

env.Append(LINKFLAGS=["-s", "EXPORTED_FUNCTIONS=\"['_main','_audio_server_mix_function','_main_after_fs_sync']\""])
env.Append(LINKFLAGS=["--shell-file", '"platform/javascript/godot_shell.html"'])

build = env.Program('#bin/godot', javascript_objects, PROGSUFFIX=env["PROGSUFFIX"] + ".html")
Depends(build, "godot_shell.html")

def make_html_shell(target, source, env):
    html_path = target[0].rstr()
    assert html_path[:4] == 'bin/'
    assert html_path[-5:] == '.html'
    basename = html_path[4:-5]
    with open(html_path, 'r+') as html_file:
        fixed_html = html_file.read().replace('.html.mem', '.mem').replace(basename, '$GODOT_BASE')
        html_file.seek(0)
        html_file.truncate()
        html_file.write(fixed_html)

env.AddPostAction(build, Action(make_html_shell, "Creating HTML shell file"))