...
ln -f ../../../build/release/stage0/lib/temp/Lake.o.export ../../../build/release/stage0/lib/temp/Lake.o
ln -f ../../../build/release/stage0/lib/temp/Lake/Config/Meta.o.export ../../../build/release/stage0/lib/temp/Lake/Config/Meta.o
ln -f ../../../build/release/stage0/lib/lean/libLake.a ../../../build/release/stage0/lib/lean/libLake.a.export
make[7]: Leaving directory '/builddir/lean-4.28.0/stage0/src/lake'
"/builddir/lean-4.28.0/build/release/stage0/bin/leanmake" lib PKG=LeanChecker LEAN="/bin/lean" LEANC="/builddir/lean-4.28.0/build/release/stage0/leanc.sh" OUT="../../build/release/stage0/lib" LIB_OUT="../../build/release/stage0/lib/lean" OLEAN_OUT="../../build/release/stage0/lib/lean" BIN_OUT="/builddir/lean-4.28.0/build/release/stage0/bin" LEAN_OPTS+=" -DElab.async=true" LEANC_OPTS+=" -I/builddir/lean-4.28.0/build/release/stage0/include -O3 -DNDEBUG" LEAN_AR="/usr/bin/llvm-ar" MORE_DEPS+="/bin/lean" CMAKE_LIKE_OUTPUT=1 C_ONLY=1 C_OUT=/builddir/lean-4.28.0/stage0/src/../stdlib/ OUT="/builddir/lean-4.28.0/build/release/stage0/lib/lean" LIB_OUT="/builddir/lean-4.28.0/build/release/stage0/lib/lean" OLEAN_OUT="/builddir/lean-4.28.0/build/release/stage0/lib/lean"
make[7]: Entering directory '/builddir/lean-4.28.0/stage0/src'
[    ] Building /builddir/lean-4.28.0/stage0/src/../stdlib//LeanChecker/Replay.c
[    ] Building /builddir/lean-4.28.0/stage0/src/../stdlib//LeanChecker.c
/builddir/lean-4.28.0/build/release/stage0/leanc.sh -c -o /builddir/lean-4.28.0/build/release/stage0/lib/lean/temp/LeanChecker/Replay.o.export /builddir/lean-4.28.0/stage0/src/../stdlib//LeanChecker/Replay.c -I/builddir/lean-4.28.0/build/release/stage0/include -O3 -DNDEBUG -DLEAN_EXPORTING
/builddir/lean-4.28.0/build/release/stage0/leanc.sh -c -o /builddir/lean-4.28.0/build/release/stage0/lib/lean/temp/LeanChecker.o.export /builddir/lean-4.28.0/stage0/src/../stdlib//LeanChecker.c -I/builddir/lean-4.28.0/build/release/stage0/include -O3 -DNDEBUG -DLEAN_EXPORTING
ln -f /builddir/lean-4.28.0/build/release/stage0/lib/lean/temp/LeanChecker.o.export /builddir/lean-4.28.0/build/release/stage0/lib/lean/temp/LeanChecker.o
ln -f /builddir/lean-4.28.0/build/release/stage0/lib/lean/temp/LeanChecker/Replay.o.export /builddir/lean-4.28.0/build/release/stage0/lib/lean/temp/LeanChecker/Replay.o
make[7]: Leaving directory '/builddir/lean-4.28.0/stage0/src'
make[6]: Leaving directory '/builddir/lean-4.28.0/stage0/src'
make[5]: Leaving directory '/builddir/lean-4.28.0/build/release/stage0'
[ 98%] Built target make_stdlib
make[4]: Leaving directory '/builddir/lean-4.28.0/build/release/stage0'
make[3]: *** [Makefile:146: all] Error 2
make[3]: Leaving directory '/builddir/lean-4.28.0/build/release/stage0'
make[2]: *** [CMakeFiles/stage0.dir/build.make:86: stage0-prefix/src/stage0-stamp/stage0-build] Error 2
make[2]: Leaving directory '/builddir/lean-4.28.0/build/release'
make[1]: *** [CMakeFiles/Makefile2:170: CMakeFiles/stage0.dir/all] Error 2
make[1]: Leaving directory '/builddir/lean-4.28.0/build/release'
make: *** [Makefile:136: all] Error 2
make: Leaving directory '/builddir/lean-4.28.0/build/release'