diff options
author | Alon Zakai <alonzakai@gmail.com> | 2016-03-30 15:35:30 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2016-03-30 15:55:37 -0700 |
commit | acf12735450c275a937e5133df618608c9990e18 (patch) | |
tree | 356ea8985a69ceeaaaf66bb51b26c41dc019e053 | |
parent | 94e6dbab5d9d8449f09d787201831ab322f60374 (diff) | |
download | binaryen-acf12735450c275a937e5133df618608c9990e18.tar.gz binaryen-acf12735450c275a937e5133df618608c9990e18.tar.bz2 binaryen-acf12735450c275a937e5133df618608c9990e18.zip |
we export memory properly now, no need in spidermonkify.py
-rw-r--r-- | scripts/spidermonkify.py | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/scripts/spidermonkify.py b/scripts/spidermonkify.py index 1632c20fd..d7b2ea138 100644 --- a/scripts/spidermonkify.py +++ b/scripts/spidermonkify.py @@ -51,16 +51,6 @@ js = js.replace("'" + base_wast_target + "'", "'" + base_wasm_target + "'") open(js_target, 'w').write(js) shutil.copyfile(wast_target + '.mappedGlobals', wasm_target + '.mappedGlobals') -# fix up wast -wast = open(wast_target).read() -# memory -memory_start = wast.find('(memory') + 1 -memory_end = wast.find(')', memory_start) -wast = (wast[:memory_end + 1] + - ' (export "memory" memory) ' + - wast[memory_end + 1:]) -open(wast_target, 'w').write(wast) - # convert to binary using spidermonkey subprocess.check_call( emscripten.shared.SPIDERMONKEY_ENGINE + |