C:/msys64/clang64/bin/cmake.exe -SC:/Users/robin/lean4dev/lean4 -BC:/Users/robin/lean4dev/lean4/build/release --check-build-system CMakeFiles/Makefile.cmake 0 C:/msys64/clang64/bin/cmake.exe -E cmake_progress_start C:/Users/robin/lean4dev/lean4/build/release/CMakeFiles C:/Users/robin/lean4dev/lean4/build/release//CMakeFiles/progress.marks make -f CMakeFiles/Makefile2 all make[1]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release' make -f CMakeFiles/mimalloc.dir/build.make CMakeFiles/mimalloc.dir/depend make[2]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4 C:/Users/robin/lean4dev/lean4 C:/Users/robin/lean4dev/lean4/build/release C:/Users/robin/lean4dev/lean4/build/release C:/Users/robin/lean4dev/lean4/build/release/CMakeFiles/mimalloc.dir/DependInfo.cmake "--color=" make[2]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release' make -f CMakeFiles/mimalloc.dir/build.make CMakeFiles/mimalloc.dir/build make[2]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release' [ 4%] Performing update step for 'mimalloc' cd C:/Users/robin/lean4dev/lean4/build/release/mimalloc/src/mimalloc && C:/msys64/clang64/bin/cmake.exe -Dcan_fetch=YES -DCMAKE_MESSAGE_LOG_LEVEL=VERBOSE -P C:/Users/robin/lean4dev/lean4/build/release/mimalloc/tmp/mimalloc-gitupdate.cmake -- Already at requested tag: v2.2.3 [ 8%] No patch step for 'mimalloc' C:/msys64/clang64/bin/cmake.exe -E echo_append C:/msys64/clang64/bin/cmake.exe -E touch C:/Users/robin/lean4dev/lean4/build/release/mimalloc/src/mimalloc-stamp/mimalloc-patch [ 12%] No configure step for 'mimalloc' cd C:/Users/robin/lean4dev/lean4/build/release/mimalloc/src/mimalloc-build && C:/msys64/clang64/bin/cmake.exe -E echo_append cd C:/Users/robin/lean4dev/lean4/build/release/mimalloc/src/mimalloc-build && C:/msys64/clang64/bin/cmake.exe -E touch C:/Users/robin/lean4dev/lean4/build/release/mimalloc/src/mimalloc-stamp/mimalloc-configure [ 16%] No build step for 'mimalloc' cd C:/Users/robin/lean4dev/lean4/build/release/mimalloc/src/mimalloc-build && C:/msys64/clang64/bin/cmake.exe -E echo_append cd C:/Users/robin/lean4dev/lean4/build/release/mimalloc/src/mimalloc-build && C:/msys64/clang64/bin/cmake.exe -E touch C:/Users/robin/lean4dev/lean4/build/release/mimalloc/src/mimalloc-stamp/mimalloc-build [ 20%] No install step for 'mimalloc' cd C:/Users/robin/lean4dev/lean4/build/release/mimalloc/src/mimalloc-build && C:/msys64/clang64/bin/cmake.exe -E echo_append cd C:/Users/robin/lean4dev/lean4/build/release/mimalloc/src/mimalloc-build && C:/msys64/clang64/bin/cmake.exe -E touch C:/Users/robin/lean4dev/lean4/build/release/mimalloc/src/mimalloc-stamp/mimalloc-install [ 25%] Completed 'mimalloc' C:/msys64/clang64/bin/cmake.exe -E make_directory C:/Users/robin/lean4dev/lean4/build/release/CMakeFiles C:/msys64/clang64/bin/cmake.exe -E touch C:/Users/robin/lean4dev/lean4/build/release/CMakeFiles/mimalloc-complete C:/msys64/clang64/bin/cmake.exe -E touch C:/Users/robin/lean4dev/lean4/build/release/mimalloc/src/mimalloc-stamp/mimalloc-done make[2]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release' [ 33%] Built target mimalloc make -f CMakeFiles/stage0.dir/build.make CMakeFiles/stage0.dir/depend make[2]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4 C:/Users/robin/lean4dev/lean4 C:/Users/robin/lean4dev/lean4/build/release C:/Users/robin/lean4dev/lean4/build/release C:/Users/robin/lean4dev/lean4/build/release/CMakeFiles/stage0.dir/DependInfo.cmake "--color=" make[2]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release' make -f CMakeFiles/stage0.dir/build.make CMakeFiles/stage0.dir/build make[2]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release' [ 37%] Performing configure step for 'stage0' cd C:/Users/robin/lean4dev/lean4/build/release/stage0 && C:/msys64/clang64/bin/cmake.exe -DSTAGE=0 -DUSE_GITHASH=OFF -DCMAKE_ADDR2LINE=C:/msys64/clang64/bin/llvm-addr2line.exe -DCMAKE_AR=C:/msys64/clang64/bin/llvm-ar.exe -DCMAKE_CACHEFILE_DIR=c:/Users/robin/lean4dev/lean4/build/release -DCMAKE_CACHE_MAJOR_VERSION=3 -DCMAKE_CACHE_MINOR_VERSION=31 -DCMAKE_CACHE_PATCH_VERSION=0 -DCMAKE_COLOR_MAKEFILE=ON -DCMAKE_COMMAND=C:/msys64/clang64/bin/cmake.exe -DCMAKE_CPACK_COMMAND=C:/msys64/clang64/bin/cpack.exe -DCMAKE_CTEST_COMMAND=C:/msys64/clang64/bin/ctest.exe -DCMAKE_CXX_COMPILER=C:/msys64/clang64/bin/clang++.exe -DCMAKE_CXX_COMPILER_AR=C:/msys64/clang64/bin/llvm-ar.exe -DCMAKE_CXX_COMPILER_CLANG_SCAN_DEPS=C:/msys64/clang64/bin/clang-scan-deps.exe -DCMAKE_CXX_COMPILER_RANLIB=C:/msys64/clang64/bin/llvm-ranlib.exe -DCMAKE_CXX_FLAGS= -DCMAKE_CXX_FLAGS_DEBUG=-g "-DCMAKE_CXX_FLAGS_MINSIZEREL=-Os -DNDEBUG" "-DCMAKE_CXX_FLAGS_RELEASE=-O3 -DNDEBUG" "-DCMAKE_CXX_FLAGS_RELWITHDEBINFO=-O2 -g -DNDEBUG" "-DCMAKE_CXX_STANDARD_LIBRARIES=-lkernel32 -luser32 -lgdi32 -lwinspool -lshell32 -lole32 -loleaut32 -luuid -lcomdlg32 -ladvapi32" -DCMAKE_C_COMPILER=C:/msys64/clang64/bin/clang.exe -DCMAKE_C_COMPILER_AR=C:/msys64/clang64/bin/llvm-ar.exe -DCMAKE_C_COMPILER_CLANG_SCAN_DEPS=C:/msys64/clang64/bin/clang-scan-deps.exe -DCMAKE_C_COMPILER_RANLIB=C:/msys64/clang64/bin/llvm-ranlib.exe -DCMAKE_C_FLAGS= -DCMAKE_C_FLAGS_DEBUG=-g "-DCMAKE_C_FLAGS_MINSIZEREL=-Os -DNDEBUG" "-DCMAKE_C_FLAGS_RELEASE=-O3 -DNDEBUG" "-DCMAKE_C_FLAGS_RELWITHDEBINFO=-O2 -g -DNDEBUG" "-DCMAKE_C_STANDARD_LIBRARIES=-lkernel32 -luser32 -lgdi32 -lwinspool -lshell32 -lole32 -loleaut32 -luuid -lcomdlg32 -ladvapi32" -DCMAKE_DLLTOOL=C:/msys64/clang64/bin/llvm-dlltool.exe -DCMAKE_EXECUTABLE_FORMAT=Unknown -DCMAKE_EXE_LINKER_FLAGS= -DCMAKE_EXE_LINKER_FLAGS_DEBUG= -DCMAKE_EXE_LINKER_FLAGS_MINSIZEREL= -DCMAKE_EXE_LINKER_FLAGS_RELEASE= -DCMAKE_EXE_LINKER_FLAGS_RELWITHDEBINFO= -DCMAKE_EXPORT_COMPILE_COMMANDS= -DCMAKE_EXTRA_GENERATOR= -DCMAKE_FIND_PACKAGE_REDIRECTS_DIR=C:/Users/robin/lean4dev/lean4/build/release/CMakeFiles/pkgRedirects "-DCMAKE_GENERATOR=Unix Makefiles" -DCMAKE_GENERATOR_INSTANCE= -DCMAKE_GENERATOR_PLATFORM= -DCMAKE_GENERATOR_TOOLSET= -DCMAKE_GNUtoMS=OFF "-DCMAKE_INSTALL_PREFIX=C:/Program Files (x86)/LEAN" -DCMAKE_LINKER=C:/msys64/clang64/bin/ld.lld.exe -DCMAKE_MAKE_PROGRAM=C:/msys64/usr/bin/make.exe -DCMAKE_MODULE_LINKER_FLAGS= -DCMAKE_MODULE_LINKER_FLAGS_DEBUG= -DCMAKE_MODULE_LINKER_FLAGS_MINSIZEREL= -DCMAKE_MODULE_LINKER_FLAGS_RELEASE= -DCMAKE_MODULE_LINKER_FLAGS_RELWITHDEBINFO= -DCMAKE_NM=C:/msys64/clang64/bin/llvm-nm.exe -DCMAKE_NUMBER_OF_MAKEFILES=1 -DCMAKE_OBJCOPY=C:/msys64/clang64/bin/llvm-objcopy.exe -DCMAKE_OBJDUMP=C:/msys64/clang64/bin/llvm-objdump.exe -DCMAKE_PLATFORM_INFO_INITIALIZED=1 -DCMAKE_PROJECT_DESCRIPTION= -DCMAKE_PROJECT_HOMEPAGE_URL= -DCMAKE_PROJECT_NAME=LEAN -DCMAKE_RANLIB=C:/msys64/clang64/bin/llvm-ranlib.exe -DCMAKE_RC_COMPILER=C:/msys64/clang64/bin/windres.exe -DCMAKE_RC_FLAGS= -DCMAKE_RC_FLAGS_DEBUG= -DCMAKE_RC_FLAGS_MINSIZEREL= -DCMAKE_RC_FLAGS_RELEASE= -DCMAKE_RC_FLAGS_RELWITHDEBINFO= -DCMAKE_READELF=C:/msys64/clang64/bin/llvm-readelf.exe -DCMAKE_ROOT=C:/msys64/clang64/share/cmake -DCMAKE_SHARED_LINKER_FLAGS= -DCMAKE_SHARED_LINKER_FLAGS_DEBUG= -DCMAKE_SHARED_LINKER_FLAGS_MINSIZEREL= -DCMAKE_SHARED_LINKER_FLAGS_RELEASE= -DCMAKE_SHARED_LINKER_FLAGS_RELWITHDEBINFO= -DCMAKE_SKIP_INSTALL_RPATH=NO -DCMAKE_SKIP_RPATH=NO -DCMAKE_STATIC_LINKER_FLAGS= -DCMAKE_STATIC_LINKER_FLAGS_DEBUG= -DCMAKE_STATIC_LINKER_FLAGS_MINSIZEREL= -DCMAKE_STATIC_LINKER_FLAGS_RELEASE= -DCMAKE_STATIC_LINKER_FLAGS_RELWITHDEBINFO= -DCMAKE_STRIP=C:/msys64/clang64/bin/llvm-strip.exe -DCMAKE_TAPI=CMAKE_TAPI-NOTFOUND -DCMAKE_VERBOSE_MAKEFILE=FALSE -D_CMAKE_CXX_LINKER_PUSHPOP_STATE_SUPPORTED=FALSE -D_CMAKE_C_LINKER_PUSHPOP_STATE_SUPPORTED=FALSE -D_CMAKE_LINKER_PUSHPOP_STATE_SUPPORTED=FALSE -DUSE_LAKE=ON -DUSE_MIMALLOC=ON "-GUnix Makefiles" -S C:/Users/robin/lean4dev/lean4/stage0/src -B C:/Users/robin/lean4dev/lean4/build/release/stage0 Re-run cmake no build system arguments -- No build type selected, default to Release -- 64-bit machine detected -- Windows detected -- LIBUV_LDFLAGS: -LC:/msys64/clang64/lib-luv-lpsapi-luser32-ladvapi32-liphlpapi-luserenv-lws2_32-ldbghelp-lole32-lshell32 -- LIBUV_INCLUDE_DIRS: C:/msys64/clang64/include -- stage0 sha1: 068d969076cdd71d9c3f2e26dcf8373d764cc1a2 -- Configuring done (0.3s) -- Generating done (0.3s) -- Build files have been written to: C:/Users/robin/lean4dev/lean4/build/release/stage0 cd C:/Users/robin/lean4dev/lean4/build/release/stage0 && C:/msys64/clang64/bin/cmake.exe -E touch C:/Users/robin/lean4dev/lean4/build/release/stage0-prefix/src/stage0-stamp/stage0-configure [ 41%] Performing build step for 'stage0' cd C:/Users/robin/lean4dev/lean4/build/release/stage0 && make make[3]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -SC:/Users/robin/lean4dev/lean4/stage0/src -BC:/Users/robin/lean4dev/lean4/build/release/stage0 --check-build-system CMakeFiles/Makefile.cmake 0 C:/msys64/clang64/bin/cmake.exe -E cmake_progress_start C:/Users/robin/lean4dev/lean4/build/release/stage0/CMakeFiles C:/Users/robin/lean4dev/lean4/build/release/stage0//CMakeFiles/progress.marks make -f CMakeFiles/Makefile2 all make[4]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make -f initialize/CMakeFiles/initialize.dir/build.make initialize/CMakeFiles/initialize.dir/depend make -f CMakeFiles/leanshell.dir/build.make CMakeFiles/leanshell.dir/depend make -f library/CMakeFiles/library.dir/build.make library/CMakeFiles/library.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/stage0/src/initialize C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0/initialize C:/Users/robin/lean4dev/lean4/build/release/stage0/initialize/CMakeFiles/initialize.dir/DependInfo.cmake "--color=" make -f util/CMakeFiles/util.dir/build.make util/CMakeFiles/util.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0/CMakeFiles/leanshell.dir/DependInfo.cmake "--color=" make -f kernel/CMakeFiles/kernel.dir/build.make kernel/CMakeFiles/kernel.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/stage0/src/library C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0/library C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/DependInfo.cmake "--color=" make -f library/constructions/CMakeFiles/constructions.dir/build.make library/constructions/CMakeFiles/constructions.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/stage0/src/util C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0/util C:/Users/robin/lean4dev/lean4/build/release/stage0/util/CMakeFiles/util.dir/DependInfo.cmake "--color=" make -f CMakeFiles/make_stdlib.dir/build.make CMakeFiles/make_stdlib.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/stage0/src/kernel C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0/kernel C:/Users/robin/lean4dev/lean4/build/release/stage0/kernel/CMakeFiles/kernel.dir/DependInfo.cmake "--color=" make -f runtime/CMakeFiles/leanrt_initial-exec.dir/build.make runtime/CMakeFiles/leanrt_initial-exec.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/stage0/src/library/constructions C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0/library/constructions C:/Users/robin/lean4dev/lean4/build/release/stage0/library/constructions/CMakeFiles/constructions.dir/DependInfo.cmake "--color=" make -f shell/CMakeFiles/leanmain.dir/build.make shell/CMakeFiles/leanmain.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0/CMakeFiles/make_stdlib.dir/DependInfo.cmake "--color=" make -f shell/CMakeFiles/leanmanifest.dir/build.make shell/CMakeFiles/leanmanifest.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/stage0/src/runtime C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/DependInfo.cmake "--color=" make -f runtime/CMakeFiles/leanrt.dir/build.make runtime/CMakeFiles/leanrt.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/stage0/src/shell C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0/shell C:/Users/robin/lean4dev/lean4/build/release/stage0/shell/CMakeFiles/leanmain.dir/DependInfo.cmake "--color=" make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/stage0/src/shell C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0/shell C:/Users/robin/lean4dev/lean4/build/release/stage0/shell/CMakeFiles/leanmanifest.dir/DependInfo.cmake "--color=" Dependencies file "initialize/CMakeFiles/initialize.dir/init.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/initialize/CMakeFiles/initialize.dir/compiler_depend.internal". Dependencies file "CMakeFiles/leanshell.dir/util/shell.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/CMakeFiles/leanshell.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/annotation.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/stage0/src/runtime C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/DependInfo.cmake "--color=" Dependencies file "util/CMakeFiles/util.dir/ascii.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/bit_tricks.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/abstract.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "library/constructions/CMakeFiles/constructions.dir/cases_on.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/constructions/CMakeFiles/constructions.dir/compiler_depend.internal". make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make -f CMakeFiles/make_stdlib.dir/build.make CMakeFiles/make_stdlib.dir/build Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/C_/Users/robin/lean4dev/lean4/build/release/mimalloc/src/mimalloc/src/static.c.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "shell/CMakeFiles/leanmain.dir/lean.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/shell/CMakeFiles/leanmain.dir/compiler_depend.internal". make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' cd C:/Users/robin/lean4dev/lean4/stage0/src && make -f C:/Users/robin/lean4dev/lean4/build/release/stage0/stdlib.make Init Std Lean Leanc Lake Dependee "C:/Users/robin/lean4dev/lean4/build/release/stage0/shell/CMakeFiles/leanmanifest.dir/DependInfo.cmake" is newer than depender "C:/Users/robin/lean4dev/lean4/build/release/stage0/shell/CMakeFiles/leanmanifest.dir/depend.internal". Dependee "C:/Users/robin/lean4dev/lean4/build/release/stage0/shell/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "C:/Users/robin/lean4dev/lean4/build/release/stage0/shell/CMakeFiles/leanmanifest.dir/depend.internal". Consolidate compiler generated dependencies of target leanmain make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make -f shell/CMakeFiles/leanmain.dir/build.make shell/CMakeFiles/leanmain.dir/build Dependencies file "shell/CMakeFiles/leanmanifest.dir/__/temp/empty.c.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/shell/CMakeFiles/leanmanifest.dir/compiler_depend.internal". Consolidate compiler generated dependencies of target initialize Dependencies file "runtime/CMakeFiles/leanrt.dir/C_/Users/robin/lean4dev/lean4/build/release/mimalloc/src/mimalloc/src/static.c.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Scanning dependencies of target leanmanifest Consolidate compiler generated dependencies of target leanmanifest make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make -f initialize/CMakeFiles/initialize.dir/build.make initialize/CMakeFiles/initialize.dir/build make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make -f shell/CMakeFiles/leanmanifest.dir/build.make shell/CMakeFiles/leanmanifest.dir/build Dependencies file "library/CMakeFiles/library.dir/aux_recursors.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/escaped.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/bin_app.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/ffi.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/class.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' Dependencies file "util/CMakeFiles/util.dir/init_module.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/constants.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/dynlib.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/kvmap.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/lbool.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/list_fn.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/map_foreach.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/name.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/elab_environment.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/name_generator.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/name_set.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/expr_lt.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/option_declarations.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/formatter.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/declaration.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make[5]: Nothing to be done for 'shell/CMakeFiles/leanmanifest.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' Dependencies file "library/CMakeFiles/library.dir/init_attribute.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/init_module.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/options.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/environment.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/path.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/ir_interpreter.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/equiv_manager.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/expr.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/expr_cache.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/llvm.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/expr_eq_fn.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/max_sharing.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". make[6]: Entering directory '/c/Users/robin/lean4dev/lean4/stage0/src' Dependencies file "kernel/CMakeFiles/kernel.dir/for_each_fn.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/module.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/inductive.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "library/constructions/CMakeFiles/constructions.dir/init_module.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/constructions/CMakeFiles/constructions.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/num.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/init_module.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/print.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/instantiate.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/instantiate_mvars.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/level.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "library/constructions/CMakeFiles/constructions.dir/no_confusion.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/constructions/CMakeFiles/constructions.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/local_ctx.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/profiling.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/quot.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "library/constructions/CMakeFiles/constructions.dir/util.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/constructions/CMakeFiles/constructions.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/projection.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/replace_fn.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/reducible.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/trace.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/replace_visitor.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/type_checker.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/time_task.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/util.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/timeit.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/alloc.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/timer.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/alloc.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/allocprof.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/apply.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Consolidate compiler generated dependencies of target constructions Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/compact.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/debug.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/exception.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/allocprof.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/hash.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/init_module.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/apply.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/compact.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Consolidate compiler generated dependencies of target leanshell Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/interrupt.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/debug.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/io.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/exception.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/libuv.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/hash.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/init_module.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/memory.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/mpn.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/interrupt.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/mpz.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/io.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/mutex.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/object.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/libuv.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/object_ref.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/platform.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/memory.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/process.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/mpn.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/sharecommon.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/mpz.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/stack_overflow.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/mutex.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". make -f library/constructions/CMakeFiles/constructions.dir/build.make library/constructions/CMakeFiles/constructions.dir/build Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/stackinfo.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/object.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/thread.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/object_ref.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/utf8.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/platform.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/process.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/sharecommon.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/stack_overflow.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". [ 1%] Linking CXX static library ../lib/temp/libleanmain.a Dependencies file "runtime/CMakeFiles/leanrt.dir/stackinfo.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/thread.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". make -f CMakeFiles/leanshell.dir/build.make CMakeFiles/leanshell.dir/build Dependencies file "runtime/CMakeFiles/leanrt.dir/utf8.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/uv/dns.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/uv/dns.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/uv/event_loop.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/uv/event_loop.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/uv/net_addr.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". [ 3%] Built target leanmanifest Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/uv/net_addr.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/uv/system.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/uv/system.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/uv/tcp.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/uv/tcp.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/uv/timer.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/uv/timer.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/uv/udp.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/uv/udp.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". cd C:/Users/robin/lean4dev/lean4/build/release/stage0/shell && C:/msys64/clang64/bin/cmake.exe -P CMakeFiles/leanmain.dir/cmake_clean_target.cmake Consolidate compiler generated dependencies of target kernel make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make -f kernel/CMakeFiles/kernel.dir/build.make kernel/CMakeFiles/kernel.dir/build Consolidate compiler generated dependencies of target util make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make[5]: Nothing to be done for 'initialize/CMakeFiles/initialize.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' "/C/Users/robin/lean4dev/lean4/build/release/stage0/bin/leanmake" objs lib lib.export PKG=Init LEAN="/bin/lean" LEANC="C:/Users/robin/lean4dev/lean4/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="C:/Users/robin/lean4dev/lean4/build/release/stage0/bin" LEAN_OPTS+=" -DElab.async=true" LEANC_OPTS+=" -IC:/Users/robin/lean4dev/lean4/build/release/stage0/include -O3 -DNDEBUG" LEAN_AR="C:/msys64/clang64/bin/llvm-ar.exe" MORE_DEPS+="/bin/lean" CMAKE_LIKE_OUTPUT=1 C_ONLY=1 C_OUT=C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib/ \ EXTRA_SRC_ROOTS="Std Std.lean Lean Lean.lean" Consolidate compiler generated dependencies of target library make -f util/CMakeFiles/util.dir/build.make util/CMakeFiles/util.dir/build make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make -f library/CMakeFiles/library.dir/build.make library/CMakeFiles/library.dir/build cd C:/Users/robin/lean4dev/lean4/build/release/stage0/shell && C:/msys64/clang64/bin/cmake.exe -E cmake_link_script CMakeFiles/leanmain.dir/link.txt --verbose=1 make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make[5]: Nothing to be done for 'library/constructions/CMakeFiles/constructions.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' [ 4%] Built target initialize make -f CMakeFiles/leaninitialize.dir/build.make CMakeFiles/leaninitialize.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0/CMakeFiles/leaninitialize.dir/DependInfo.cmake "--color=" make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/llvm-ar.exe qc ../lib/temp/libleanmain.a CMakeFiles/leanmain.dir/lean.cpp.obj Consolidate compiler generated dependencies of target leanrt_initial-exec [ 6%] Built target constructions make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make -f runtime/CMakeFiles/leanrt_initial-exec.dir/build.make runtime/CMakeFiles/leanrt_initial-exec.dir/build make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make[5]: Nothing to be done for 'kernel/CMakeFiles/kernel.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make[7]: Entering directory '/c/Users/robin/lean4dev/lean4/stage0/src' Consolidate compiler generated dependencies of target leanrt make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make -f runtime/CMakeFiles/leanrt.dir/build.make runtime/CMakeFiles/leanrt.dir/build C:/msys64/clang64/bin/llvm-ranlib.exe ../lib/temp/libleanmain.a [ 7%] Linking CXX static library lib/temp/libleanshell.a C:/msys64/clang64/bin/cmake.exe -P CMakeFiles/leanshell.dir/cmake_clean_target.cmake make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make -f CMakeFiles/leaninitialize.dir/build.make CMakeFiles/leaninitialize.dir/build make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make[5]: Nothing to be done for 'util/CMakeFiles/util.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' [ 20%] Built target kernel make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make[5]: Nothing to be done for 'library/CMakeFiles/library.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_link_script CMakeFiles/leanshell.dir/link.txt --verbose=1 C:/msys64/clang64/bin/llvm-ar.exe qc lib/temp/libleanshell.a CMakeFiles/leanshell.dir/util/shell.cpp.obj [ 24%] Built target leanmain [ 34%] Built target util [ 35%] Linking CXX static library lib/temp/libleaninitialize.a C:/msys64/clang64/bin/cmake.exe -P CMakeFiles/leaninitialize.dir/cmake_clean_target.cmake [ 51%] Built target library make -f CMakeFiles/leancpp_1.dir/build.make CMakeFiles/leancpp_1.dir/depend C:/msys64/clang64/bin/llvm-ranlib.exe lib/temp/libleanshell.a make -f CMakeFiles/leancpp.dir/build.make CMakeFiles/leancpp.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0/CMakeFiles/leancpp_1.dir/DependInfo.cmake "--color=" make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0/CMakeFiles/leancpp.dir/DependInfo.cmake "--color=" make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make[5]: Nothing to be done for 'runtime/CMakeFiles/leanrt_initial-exec.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_link_script CMakeFiles/leaninitialize.dir/link.txt --verbose=1 make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make[5]: Nothing to be done for 'runtime/CMakeFiles/leanrt.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/llvm-ar.exe qc lib/temp/libleaninitialize.a initialize/CMakeFiles/initialize.dir/init.cpp.obj [ 57%] Built target leanshell make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' [ 75%] Built target leanrt_initial-exec make -f CMakeFiles/leancpp_1.dir/build.make CMakeFiles/leancpp_1.dir/build make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make -f CMakeFiles/leancpp.dir/build.make CMakeFiles/leancpp.dir/build C:/msys64/clang64/bin/llvm-ranlib.exe lib/temp/libleaninitialize.a make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make[5]: Nothing to be done for 'CMakeFiles/leancpp.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' [ 99%] Built target leanrt make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' [100%] Built target leancpp [100%] Linking CXX static library lib/temp/libleancpp_1.a C:/msys64/clang64/bin/cmake.exe -P CMakeFiles/leancpp_1.dir/cmake_clean_target.cmake [100%] Built target leaninitialize C:/msys64/clang64/bin/cmake.exe -E cmake_link_script CMakeFiles/leancpp_1.dir/link.txt --verbose=1 C:/msys64/clang64/bin/llvm-ar.exe qc lib/temp/libleancpp_1.a util/CMakeFiles/util.dir/name.cpp.obj util/CMakeFiles/util.dir/name_set.cpp.obj util/CMakeFiles/util.dir/escaped.cpp.obj util/CMakeFiles/util.dir/bit_tricks.cpp.obj util/CMakeFiles/util.dir/ascii.cpp.obj util/CMakeFiles/util.dir/path.cpp.obj util/CMakeFiles/util.dir/lbool.cpp.obj util/CMakeFiles/util.dir/init_module.cpp.obj util/CMakeFiles/util.dir/list_fn.cpp.obj util/CMakeFiles/util.dir/timeit.cpp.obj util/CMakeFiles/util.dir/timer.cpp.obj util/CMakeFiles/util.dir/name_generator.cpp.obj util/CMakeFiles/util.dir/kvmap.cpp.obj util/CMakeFiles/util.dir/map_foreach.cpp.obj util/CMakeFiles/util.dir/options.cpp.obj util/CMakeFiles/util.dir/option_declarations.cpp.obj util/CMakeFiles/util.dir/ffi.cpp.obj kernel/CMakeFiles/kernel.dir/level.cpp.obj kernel/CMakeFiles/kernel.dir/expr.cpp.obj kernel/CMakeFiles/kernel.dir/expr_eq_fn.cpp.obj kernel/CMakeFiles/kernel.dir/for_each_fn.cpp.obj kernel/CMakeFiles/kernel.dir/replace_fn.cpp.obj kernel/CMakeFiles/kernel.dir/abstract.cpp.obj kernel/CMakeFiles/kernel.dir/instantiate.cpp.obj kernel/CMakeFiles/kernel.dir/local_ctx.cpp.obj kernel/CMakeFiles/kernel.dir/declaration.cpp.obj kernel/CMakeFiles/kernel.dir/environment.cpp.obj kernel/CMakeFiles/kernel.dir/type_checker.cpp.obj kernel/CMakeFiles/kernel.dir/init_module.cpp.obj kernel/CMakeFiles/kernel.dir/expr_cache.cpp.obj kernel/CMakeFiles/kernel.dir/equiv_manager.cpp.obj kernel/CMakeFiles/kernel.dir/quot.cpp.obj kernel/CMakeFiles/kernel.dir/inductive.cpp.obj kernel/CMakeFiles/kernel.dir/trace.cpp.obj kernel/CMakeFiles/kernel.dir/instantiate_mvars.cpp.obj library/CMakeFiles/library.dir/expr_lt.cpp.obj library/CMakeFiles/library.dir/bin_app.cpp.obj library/CMakeFiles/library.dir/constants.cpp.obj library/CMakeFiles/library.dir/max_sharing.cpp.obj library/CMakeFiles/library.dir/module.cpp.obj library/CMakeFiles/library.dir/dynlib.cpp.obj library/CMakeFiles/library.dir/replace_visitor.cpp.obj library/CMakeFiles/library.dir/num.cpp.obj library/CMakeFiles/library.dir/class.cpp.obj library/CMakeFiles/library.dir/util.cpp.obj library/CMakeFiles/library.dir/print.cpp.obj library/CMakeFiles/library.dir/annotation.cpp.obj library/CMakeFiles/library.dir/reducible.cpp.obj library/CMakeFiles/library.dir/init_module.cpp.obj library/CMakeFiles/library.dir/projection.cpp.obj library/CMakeFiles/library.dir/aux_recursors.cpp.obj library/CMakeFiles/library.dir/profiling.cpp.obj library/CMakeFiles/library.dir/time_task.cpp.obj library/CMakeFiles/library.dir/formatter.cpp.obj library/CMakeFiles/library.dir/elab_environment.cpp.obj library/CMakeFiles/library.dir/init_attribute.cpp.obj library/CMakeFiles/library.dir/llvm.cpp.obj library/CMakeFiles/library.dir/ir_interpreter.cpp.obj library/constructions/CMakeFiles/constructions.dir/cases_on.cpp.obj library/constructions/CMakeFiles/constructions.dir/no_confusion.cpp.obj library/constructions/CMakeFiles/constructions.dir/init_module.cpp.obj library/constructions/CMakeFiles/constructions.dir/util.cpp.obj C:/msys64/clang64/bin/llvm-ranlib.exe lib/temp/libleancpp_1.a make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init.c [100%] Built target leancpp_1 [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init.c C:/Users/robin/lean4dev/lean4/build/release/stage0/leanc.sh -c -o ../../build/release/stage0/lib/temp/Init.o C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init.c -IC:/Users/robin/lean4dev/lean4/build/release/stage0/include -O3 -DNDEBUG C:/Users/robin/lean4dev/lean4/build/release/stage0/leanc.sh -c -o ../../build/release/stage0/lib/temp/Init.o.export C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init.c -IC:/Users/robin/lean4dev/lean4/build/release/stage0/include -O3 -DNDEBUG -DLEAN_EXPORTING # "T"hin archive seems necessary to preserve paths so that we can distinguish # between object files with the same file name when manipulating the archive for # `libleanshared_*` make[7]: Leaving directory '/c/Users/robin/lean4dev/lean4/stage0/src' "/C/Users/robin/lean4dev/lean4/build/release/stage0/bin/leanmake" lib lib.export PKG=Std LEAN="/bin/lean" LEANC="C:/Users/robin/lean4dev/lean4/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="C:/Users/robin/lean4dev/lean4/build/release/stage0/bin" LEAN_OPTS+=" -DElab.async=true" LEANC_OPTS+=" -IC:/Users/robin/lean4dev/lean4/build/release/stage0/include -O3 -DNDEBUG" LEAN_AR="C:/msys64/clang64/bin/llvm-ar.exe" MORE_DEPS+="/bin/lean" CMAKE_LIKE_OUTPUT=1 C_ONLY=1 C_OUT=C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib/ make[7]: Entering directory '/c/Users/robin/lean4dev/lean4/stage0/src' [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std.c C:/Users/robin/lean4dev/lean4/build/release/stage0/leanc.sh -c -o ../../build/release/stage0/lib/temp/Std.o C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std.c -IC:/Users/robin/lean4dev/lean4/build/release/stage0/include -O3 -DNDEBUG C:/Users/robin/lean4dev/lean4/build/release/stage0/leanc.sh -c -o ../../build/release/stage0/lib/temp/Std.o.export C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std.c -IC:/Users/robin/lean4dev/lean4/build/release/stage0/include -O3 -DNDEBUG -DLEAN_EXPORTING # "T"hin archive seems necessary to preserve paths so that we can distinguish # between object files with the same file name when manipulating the archive for # `libleanshared_*` make[7]: Leaving directory '/c/Users/robin/lean4dev/lean4/stage0/src' "/C/Users/robin/lean4dev/lean4/build/release/stage0/bin/leanmake" lib lib.export PKG=Lean LEAN="/bin/lean" LEANC="C:/Users/robin/lean4dev/lean4/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="C:/Users/robin/lean4dev/lean4/build/release/stage0/bin" LEAN_OPTS+=" -DElab.async=true" LEANC_OPTS+=" -IC:/Users/robin/lean4dev/lean4/build/release/stage0/include -O3 -DNDEBUG" LEAN_AR="C:/msys64/clang64/bin/llvm-ar.exe" MORE_DEPS+="/bin/lean" CMAKE_LIKE_OUTPUT=1 C_ONLY=1 C_OUT=C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib/ make[7]: Entering directory '/c/Users/robin/lean4dev/lean4/stage0/src' [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean.c C:/Users/robin/lean4dev/lean4/build/release/stage0/leanc.sh -c -o ../../build/release/stage0/lib/temp/Lean.o C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean.c -IC:/Users/robin/lean4dev/lean4/build/release/stage0/include -O3 -DNDEBUG [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean.c C:/Users/robin/lean4dev/lean4/build/release/stage0/leanc.sh -c -o ../../build/release/stage0/lib/temp/Lean.o.export C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean.c -IC:/Users/robin/lean4dev/lean4/build/release/stage0/include -O3 -DNDEBUG -DLEAN_EXPORTING # "T"hin archive seems necessary to preserve paths so that we can distinguish # between object files with the same file name when manipulating the archive for # `libleanshared_*` make[7]: Leaving directory '/c/Users/robin/lean4dev/lean4/stage0/src' make[6]: Nothing to be done for 'Leanc'. "/C/Users/robin/lean4dev/lean4/build/release/stage0/bin/leanmake" -C lake lib lib.export ../../../build/release/stage0/lib/temp/LakeMain.o.export PKG=Lake LEAN="/bin/lean" LEANC="C:/Users/robin/lean4dev/lean4/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="C:/Users/robin/lean4dev/lean4/build/release/stage0/bin" LEAN_OPTS+=" -DElab.async=true" LEANC_OPTS+=" -IC:/Users/robin/lean4dev/lean4/build/release/stage0/include -O3 -DNDEBUG" LEAN_AR="C:/msys64/clang64/bin/llvm-ar.exe" MORE_DEPS+="/bin/lean" CMAKE_LIKE_OUTPUT=1 C_ONLY=1 C_OUT=C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib/ OUT="../../../build/release/stage0/lib" LIB_OUT="../../../build/release/stage0/lib/lean" TEMP_OUT="../../../build/release/stage0/lib/temp" OLEAN_OUT="../../../build/release/stage0/lib/lean" EXTRA_SRC_ROOTS=LakeMain.lean make[7]: Entering directory '/c/Users/robin/lean4dev/lean4/stage0/src/lake' [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//LakeMain.c C:/Users/robin/lean4dev/lean4/build/release/stage0/leanc.sh -c -o ../../../build/release/stage0/lib/temp/Lake.o C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake.c -IC:/Users/robin/lean4dev/lean4/build/release/stage0/include -O3 -DNDEBUG C:/Users/robin/lean4dev/lean4/build/release/stage0/leanc.sh -c -o ../../../build/release/stage0/lib/temp/Lake.o.export C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake.c -IC:/Users/robin/lean4dev/lean4/build/release/stage0/include -O3 -DNDEBUG -DLEAN_EXPORTING C:/Users/robin/lean4dev/lean4/build/release/stage0/leanc.sh -c -o ../../../build/release/stage0/lib/temp/LakeMain.o.export C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//LakeMain.c -IC:/Users/robin/lean4dev/lean4/build/release/stage0/include -O3 -DNDEBUG -DLEAN_EXPORTING # "T"hin archive seems necessary to preserve paths so that we can distinguish # between object files with the same file name when manipulating the archive for # `libleanshared_*` make[7]: Leaving directory '/c/Users/robin/lean4dev/lean4/stage0/src/lake' make[6]: Leaving directory '/c/Users/robin/lean4dev/lean4/stage0/src' make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' [100%] Built target make_stdlib make -f CMakeFiles/Init_shared.dir/build.make CMakeFiles/Init_shared.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0/CMakeFiles/Init_shared.dir/DependInfo.cmake "--color=" make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make -f CMakeFiles/Init_shared.dir/build.make CMakeFiles/Init_shared.dir/build make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' cd C:/Users/robin/lean4dev/lean4/stage0/src && make -f C:/Users/robin/lean4dev/lean4/build/release/stage0/stdlib.make Init_shared make[6]: Entering directory '/c/Users/robin/lean4dev/lean4/stage0/src' [ ] Building C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libInit_shared.dll "C:/Users/robin/lean4dev/lean4/build/release/stage0/leanc.sh" -shared -o C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libInit_shared.dll \ -Wl,--whole-archive C:/Users/robin/lean4dev/lean4/build/release/stage0/lib/lean/libInit.a.export C:/Users/robin/lean4dev/lean4/build/release/stage0/lib/lean/libStd.a.export C:/Users/robin/lean4dev/lean4/build/release/stage0/runtime/libleanrt_initial-exec.a -Wl,--no-whole-archive \ -Wl,--out-implib,C:/Users/robin/lean4dev/lean4/build/release/stage0/lib/lean/libInit_shared.dll.a -lstdc++ -Wl,--gc-sections -IC:/Users/robin/lean4dev/lean4/build/release/stage0/include -O3 -DNDEBUG make[6]: Leaving directory '/c/Users/robin/lean4dev/lean4/stage0/src' make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' [100%] Built target Init_shared make -f CMakeFiles/leanshared.dir/build.make CMakeFiles/leanshared.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0/CMakeFiles/leanshared.dir/DependInfo.cmake "--color=" make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make -f CMakeFiles/leanshared.dir/build.make CMakeFiles/leanshared.dir/build make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' cd C:/Users/robin/lean4dev/lean4/stage0/src && make -f C:/Users/robin/lean4dev/lean4/build/release/stage0/stdlib.make leanshared make[6]: Entering directory '/c/Users/robin/lean4dev/lean4/stage0/src' [ ] Building C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libleanshared.dll "C:/Users/robin/lean4dev/lean4/build/release/stage0/leanc.sh" -shared -o C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libleanshared_1.dll \ -Wl,--start-group ../../build/release/stage0/lib/lean/libLean.a.export -Wl,--whole-archive ../../build/release/stage0/lib/temp/libleancpp_1.a -Wl,--no-whole-archive -Wl,--end-group -lInit_shared -Wl,--out-implib,../../build/release/stage0/lib/lean/libleanshared_1.dll.a -lstdc++ -Wl,--gc-sections -IC:/Users/robin/lean4dev/lean4/build/release/stage0/include -O3 -DNDEBUG -Wl,-Map=../../build/release/stage0/lib/temp/libleanshared_1.map echo -n "C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libleanshared_1.dll symbols: " C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libleanshared_1.dll symbols: nm C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libleanshared_1.dll --extern-only | wc -l 59267 cp ../../build/release/stage0/lib/lean/libLean.a.export ../../build/release/stage0/lib/lean/diff.a sed -En 's/.*\s(\S*\.o\.export):.*/\1/p' ../../build/release/stage0/lib/temp/libleanshared_1.map > ../../build/release/stage0/lib/temp/diff.a.in ar dP ../../build/release/stage0/lib/lean/diff.a @../../build/release/stage0/lib/temp/diff.a.in #"C:/msys64/clang64/bin/llvm-ar.exe" tP ../../build/release/stage0/lib/lean/diff.a "C:/Users/robin/lean4dev/lean4/build/release/stage0/leanc.sh" -shared -o C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libleanshared_2.dll \ ../../build/release/stage0/lib/lean/../temp/Lean/Meta.*o.export ../../build/release/stage0/lib/lean/diff.a -Wl,--no-whole-archive -lleanshared_1 -lInit_shared -Wl,--out-implib,../../build/release/stage0/lib/lean/libleanshared_2.dll.a -lstdc++ -Wl,--gc-sections -IC:/Users/robin/lean4dev/lean4/build/release/stage0/include -O3 -DNDEBUG -Wl,-Map=../../build/release/stage0/lib/temp/libleanshared_2.map echo -n "C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libleanshared_2.dll symbols: " C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libleanshared_2.dll symbols: nm C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libleanshared_2.dll --extern-only | wc -l 38773 sed -En 's/.*\s(\S*\.o\.export):.*/\1/p' ../../build/release/stage0/lib/temp/libleanshared_2.map > ../../build/release/stage0/lib/temp/diff.a.in ar dP ../../build/release/stage0/lib/lean/diff.a @../../build/release/stage0/lib/temp/diff.a.in #"C:/msys64/clang64/bin/llvm-ar.exe" tP ../../build/release/stage0/lib/lean/diff.a "C:/Users/robin/lean4dev/lean4/build/release/stage0/leanc.sh" -shared -o C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libleanshared.dll \ -Wl,--whole-archive ../../build/release/stage0/lib/lean/diff.a ../../build/release/stage0/lib/temp/libleanshell.a ../../build/release/stage0/lib/temp/libleaninitialize.a -Wl,--no-whole-archive -lleanshared_2 -lleanshared_1 -lInit_shared -Wl,--out-implib,../../build/release/stage0/lib/lean/libleanshared.dll.a -lstdc++ -Wl,--gc-sections -IC:/Users/robin/lean4dev/lean4/build/release/stage0/include -O3 -DNDEBUG echo -n "C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libleanshared.dll symbols: " C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libleanshared.dll symbols: nm C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libleanshared.dll --extern-only | wc -l 41815 rm ../../build/release/stage0/lib/lean/diff.a make[6]: Leaving directory '/c/Users/robin/lean4dev/lean4/stage0/src' make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' [100%] Built target leanshared make -f CMakeFiles/lake_shared.dir/build.make CMakeFiles/lake_shared.dir/depend make -f shell/CMakeFiles/lean.dir/build.make shell/CMakeFiles/lean.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0/CMakeFiles/lake_shared.dir/DependInfo.cmake "--color=" make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/stage0/src/shell C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0/shell C:/Users/robin/lean4dev/lean4/build/release/stage0/shell/CMakeFiles/lean.dir/DependInfo.cmake "--color=" make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make -f CMakeFiles/lake_shared.dir/build.make CMakeFiles/lake_shared.dir/build make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make -f shell/CMakeFiles/lean.dir/build.make shell/CMakeFiles/lean.dir/build make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' cd C:/Users/robin/lean4dev/lean4/stage0/src && make -f C:/Users/robin/lean4dev/lean4/build/release/stage0/stdlib.make libLake_shared make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' cd C:/Users/robin/lean4dev/lean4/stage0/src && make -f C:/Users/robin/lean4dev/lean4/build/release/stage0/stdlib.make lean make[6]: Entering directory '/c/Users/robin/lean4dev/lean4/stage0/src' make[6]: Entering directory '/c/Users/robin/lean4dev/lean4/stage0/src' [ ] Building C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libLake_shared.dll [ ] Building C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/lean.exe "C:/Users/robin/lean4dev/lean4/build/release/stage0/leanc.sh" -shared -o C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libLake_shared.dll \ -Wl,--out-implib,C:/Users/robin/lean4dev/lean4/build/release/stage0/lib/lean/libLake_shared.dll.a -Wl,--whole-archive C:/Users/robin/lean4dev/lean4/build/release/stage0/lib/lean/libLake.a.export -Wl,--no-whole-archive -lleanshared -lleanshared_2 -lleanshared_1 -lInit_shared -lstdc++ -Wl,--gc-sections -IC:/Users/robin/lean4dev/lean4/build/release/stage0/include -O3 -DNDEBUG "C:/Users/robin/lean4dev/lean4/build/release/stage0/leanc.sh" ../../build/release/stage0/lib/temp/libleanmain.a -lstdc++ -Wl,--whole-archive -lleanmanifest -Wl,--no-whole-archive -lInit_shared -lleanshared_2 -lleanshared_1 -lleanshared -IC:/Users/robin/lean4dev/lean4/build/release/stage0/include -O3 -DNDEBUG -o C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/lean.exe make[6]: Leaving directory '/c/Users/robin/lean4dev/lean4/stage0/src' make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' [100%] Built target lean make[6]: Leaving directory '/c/Users/robin/lean4dev/lean4/stage0/src' make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' [100%] Built target lake_shared make -f CMakeFiles/lake.dir/build.make CMakeFiles/lake.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/stage0/src C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0 C:/Users/robin/lean4dev/lean4/build/release/stage0/CMakeFiles/lake.dir/DependInfo.cmake "--color=" make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' make -f CMakeFiles/lake.dir/build.make CMakeFiles/lake.dir/build make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' cd C:/Users/robin/lean4dev/lean4/stage0/src && make -f C:/Users/robin/lean4dev/lean4/build/release/stage0/stdlib.make lake make[6]: Entering directory '/c/Users/robin/lean4dev/lean4/stage0/src' [ ] Building C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/lake.exe "C:/Users/robin/lean4dev/lean4/build/release/stage0/leanc.sh" ../../build/release/stage0/lib/temp/LakeMain.o.export -lLake_shared -lstdc++ -Wl,--whole-archive -lleanmanifest -Wl,--no-whole-archive -lInit_shared -lleanshared_2 -lleanshared_1 -lleanshared -IC:/Users/robin/lean4dev/lean4/build/release/stage0/include -O3 -DNDEBUG -o C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/lake.exe make[6]: Leaving directory '/c/Users/robin/lean4dev/lean4/stage0/src' make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' [100%] Built target lake make[4]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' C:/msys64/clang64/bin/cmake.exe -E cmake_progress_start C:/Users/robin/lean4dev/lean4/build/release/stage0/CMakeFiles 0 make[3]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage0' [ 45%] No install step for 'stage0' cd C:/Users/robin/lean4dev/lean4/build/release/stage0 && C:/msys64/clang64/bin/cmake.exe -E echo_append [ 50%] Completed 'stage0' C:/msys64/clang64/bin/cmake.exe -E make_directory C:/Users/robin/lean4dev/lean4/build/release/CMakeFiles C:/msys64/clang64/bin/cmake.exe -E touch C:/Users/robin/lean4dev/lean4/build/release/CMakeFiles/stage0-complete C:/msys64/clang64/bin/cmake.exe -E touch C:/Users/robin/lean4dev/lean4/build/release/stage0-prefix/src/stage0-stamp/stage0-done make[2]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release' [ 66%] Built target stage0 make -f CMakeFiles/stage1.dir/build.make CMakeFiles/stage1.dir/depend make[2]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4 C:/Users/robin/lean4dev/lean4 C:/Users/robin/lean4dev/lean4/build/release C:/Users/robin/lean4dev/lean4/build/release C:/Users/robin/lean4dev/lean4/build/release/CMakeFiles/stage1.dir/DependInfo.cmake "--color=" make[2]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release' make -f CMakeFiles/stage1.dir/build.make CMakeFiles/stage1.dir/build make[2]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release' [ 70%] Performing configure step for 'stage1' cd C:/Users/robin/lean4dev/lean4/build/release/stage1 && C:/msys64/clang64/bin/cmake.exe -DSTAGE=1 -DPREV_STAGE=C:/Users/robin/lean4dev/lean4/build/release/stage0 -DPREV_STAGE_CMAKE_EXECUTABLE_SUFFIX=.exe -DCMAKE_RC_COMPILER_WORKS=1 -DUSE_LAKE=ON -DUSE_MIMALLOC=ON -DCADICAL=C:/Users/robin/lean4dev/lean4/build/release/cadical/cadical.exe "-GUnix Makefiles" -S C:/Users/robin/lean4dev/lean4/src -B C:/Users/robin/lean4dev/lean4/build/release/stage1 Re-run cmake no build system arguments -- No build type selected, default to Release -- 64-bit machine detected -- Windows detected -- LIBUV_LDFLAGS: -LC:/msys64/clang64/lib-luv-lpsapi-luser32-ladvapi32-liphlpapi-luserenv-lws2_32-ldbghelp-lole32-lshell32 -- LIBUV_INCLUDE_DIRS: C:/msys64/clang64/include -- git commit sha1: ce1e63fe3d1ae3b102100293ce08c6c1c53898e8 -- Configuring done (0.3s) -- Generating done (0.3s) -- Build files have been written to: C:/Users/robin/lean4dev/lean4/build/release/stage1 cd C:/Users/robin/lean4dev/lean4/build/release/stage1 && C:/msys64/clang64/bin/cmake.exe -E touch C:/Users/robin/lean4dev/lean4/build/release/stage1-prefix/src/stage1-stamp/stage1-configure [ 75%] Performing build step for 'stage1' cd C:/Users/robin/lean4dev/lean4/build/release/stage1 && make make[3]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -SC:/Users/robin/lean4dev/lean4/src -BC:/Users/robin/lean4dev/lean4/build/release/stage1 --check-build-system CMakeFiles/Makefile.cmake 0 C:/msys64/clang64/bin/cmake.exe -E cmake_progress_start C:/Users/robin/lean4dev/lean4/build/release/stage1/CMakeFiles C:/Users/robin/lean4dev/lean4/build/release/stage1//CMakeFiles/progress.marks make -f CMakeFiles/Makefile2 all make[4]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make -f initialize/CMakeFiles/initialize.dir/build.make initialize/CMakeFiles/initialize.dir/depend make -f CMakeFiles/leanshell.dir/build.make CMakeFiles/leanshell.dir/depend make -f library/constructions/CMakeFiles/constructions.dir/build.make library/constructions/CMakeFiles/constructions.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src/initialize C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/initialize C:/Users/robin/lean4dev/lean4/build/release/stage1/initialize/CMakeFiles/initialize.dir/DependInfo.cmake "--color=" make -f util/CMakeFiles/util.dir/build.make util/CMakeFiles/util.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/CMakeFiles/leanshell.dir/DependInfo.cmake "--color=" make -f kernel/CMakeFiles/kernel.dir/build.make kernel/CMakeFiles/kernel.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src/library/constructions C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/library/constructions C:/Users/robin/lean4dev/lean4/build/release/stage1/library/constructions/CMakeFiles/constructions.dir/DependInfo.cmake "--color=" make -f library/CMakeFiles/library.dir/build.make library/CMakeFiles/library.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src/util C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/util C:/Users/robin/lean4dev/lean4/build/release/stage1/util/CMakeFiles/util.dir/DependInfo.cmake "--color=" make -f CMakeFiles/copy-cadical.dir/build.make CMakeFiles/copy-cadical.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src/kernel C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/kernel C:/Users/robin/lean4dev/lean4/build/release/stage1/kernel/CMakeFiles/kernel.dir/DependInfo.cmake "--color=" make -f CMakeFiles/make_stdlib.dir/build.make CMakeFiles/make_stdlib.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src/library C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/library C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/DependInfo.cmake "--color=" make -f runtime/CMakeFiles/leanrt_initial-exec.dir/build.make runtime/CMakeFiles/leanrt_initial-exec.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/CMakeFiles/copy-cadical.dir/DependInfo.cmake "--color=" make -f shell/CMakeFiles/leanmain.dir/build.make shell/CMakeFiles/leanmain.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/CMakeFiles/make_stdlib.dir/DependInfo.cmake "--color=" make -f shell/CMakeFiles/leanmanifest.dir/build.make shell/CMakeFiles/leanmanifest.dir/depend make -f runtime/CMakeFiles/leanrt.dir/build.make runtime/CMakeFiles/leanrt.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src/runtime C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/DependInfo.cmake "--color=" make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src/shell C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/shell C:/Users/robin/lean4dev/lean4/build/release/stage1/shell/CMakeFiles/leanmain.dir/DependInfo.cmake "--color=" make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src/shell C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/shell C:/Users/robin/lean4dev/lean4/build/release/stage1/shell/CMakeFiles/leanmanifest.dir/DependInfo.cmake "--color=" Dependencies file "library/constructions/CMakeFiles/constructions.dir/cases_on.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/constructions/CMakeFiles/constructions.dir/compiler_depend.internal". Dependencies file "initialize/CMakeFiles/initialize.dir/init.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/initialize/CMakeFiles/initialize.dir/compiler_depend.internal". make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src/runtime C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/DependInfo.cmake "--color=" Dependencies file "util/CMakeFiles/util.dir/ascii.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "CMakeFiles/leanshell.dir/util/shell.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/CMakeFiles/leanshell.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/bit_tricks.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/abstract.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/annotation.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make -f CMakeFiles/copy-cadical.dir/build.make CMakeFiles/copy-cadical.dir/build Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/C_/Users/robin/lean4dev/lean4/build/release/mimalloc/src/mimalloc/src/static.c.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make -f CMakeFiles/make_stdlib.dir/build.make CMakeFiles/make_stdlib.dir/build Dependencies file "shell/CMakeFiles/leanmain.dir/lean.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/shell/CMakeFiles/leanmain.dir/compiler_depend.internal". Consolidate compiler generated dependencies of target leanmain make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' cmake -E copy_if_different C:/Users/robin/lean4dev/lean4/build/release/cadical/cadical.exe C:/Users/robin/lean4dev/lean4/build/release/stage1/bin/cadical.exe Dependee "C:/Users/robin/lean4dev/lean4/build/release/stage1/shell/CMakeFiles/leanmanifest.dir/DependInfo.cmake" is newer than depender "C:/Users/robin/lean4dev/lean4/build/release/stage1/shell/CMakeFiles/leanmanifest.dir/depend.internal". Dependee "C:/Users/robin/lean4dev/lean4/build/release/stage1/shell/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "C:/Users/robin/lean4dev/lean4/build/release/stage1/shell/CMakeFiles/leanmanifest.dir/depend.internal". make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make -f shell/CMakeFiles/leanmain.dir/build.make shell/CMakeFiles/leanmain.dir/build Dependencies file "runtime/CMakeFiles/leanrt.dir/C_/Users/robin/lean4dev/lean4/build/release/mimalloc/src/mimalloc/src/static.c.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "shell/CMakeFiles/leanmanifest.dir/__/temp/empty.c.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/shell/CMakeFiles/leanmanifest.dir/compiler_depend.internal". make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' cd C:/Users/robin/lean4dev/lean4/src && make -f C:/Users/robin/lean4dev/lean4/build/release/stage1/stdlib.make Init Std Lean Leanc Lake Scanning dependencies of target leanmanifest Consolidate compiler generated dependencies of target leanmanifest Dependencies file "util/CMakeFiles/util.dir/escaped.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/ffi.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "library/constructions/CMakeFiles/constructions.dir/init_module.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/constructions/CMakeFiles/constructions.dir/compiler_depend.internal". Dependencies file "library/constructions/CMakeFiles/constructions.dir/no_confusion.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/constructions/CMakeFiles/constructions.dir/compiler_depend.internal". make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' Dependencies file "util/CMakeFiles/util.dir/init_module.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/util/CMakeFiles/util.dir/compiler_depend.internal". make -f shell/CMakeFiles/leanmanifest.dir/build.make shell/CMakeFiles/leanmanifest.dir/build Dependencies file "library/constructions/CMakeFiles/constructions.dir/util.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/constructions/CMakeFiles/constructions.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/kvmap.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/util/CMakeFiles/util.dir/compiler_depend.internal". Consolidate compiler generated dependencies of target initialize Dependencies file "util/CMakeFiles/util.dir/lbool.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/list_fn.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/map_foreach.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/declaration.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make[5]: Nothing to be done for 'shell/CMakeFiles/leanmain.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' Dependencies file "util/CMakeFiles/util.dir/name.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/util/CMakeFiles/util.dir/compiler_depend.internal". make -f initialize/CMakeFiles/initialize.dir/build.make initialize/CMakeFiles/initialize.dir/build Dependencies file "kernel/CMakeFiles/kernel.dir/environment.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/name_generator.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/equiv_manager.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/name_set.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/expr.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/option_declarations.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/expr_cache.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/aux_recursors.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/options.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/expr_eq_fn.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/bin_app.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/path.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/for_each_fn.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/class.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/inductive.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/constants.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/init_module.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/dynlib.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' Dependencies file "kernel/CMakeFiles/kernel.dir/instantiate.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make[5]: Nothing to be done for 'shell/CMakeFiles/leanmanifest.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' Dependencies file "kernel/CMakeFiles/kernel.dir/instantiate_mvars.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/level.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/local_ctx.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/quot.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/replace_fn.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Consolidate compiler generated dependencies of target constructions Dependencies file "kernel/CMakeFiles/kernel.dir/trace.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". Dependencies file "kernel/CMakeFiles/kernel.dir/type_checker.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/kernel/CMakeFiles/kernel.dir/compiler_depend.internal". make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make -f library/constructions/CMakeFiles/constructions.dir/build.make library/constructions/CMakeFiles/constructions.dir/build make[6]: Entering directory '/c/Users/robin/lean4dev/lean4/src' C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/lake build -f C:/Users/robin/lean4dev/lean4/build/release/stage1/lakefile.toml Dependencies file "util/CMakeFiles/util.dir/timeit.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "util/CMakeFiles/util.dir/timer.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/util/CMakeFiles/util.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/elab_environment.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/alloc.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/expr_lt.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/allocprof.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/formatter.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/apply.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/init_attribute.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/alloc.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/init_module.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/allocprof.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/compact.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/ir_interpreter.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/apply.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/debug.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/compact.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/llvm.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/debug.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/exception.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/exception.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/max_sharing.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/hash.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/hash.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/module.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/init_module.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/init_module.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/num.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/print.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". Consolidate compiler generated dependencies of target leanshell Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/interrupt.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/profiling.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/interrupt.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/io.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/projection.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/reducible.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/io.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". [ 2%] Built target leanmain Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/libuv.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/replace_visitor.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/memory.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/libuv.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/mpn.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". make -f CMakeFiles/leanshell.dir/build.make CMakeFiles/leanshell.dir/build Dependencies file "runtime/CMakeFiles/leanrt.dir/memory.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". [ 4%] Built target leanmanifest Dependencies file "library/CMakeFiles/library.dir/time_task.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/mpz.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/mpn.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "library/CMakeFiles/library.dir/util.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/library/CMakeFiles/library.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/mpz.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/mutex.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/mutex.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/object.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/object.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/object_ref.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/object_ref.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/platform.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/process.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/platform.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". [ 4%] Built target copy-cadical Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/sharecommon.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/process.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/stack_overflow.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/stackinfo.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/sharecommon.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/thread.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/stack_overflow.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/utf8.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/stackinfo.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/uv/dns.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/thread.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/uv/event_loop.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/utf8.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/uv/net_addr.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/uv/dns.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/uv/system.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/uv/event_loop.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/uv/tcp.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/uv/timer.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/uv/net_addr.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt_initial-exec.dir/uv/udp.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt_initial-exec.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/uv/system.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/uv/tcp.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/uv/timer.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". Dependencies file "runtime/CMakeFiles/leanrt.dir/uv/udp.cpp.obj.d" is newer than depends file "C:/Users/robin/lean4dev/lean4/build/release/stage1/runtime/CMakeFiles/leanrt.dir/compiler_depend.internal". make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make[5]: Nothing to be done for 'initialize/CMakeFiles/initialize.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' Consolidate compiler generated dependencies of target kernel make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make -f kernel/CMakeFiles/kernel.dir/build.make kernel/CMakeFiles/kernel.dir/build Consolidate compiler generated dependencies of target util make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make -f util/CMakeFiles/util.dir/build.make util/CMakeFiles/util.dir/build make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make[5]: Nothing to be done for 'library/constructions/CMakeFiles/constructions.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' [ 5%] Built target initialize Consolidate compiler generated dependencies of target library make -f CMakeFiles/leaninitialize.dir/build.make CMakeFiles/leaninitialize.dir/depend make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make -f library/CMakeFiles/library.dir/build.make library/CMakeFiles/library.dir/build make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/CMakeFiles/leaninitialize.dir/DependInfo.cmake "--color=" make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make[5]: Nothing to be done for 'CMakeFiles/leanshell.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' [ 7%] Built target constructions Consolidate compiler generated dependencies of target leanrt_initial-exec make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make[5]: Nothing to be done for 'kernel/CMakeFiles/kernel.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make -f runtime/CMakeFiles/leanrt_initial-exec.dir/build.make runtime/CMakeFiles/leanrt_initial-exec.dir/build make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make[5]: Nothing to be done for 'util/CMakeFiles/util.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' Consolidate compiler generated dependencies of target leanrt make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' [ 9%] Built target leanshell make -f runtime/CMakeFiles/leanrt.dir/build.make runtime/CMakeFiles/leanrt.dir/build make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make -f CMakeFiles/leaninitialize.dir/build.make CMakeFiles/leaninitialize.dir/build make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make[5]: Nothing to be done for 'CMakeFiles/leaninitialize.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' [ 22%] Built target kernel [ 35%] Built target util make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make[5]: Nothing to be done for 'library/CMakeFiles/library.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' [ 36%] Built target leaninitialize [ 52%] Built target library make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make[5]: Nothing to be done for 'runtime/CMakeFiles/leanrt_initial-exec.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make -f CMakeFiles/leancpp_1.dir/build.make CMakeFiles/leancpp_1.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make[5]: Nothing to be done for 'runtime/CMakeFiles/leanrt.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make -f CMakeFiles/leancpp.dir/build.make CMakeFiles/leancpp.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/CMakeFiles/leancpp_1.dir/DependInfo.cmake "--color=" make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/CMakeFiles/leancpp.dir/DependInfo.cmake "--color=" make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make -f CMakeFiles/leancpp_1.dir/build.make CMakeFiles/leancpp_1.dir/build [ 92%] Built target leanrt_initial-exec [ 99%] Built target leanrt make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make -f CMakeFiles/leancpp.dir/build.make CMakeFiles/leancpp.dir/build make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make[5]: Nothing to be done for 'CMakeFiles/leancpp_1.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make[5]: Nothing to be done for 'CMakeFiles/leancpp.dir/build'. make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' [ 99%] Built target leancpp_1 [100%] Built target leancpp ℹ [3875/5155] Replayed Lean.Meta.WHNF:c.o info: stderr: C:\Users\robin\lean4dev\lean4\build\release\stage1\lib\temp\Lean\Meta\WHNF.c:92:26: warning: redeclaration of 'lean_whnf' should not add 'dllexport' attribute [-Wdll-attribute-on-redeclaration] 92 | LEAN_EXPORT lean_object* lean_whnf(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); | ^ C:\Users\robin\lean4dev\lean4\build\release\stage1\lib\temp\Lean\Meta\WHNF.c:75:14: note: previous declaration is here 75 | lean_object* lean_whnf(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); | ^ 1 warning generated. ℹ [4352/5155] Replayed Lean.Meta.LevelDefEq:c.o info: stderr: C:\Users\robin\lean4dev\lean4\build\release\stage1\lib\temp\Lean\Meta\LevelDefEq.c:114:26: warning: redeclaration of 'lean_is_level_def_eq' should not add 'dllexport' attribute [-Wdll-attribute-on-redeclaration] 114 | LEAN_EXPORT lean_object* lean_is_level_def_eq(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); | ^ C:\Users\robin\lean4dev\lean4\build\release\stage1\lib\temp\Lean\Meta\LevelDefEq.c:29:14: note: previous declaration is here 29 | lean_object* lean_is_level_def_eq(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); | ^ 1 warning generated. ℹ [4354/5155] Replayed Lean.Meta.ExprDefEq:c.o info: stderr: C:\Users\robin\lean4dev\lean4\build\release\stage1\lib\temp\Lean\Meta\ExprDefEq.c:953:26: warning: redeclaration of 'lean_is_expr_def_eq' should not add 'dllexport' attribute [-Wdll-attribute-on-redeclaration] 953 | LEAN_EXPORT lean_object* lean_is_expr_def_eq(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); | ^ C:\Users\robin\lean4dev\lean4\build\release\stage1\lib\temp\Lean\Meta\ExprDefEq.c:447:14: note: previous declaration is here 447 | lean_object* lean_is_expr_def_eq(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); | ^ 1 warning generated. ℹ [5038/5438] Replayed Lean.Elab.Tactic.Try:c.o info: stderr: C:\Users\robin\lean4dev\lean4\build\release\stage1\lib\temp\Lean\Elab\Tactic\Try.c:819:26: warning: redeclaration of 'lean_eval_suggest_tactic' should not add 'dllexport' attribute [-Wdll-attribute-on-redeclaration] 819 | LEAN_EXPORT lean_object* lean_eval_suggest_tactic(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); | ^ C:\Users\robin\lean4dev\lean4\build\release\stage1\lib\temp\Lean\Elab\Tactic\Try.c:338:14: note: previous declaration is here 338 | lean_object* lean_eval_suggest_tactic(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); | ^ 1 warning generated. ℹ [5086/5438] Replayed Lean.Meta.Tactic.Grind.Arith.Cutsat.Var:c.o info: stderr: C:\Users\robin\lean4dev\lean4\build\release\stage1\lib\temp\Lean\Meta\Tactic\Grind\Arith\Cutsat\Var.c:121:26: warning: redeclaration of 'lean_grind_cutsat_mk_var' should not add 'dllexport' attribute [-Wdll-attribute-on-redeclaration] 121 | LEAN_EXPORT lean_object* lean_grind_cutsat_mk_var(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); | ^ C:\Users\robin\lean4dev\lean4\build\release\stage1\lib\temp\Lean\Meta\Tactic\Grind\Arith\Cutsat\Var.c:50:14: note: previous declaration is here 50 | lean_object* lean_grind_cutsat_mk_var(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); | ^ 1 warning generated. ℹ [5091/5438] Replayed Lean.Meta.Tactic.Grind.Arith.Cutsat.LeCnstr:c.o info: stderr: C:\Users\robin\lean4dev\lean4\build\release\stage1\lib\temp\Lean\Meta\Tactic\Grind\Arith\Cutsat\LeCnstr.c:296:26: warning: redeclaration of 'lean_grind_cutsat_assert_le' should not add 'dllexport' attribute [-Wdll-attribute-on-redeclaration] 296 | LEAN_EXPORT lean_object* lean_grind_cutsat_assert_le(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); | ^ C:\Users\robin\lean4dev\lean4\build\release\stage1\lib\temp\Lean\Meta\Tactic\Grind\Arith\Cutsat\LeCnstr.c:273:14: note: previous declaration is here 273 | lean_object* lean_grind_cutsat_assert_le(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); | ^ 1 warning generated. ℹ [5094/5438] Replayed Lean.Meta.Tactic.Grind.Arith.Cutsat.EqCnstr:c.o info: stderr: C:\Users\robin\lean4dev\lean4\build\release\stage1\lib\temp\Lean\Meta\Tactic\Grind\Arith\Cutsat\EqCnstr.c:476:26: warning: redeclaration of 'lean_grind_cutsat_assert_eq' should not add 'dllexport' attribute [-Wdll-attribute-on-redeclaration] 476 | LEAN_EXPORT lean_object* lean_grind_cutsat_assert_eq(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); | ^ C:\Users\robin\lean4dev\lean4\build\release\stage1\lib\temp\Lean\Meta\Tactic\Grind\Arith\Cutsat\EqCnstr.c:382:14: note: previous declaration is here 382 | lean_object* lean_grind_cutsat_assert_eq(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); | ^ 1 warning generated. Build completed successfully (5619 jobs). make[6]: Nothing to be done for 'Std'. make[6]: Nothing to be done for 'Lean'. make[6]: Nothing to be done for 'Leanc'. make[6]: Nothing to be done for 'Lake'. make[6]: Leaving directory '/c/Users/robin/lean4dev/lean4/src' make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' [100%] Built target make_stdlib make -f CMakeFiles/Init_shared.dir/build.make CMakeFiles/Init_shared.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/CMakeFiles/Init_shared.dir/DependInfo.cmake "--color=" make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make -f CMakeFiles/Init_shared.dir/build.make CMakeFiles/Init_shared.dir/build make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' cd C:/Users/robin/lean4dev/lean4/src && make -f C:/Users/robin/lean4dev/lean4/build/release/stage1/stdlib.make Init_shared make[6]: Entering directory '/c/Users/robin/lean4dev/lean4/src' make[6]: Nothing to be done for 'Init_shared'. make[6]: Leaving directory '/c/Users/robin/lean4dev/lean4/src' make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' [100%] Built target Init_shared make -f CMakeFiles/leanshared.dir/build.make CMakeFiles/leanshared.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/CMakeFiles/leanshared.dir/DependInfo.cmake "--color=" make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make -f CMakeFiles/leanshared.dir/build.make CMakeFiles/leanshared.dir/build make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' cd C:/Users/robin/lean4dev/lean4/src && make -f C:/Users/robin/lean4dev/lean4/build/release/stage1/stdlib.make leanshared make[6]: Entering directory '/c/Users/robin/lean4dev/lean4/src' make[6]: Nothing to be done for 'leanshared'. make[6]: Leaving directory '/c/Users/robin/lean4dev/lean4/src' make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' [100%] Built target leanshared make -f CMakeFiles/lake_shared.dir/build.make CMakeFiles/lake_shared.dir/depend make -f CMakeFiles/leanc.dir/build.make CMakeFiles/leanc.dir/depend make -f shell/CMakeFiles/lean.dir/build.make shell/CMakeFiles/lean.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/CMakeFiles/lake_shared.dir/DependInfo.cmake "--color=" make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/CMakeFiles/leanc.dir/DependInfo.cmake "--color=" make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src/shell C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/shell C:/Users/robin/lean4dev/lean4/build/release/stage1/shell/CMakeFiles/lean.dir/DependInfo.cmake "--color=" make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make -f CMakeFiles/leanc.dir/build.make CMakeFiles/leanc.dir/build make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make -f CMakeFiles/lake_shared.dir/build.make CMakeFiles/lake_shared.dir/build make -f shell/CMakeFiles/lean.dir/build.make shell/CMakeFiles/lean.dir/build make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' cd C:/Users/robin/lean4dev/lean4/build/release/stage1/leanc && make -f C:/Users/robin/lean4dev/lean4/build/release/stage1/stdlib.make leanc make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' cd C:/Users/robin/lean4dev/lean4/src && make -f C:/Users/robin/lean4dev/lean4/build/release/stage1/stdlib.make libLake_shared make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' cd C:/Users/robin/lean4dev/lean4/src && make -f C:/Users/robin/lean4dev/lean4/build/release/stage1/stdlib.make lean make[6]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1/leanc' make[6]: Nothing to be done for 'leanc'. make[6]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1/leanc' make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make[6]: Entering directory '/c/Users/robin/lean4dev/lean4/src' make[6]: Nothing to be done for 'libLake_shared'. make[6]: Leaving directory '/c/Users/robin/lean4dev/lean4/src' make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make[6]: Entering directory '/c/Users/robin/lean4dev/lean4/src' make[6]: Nothing to be done for 'lean'. make[6]: Leaving directory '/c/Users/robin/lean4dev/lean4/src' make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' [100%] Built target leanc [100%] Built target lean [100%] Built target lake_shared make -f CMakeFiles/lake.dir/build.make CMakeFiles/lake.dir/depend make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_depends "Unix Makefiles" C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/src C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1 C:/Users/robin/lean4dev/lean4/build/release/stage1/CMakeFiles/lake.dir/DependInfo.cmake "--color=" make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' make -f CMakeFiles/lake.dir/build.make CMakeFiles/lake.dir/build make[5]: Entering directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' cd C:/Users/robin/lean4dev/lean4/src && make -f C:/Users/robin/lean4dev/lean4/build/release/stage1/stdlib.make lake make[6]: Entering directory '/c/Users/robin/lean4dev/lean4/src' make[6]: Nothing to be done for 'lake'. make[6]: Leaving directory '/c/Users/robin/lean4dev/lean4/src' make[5]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' [100%] Built target lake make[4]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' C:/msys64/clang64/bin/cmake.exe -E cmake_progress_start C:/Users/robin/lean4dev/lean4/build/release/stage1/CMakeFiles 0 make[3]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release/stage1' [ 79%] No install step for 'stage1' cd C:/Users/robin/lean4dev/lean4/build/release/stage1 && C:/msys64/clang64/bin/cmake.exe -E echo_append [ 83%] Completed 'stage1' C:/msys64/clang64/bin/cmake.exe -E make_directory C:/Users/robin/lean4dev/lean4/build/release/CMakeFiles C:/msys64/clang64/bin/cmake.exe -E touch C:/Users/robin/lean4dev/lean4/build/release/CMakeFiles/stage1-complete C:/msys64/clang64/bin/cmake.exe -E touch C:/Users/robin/lean4dev/lean4/build/release/stage1-prefix/src/stage1-stamp/stage1-done make[2]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release' [100%] Built target stage1 make[1]: Leaving directory '/c/Users/robin/lean4dev/lean4/build/release' C:/msys64/clang64/bin/cmake.exe -E cmake_progress_start C:/Users/robin/lean4dev/lean4/build/release/CMakeFiles 0