diff options
Diffstat (limited to 'config/wasm2c.py')
| -rw-r--r-- | config/wasm2c.py | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/config/wasm2c.py b/config/wasm2c.py new file mode 100644 index 0000000000..1f1f385e89 --- /dev/null +++ b/config/wasm2c.py @@ -0,0 +1,14 @@ +# This Source Code Form is subject to the terms of the Mozilla Public +# License, v. 2.0. If a copy of the MPL was not distributed with this +# file, You can obtain one at http://mozilla.org/MPL/2.0/. + +import os +import subprocess + + +def wasm2c(output, wasm2c_bin, wasm_lib): + output.close() + module_name = os.path.basename(os.path.splitext(wasm_lib)[0]) + return subprocess.run( + [wasm2c_bin, "-n", module_name, "-o", output.name, "--disable-simd", wasm_lib] + ).returncode |