src/bin/lean.in - third_party/github.com/leanprover/lean4 - Git at Google


            
            #!/usr/bin/env bash

            
            # ONLY FOR WEB ASSEMBLY BUILD

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