lean4-htt/src/bin/lean.in
Alexander Bentkamp 7dc1618ca5
feat: Web Assembly Build (#2599)
Co-authored-by: Rujia Liu <rujialiu@user.noreply.github.com>
2023-10-04 09:04:20 +02:00

4 lines
109 B
Bash
Executable file

#!/usr/bin/env bash
# ONLY FOR WEB ASSEMBLY BUILD
node --stack-size=8192 ${CMAKE_BINARY_DIR}/bin/lean.js $@