max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/doc/make/emscripten.md

676 B
Raw Permalink Blame History

Compiling lean.js via Emscripten

First install Emscripten via your distribution's package manager or download and install it yourself. Then build asm.js and WebAssembly binaries using

mkdir -p build/emscripten
cd build/emscripten
emconfigure cmake ../../src -DCMAKE_BUILD_TYPE=Emscripten
make lean_js_js lean_js_wasm

This will produce files lean_js_js.js, lean_js_wasm.js, and lean_js_wasm.wasm in shell/, which you can e.g. copy to the dist/ directory in lean-web-editor instead of calling ./fetch_lean_js.sh there.