Apply -H64m to GHCRTS

tweag · Nov 15, 2024 · 0325c33 · 0325c33
1 parent f1dd390
commit 0325c33
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/frontend/build.sh b/frontend/build.sh
@@ -37,7 +37,7 @@ hs_wasm_path=$(find .. -name "*.wasm")
 if $dev_mode; then
     cp "$hs_wasm_path" dist/bin.wasm
 else
-    wizer --allow-wasi --wasm-bulk-memory true --init-func _initialize -o dist/bin.wasm "$hs_wasm_path"
+    env -i GHCRTS=-H64m wizer --allow-wasi --wasm-bulk-memory true --inherit-env true --init-func _initialize -o dist/bin.wasm "$hs_wasm_path"
     wasm-opt ${1+"$@"} dist/bin.wasm -o dist/bin.wasm
     wasm-tools strip -o dist/bin.wasm dist/bin.wasm
 fi

diff --git a/frontend/index.js b/frontend/index.js
@@ -2,7 +2,7 @@ import { WASI, OpenFile, File, ConsoleStdout } from "https://cdn.jsdelivr.net/np
 import ghc_wasm_jsffi from "./ghc_wasm_jsffi.js";
 
 const args = [];
-const env = [];
+const env = ["GHCRTS=-H64m"];
 const fds = [
   new OpenFile(new File([])), // stdin
   ConsoleStdout.lineBuffered((msg) => console.log(`[WASI stdout] ${msg}`)),