summaryrefslogtreecommitdiffstats
path: root/config/wasm2c.py
diff options
context:
space:
mode:
Diffstat (limited to 'config/wasm2c.py')
-rw-r--r--config/wasm2c.py14
1 files changed, 14 insertions, 0 deletions
diff --git a/config/wasm2c.py b/config/wasm2c.py
new file mode 100644
index 0000000000..572e015ada
--- /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, wasm_lib]
+ ).returncode