mirror of
https://github.com/leanprover/lean4.git
synced 2026-03-17 18:34:06 +00:00
14 lines
347 B
Bash
14 lines
347 B
Bash
#!/usr/bin/env bash
|
|
emulator=$1
|
|
lean_bin=$2
|
|
leanchecker_bin=$3
|
|
export_file=$4
|
|
export LEAN_PATH=$5
|
|
|
|
set -ex
|
|
|
|
cd "$LEAN_PATH"
|
|
# We pass "$LEAN_PATH" as a last argument here, because we don't have lrealpath on emscripten
|
|
$emulator "$lean_bin" --recursive --export="$export_file" "$LEAN_PATH"
|
|
$emulator "$leanchecker_bin" "$export_file" nat.add_assoc
|