aboutsummaryrefslogtreecommitdiff
path: root/emcc
diff options
context:
space:
mode:
Diffstat (limited to 'emcc')
-rwxr-xr-xemcc5
1 files changed, 4 insertions, 1 deletions
diff --git a/emcc b/emcc
index f3ecb21e..42a49cf9 100755
--- a/emcc
+++ b/emcc
@@ -986,7 +986,10 @@ try:
# Add bindings glue if used
if bind:
if DEBUG: print >> sys.stderr, 'emcc: adding embind glue'
- src = open(final).read().replace('// {{PRE_RUN_ADDITIONS}}', '// {{PRE_RUN_ADDITIONS}}\n' + open(shared.path_from_root('src', 'embind', 'embind.js')).read())
+ src = open(final).read().replace('// {{PRE_RUN_ADDITIONS}}', '// {{PRE_RUN_ADDITIONS}}\n' +
+ open(shared.path_from_root('src', 'embind', 'embind.js')).read() +
+ open(shared.path_from_root('src', 'embind', 'emval.js')).read()
+ )
final += '.bd.js'
open(final, 'w').write(src)
if DEBUG: save_intermediate('bind')