chore: build Lean with Elab.async

leanprover · Feb 10, 2025 · d7f1353 · d7f1353
1 parent feb8cc2
commit d7f1353
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/stdlib.make.in b/src/stdlib.make.in
@@ -18,7 +18,7 @@ LEANMAKE_OPTS=\
 	LIB_OUT="${LIB}/lean"\
 	OLEAN_OUT="${LIB}/lean"\
 	BIN_OUT="${CMAKE_BINARY_DIR}/bin"\
-	LEAN_OPTS+="${LEAN_EXTRA_MAKE_OPTS}"\
+	LEAN_OPTS+="${LEAN_EXTRA_MAKE_OPTS} -DElab.async=true"\
 	LEANC_OPTS+="${LEANC_OPTS}"\
 	LEAN_AR="${CMAKE_AR}"\
 	MORE_DEPS+="${PREV_STAGE}/bin/lean${PREV_STAGE_CMAKE_EXECUTABLE_SUFFIX}"\