aboutsummaryrefslogtreecommitdiff
path: root/emcc
diff options
context:
space:
mode:
Diffstat (limited to 'emcc')
-rwxr-xr-xemcc10
1 files changed, 8 insertions, 2 deletions
diff --git a/emcc b/emcc
index 6a498c1f..6e2f95d2 100755
--- a/emcc
+++ b/emcc
@@ -290,8 +290,14 @@ elif use_compiler:
shared.Building.emscripten(target_basename + '.bc', append_ext=False)
shutil.move(target_basename + '.bc.o.js', target_basename + '.js')
- ## TODO: If we were asked to also generate HTML, do that
- #if final_suffix == 'html':
+ # If we were asked to also generate HTML, do that
+ if final_suffix == 'html':
+ shell = open(shared.path_from_root('src', 'shell.html')).read()
+ html = open(target_basename + '.html', 'w')
+ html.write(shell.replace('{{{ SCRIPT_CODE }}}', open(target_basename + '.js').read()))
+ html.close()
+ temp_files.note(target_basename + '.js')
+
finally:
temp_files.clean()