diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-04-21 15:07:10 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-04-21 15:50:28 -0700 |
| commit | d5afd73f49c592315200e02d6f56313fbc9d8c3e (patch) | |
| tree | e0ca0ce7224bbb4e100cd457a7bb34d13e90dc0d | |
| parent | fab4db7cd141388b9fdf5c0632f50912fff38891 (diff) | |
| download | binaryen-d5afd73f49c592315200e02d6f56313fbc9d8c3e.tar.gz binaryen-d5afd73f49c592315200e02d6f56313fbc9d8c3e.tar.bz2 binaryen-d5afd73f49c592315200e02d6f56313fbc9d8c3e.zip | |
spidermonkify debugging comment
| -rw-r--r-- | scripts/spidermonkify.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/spidermonkify.py b/scripts/spidermonkify.py index d7b2ea138..623015fde 100644 --- a/scripts/spidermonkify.py +++ b/scripts/spidermonkify.py @@ -51,7 +51,11 @@ js = js.replace("'" + base_wast_target + "'", "'" + base_wasm_target + "'") open(js_target, 'w').write(js) shutil.copyfile(wast_target + '.mappedGlobals', wasm_target + '.mappedGlobals') -# convert to binary using spidermonkey +# convert to binary using spidermonkey, something like +#mozjs -e 'os.file.writeTypedArrayToFile("moz.wasm", +#new Uint8Array(wasmTextToBinary(os.file.readFile("test/hello_world.wast"))))' +#investigate with +#>>> map(chr, map(ord, open('moz.wasm').read())) subprocess.check_call( emscripten.shared.SPIDERMONKEY_ENGINE + ['-e', 'os.file.writeTypedArrayToFile("' + wasm_target + |