robin@Laptop_Robin CLANG64 ~ $ cd /c/Users/robin/lean4dev/lean4/build/release robin@Laptop_Robin CLANG64 /c/Users/robin/lean4dev/lean4/build/release $ make -j12 [ 4%] Performing update step for 'mimalloc' -- Already at requested tag: v2.2.3 [ 8%] No patch step for 'mimalloc' [ 12%] No configure step for 'mimalloc' [ 16%] No build step for 'mimalloc' [ 20%] No install step for 'mimalloc' [ 25%] Completed 'mimalloc' [ 33%] Built target mimalloc [ 37%] Performing configure step for 'stage0' -- 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 CMake Warning (dev) at CMakeLists.txt:347 (find_package): Policy CMP0148 is not set: The FindPythonInterp and FindPythonLibs modules are removed. Run "cmake --help-policy CMP0148" for policy details. Use the cmake_policy command to set the policy and suppress this warning. This warning is for project developers. Use -Wno-dev to suppress it. CMake Warning at CMakeLists.txt:379 (message): Disabling LLVM support -- stage0 sha1: 068d969076cdd71d9c3f2e26dcf8373d764cc1a2 -- Configuring done (0.6s) -- Generating done (0.5s) -- Build files have been written to: C:/Users/robin/lean4dev/lean4/build/release/stage0 [ 41%] Performing build step for 'stage0' [ 2%] Built target leanmain [ 4%] Built target leanmanifest [ 5%] Built target initialize [ 7%] Built target constructions [ 8%] Building CXX object CMakeFiles/leanshell.dir/util/shell.cpp.obj [ 29%] Built target util [ 34%] Built target kernel [ 34%] Building CXX object library/CMakeFiles/library.dir/module.cpp.obj [ 35%] Building CXX object library/CMakeFiles/library.dir/util.cpp.obj [ 36%] Built target leaninitialize [ 37%] Building CXX object runtime/CMakeFiles/leanrt.dir/platform.cpp.obj [ 37%] Building CXX object runtime/CMakeFiles/leanrt_initial-exec.dir/platform.cpp.obj [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Control/EState.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Core.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/AC.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Array/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Array/Lemmas.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/BitVec/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/BitVec/BasicAux.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/ByteArray/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/ByteArray/Extra.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/ByteArray.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Dyadic/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/FloatArray/Basic.c [ 37%] Linking CXX static library libleanrt_initial-exec.a [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Format/Basic.c [ 38%] Linking CXX static library ../lib/lean/libleanrt.a [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Format/Instances.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Format/Syntax.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Int/Linear.c [ 61%] Built target leanrt_initial-exec [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/List/ToArray.c [ 83%] Built target leanrt [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Nat/Div/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Nat/Linear.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Nat/SOM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Option/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Option/Instances.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Ord/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/PLift.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Random.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Rat/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Repr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/SInt/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Slice/Array/Iterator.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Stream.c [ 84%] Linking CXX static library lib/temp/libleanshell.a [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/String/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/String/Bootstrap.c [ 91%] [B 99uilt %] Builttarg targete t librlaery anshell [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/String/Extra.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/String/Lemmas.c [ 99%] Linking CXX static library lib/temp/libleancpp_1.a [100%] Linking CXX static library lib/lean/libleancpp.a [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/String/Repr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/String.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Sum/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/ToString/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/ToString/Name.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/ToString.c [[110000%]%] Built taBuilt target leanrget leancpp_1 cpp [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/UInt/BasicAux.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/ULift.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Vector/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Grind/AC.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Grind/Module/NatModuleNorm.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Grind/Module.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Grind/Ordered/Linarith.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Grind/PP.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Grind/Ring/OfSemiring.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Grind/Ring/Poly.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Grind/Tactics.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Grind/ToInt.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Meta.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/MetaTypes.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Omega/Constraint.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Omega/LinearCombo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Prelude.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Simproc.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/System/FilePath.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/System/IO.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/System/IOError.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/System/Platform.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/System/Uri.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Try.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Util.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Control/EState.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Core.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/AC.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Array/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Array/Lemmas.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/BitVec/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/BitVec/BasicAux.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/ByteArray/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/ByteArray/Extra.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/ByteArray.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Dyadic/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/FloatArray/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Format/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Format/Instances.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Format/Syntax.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Int/Linear.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/List/ToArray.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Nat/Div/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Nat/Linear.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Nat/SOM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Option/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Option/Instances.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Ord/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/PLift.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Random.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Rat/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Repr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/SInt/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Slice/Array/Iterator.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Stream.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/String/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/String/Bootstrap.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/String/Extra.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/String/Lemmas.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/String/Repr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/String.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Sum/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/ToString/Name.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/ToString/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/ToString.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/UInt/BasicAux.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/ULift.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Data/Vector/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Grind/AC.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Grind/Module/NatModuleNorm.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Grind/Module.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Grind/Ordered/Linarith.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Grind/PP.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Grind/Ring/OfSemiring.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Grind/Ring/Poly.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Grind/Tactics.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Grind/ToInt.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Meta.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/MetaTypes.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Omega/Constraint.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Omega/LinearCombo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Prelude.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Simproc.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/System/FilePath.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/System/IO.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/System/IOError.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/System/Platform.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/System/Uri.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Try.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Init/Util.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Data/DHashMap/Internal/AssocList/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Data/DTreeMap/Internal/Def.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Data/Iterators/Lemmas/Producers/Repeat.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Do/WP/IO.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Internal/Async/Process.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Internal/Async/Select.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Internal/Async/System.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Internal/Parsec/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Internal/Parsec/String.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Internal/UV/System.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Net/Addr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Sat/AIG/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Sat/AIG/Cached.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Sync/Channel.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/Bitblast/BoolExpr/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/Bitblast/BVExpr/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Expr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Pred.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Substructure.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Var.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/LRAT/Actions.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/LRAT/Internal/Assignment.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/LRAT/Internal/Clause.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/LRAT/Internal/Formula/Implementation.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/LRAT/Internal/LRATChecker.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/LRAT/Parser.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/Reflect.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/Do/Syntax.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Date/PlainDate.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Date/Unit/Day.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Date/Unit/Weekday.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Date/Unit/Week.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Date/Unit/Year.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/DateTime/PlainDateTime.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/DateTime/Timestamp.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Duration.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Format/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Internal/UnitVal.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Notation/Spec.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Notation.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Time/HourMarker.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Time/PlainTime.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Time/Unit/Hour.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Time/Unit/Millisecond.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Time/Unit/Minute.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Time/Unit/Nanosecond.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Time/Unit/Second.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Zoned/Database/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Zoned/Database/TzIf.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Zoned/DateTime.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Zoned/Offset.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Zoned/TimeZone.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Zoned/ZonedDateTime.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Zoned/ZoneRules.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Data/DHashMap/Internal/AssocList/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Data/DTreeMap/Internal/Def.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Data/Iterators/Lemmas/Producers/Repeat.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Do/WP/IO.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Internal/Async/Process.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Internal/Async/System.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Internal/Async/Select.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Internal/Parsec/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Internal/Parsec/String.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Internal/UV/System.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Net/Addr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Sat/AIG/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Sat/AIG/Cached.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Sync/Channel.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/Bitblast/BoolExpr/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/Bitblast/BVExpr/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Expr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Pred.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Substructure.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Var.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/LRAT/Actions.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/LRAT/Internal/Assignment.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/LRAT/Internal/Clause.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/LRAT/Internal/Formula/Implementation.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/LRAT/Internal/LRATChecker.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/LRAT/Parser.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/BVDecide/Reflect.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Tactic/Do/Syntax.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Date/PlainDate.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Date/Unit/Day.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Date/Unit/Week.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Date/Unit/Weekday.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Date/Unit/Year.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/DateTime/PlainDateTime.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/DateTime/Timestamp.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Duration.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Format/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Internal/UnitVal.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Notation/Spec.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Notation.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Time/HourMarker.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Time/PlainTime.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Time/Unit/Hour.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Time/Unit/Millisecond.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Time/Unit/Minute.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Time/Unit/Nanosecond.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Time/Unit/Second.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Zoned/Database/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Zoned/Database/TzIf.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Zoned/DateTime.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Zoned/Offset.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Zoned/TimeZone.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Zoned/ZonedDateTime.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Std/Time/Zoned/ZoneRules.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/AddDecl.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Attributes.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/BuiltinDocAttr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Class.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/ClosedTermCache.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/CSimpAttr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/ExternAttr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/FFI.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/InlineAttrs.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/Borrow.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/Boxing.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/Checker.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/CompilerM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/ElimDeadBranches.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/ElimDeadVars.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/EmitC.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/EmitLLVM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/EmitUtil.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/ExpandResetReuse.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/Format.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/NormIds.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/PushProj.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/RC.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/ResetReuse.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/SimpCase.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/ToIR.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/ToIRType.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/AlphaEqv.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/AuxDeclCache.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/BaseTypes.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Check.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Closure.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/CompilerM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/ConfigOptions.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/CSE.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/DeclHash.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/ElimDead.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/ElimDeadBranches.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/ExtractClosed.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/FixedParams.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/FloatLetIn.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/FVarUtil.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/InferType.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Internalize.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/JoinPoints.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/LCtx.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Level.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/MonoTypes.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Passes.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/PassManager.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/PhaseExt.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/PrettyPrinter.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Probing.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/PullFunDecls.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/PullLetDecls.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/ReduceArity.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/ReduceJpArity.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Renaming.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Simp/Config.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Simp/DefaultAlt.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Simp/FunDeclInfo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Simp/JpCases.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Simp/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Simp/SimpM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Simp/Used.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Specialize.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/SpecInfo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/StructProjCases.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Testing.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/ToDecl.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/ToExpr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/ToLCNF.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/ToMono.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Visibility.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/Specialize.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/CoreM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/AssocList.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/DeclarationRange.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Format.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/FuzzyMatching.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Json/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Json/Elab.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Json/Printer.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/JsonRpc.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/KVMap.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/LBool.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/LOption.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/BasicAux.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/CancelParams.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/Capabilities.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/Client.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/CodeActions.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/Communication.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/Diagnostics.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/Extra.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/InitShutdown.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/Internal.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/Ipc.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/LanguageFeatures.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/TextSync.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/Window.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/Workspace.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Name.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/OpenDecl.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Options.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/PersistentArray.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/PersistentHashMap.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Position.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Xml/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Xml/Parser.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Declaration.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/DeclarationRange.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/DefEqAttrib.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/DocString/Extension.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/DocString/Links.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/App.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Arg.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Attributes.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/BinderPredicates.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Binders.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/BuiltinCommand.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/BuiltinEvalCommand.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/BuiltinNotation.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/BuiltinTerm.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Calc.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Command.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/ComputedFields.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Declaration.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/DeclModifiers.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/DeclNameGen.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/DeclUtil.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/DefView.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/BEq.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/DecEq.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/FromToJson.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/Hashable.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/Inhabited.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/Ord.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/Repr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/ToExpr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/TypeName.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/Util.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Do.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/ElabRules.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/ErrorExplanation.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Exception.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Extra.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Frontend.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/GuardMsgs.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Import.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Inductive.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/InfoTree/InlayHints.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/InfoTree/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/InfoTree/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/InfoTrees.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/InheritDoc.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/LetRec.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Macro.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/MacroArgUtil.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/MacroRules.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Match.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/MatchAltView.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/MutualDef.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/MutualInductive.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Notation.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/ParseImportsFast.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PatternVar.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Eqns.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/FixedParams.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Mutual.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/PartialFixpoint/Eqns.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/PartialFixpoint/Induction.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/PartialFixpoint/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Structural/BRecOn.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Structural/Eqns.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Structural/FindRecArg.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Structural/IndGroupInfo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Structural/IndPred.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Structural/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Structural/Preprocess.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Structural/RecArgInfo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Structural/SmartUnfolding.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/TerminationHint.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/TerminationMeasure.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/WF/Eqns.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/WF/Fix.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/WF/FloatRecApp.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/WF/GuessLex.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/WF/PackMutual.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/WF/Preprocess.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/WF/Rel.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/WF/Unfold.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Print.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Quotation/Precheck.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Quotation.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/RecommendedSpelling.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/SetOption.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/StructInst.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Structure.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Syntax.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/SyntheticMVars.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/AsAuxLemma.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/BuiltinTactic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/BVDecide/Frontend/BVCheck.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/BVDecide/Frontend/BVDecide.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/BVDecide/Frontend/BVTrace.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/BVDecide/Frontend/Normalize/AC.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/BVDecide/Frontend/Normalize/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/BVDecide/Frontend/Normalize/Enums.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/BVDecide/Frontend/Normalize/IntToBitVec.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/BVDecide/Frontend/Normalize/Rewrite.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/BVDecide/LRAT/Trim.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Config.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Conv/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Conv/Congr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Conv/Lets.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Conv/Pattern.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/DiscrTreeKey.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/Attr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/LetElim.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Assumption.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Cases.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Clear.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Constructor.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Exact.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Exfalso.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Focus.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Frame.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Have.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Intro.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/LeftRight.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/MGoal.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Pure.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Refine.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/RenameI.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Revert.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Specialize.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/Spec.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/VCGen/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/VCGen/Split.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/VCGen.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Doc.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/ElabTerm.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Ext.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Grind.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Induction.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Lets.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/LibrarySearch.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Meta.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Monotonicity.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Omega/Core.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Omega/Frontend.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/RCases.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Repeat.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Simp.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Simpa.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/SolveByElim.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Try.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Term.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Time.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Util.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/WhereFinally.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/EnvExtension.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Environment.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/ErrorExplanation.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Exception.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Expr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/HeadIndex.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/InternalExceptionId.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/KeyedDeclsAttribute.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/LabelAttribute.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Language/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Language/Lean.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Level.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Linter/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Linter/Builtin.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Linter/ConstructorAsVariable.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Linter/Deprecated.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Linter/List.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Linter/MissingDocs.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Linter/Omit.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Linter/UnusedSimpArgs.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Linter/UnusedVariables.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/LocalContext.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Log.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Message.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/AbstractMVars.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/AbstractNestedProofs.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/ACLt.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/AppBuilder.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/ArgsPacker/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Canonicalizer.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Check.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Closure.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/CoeAttr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/CollectMVars.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/CongrTheorems.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Constructions/BRecOn.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Constructions/CasesOnSameCtor.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Constructions/CtorElim.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Constructions/CtorIdx.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/DecLevel.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Diagnostics.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/DiscrTree.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/DiscrTreeTypes.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Eqns.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/ExprDefEq.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/FunInfo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/ExprLens.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/GetUnfoldableConst.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Hint.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/IndPredBelow.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/InferType.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Injective.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Instances.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/KAbstract.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/KExprMap.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/LazyDiscrTree.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/LetToHave.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/LevelDefEq.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Match/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Match/CaseArraySizes.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Match/CaseValues.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Match/Match.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Match/MatchEqs.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Match/MatchEqsExt.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Match/MatcherApp/Transform.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Match/MatcherInfo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/PPGoal.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/PProdN.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Sorry.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/SynthInstance.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/AC/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Acyclic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Apply.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Assert.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Assumption.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/AuxLemma.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Backtrack.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Cases.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Cleanup.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Clear.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Congr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Contradiction.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Delta.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/ElimInfo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/ExposeNames.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Ext.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/FunInd.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/FunIndCollect.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/FunIndInfo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/FVarSubst.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Generalize.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/AC/Eq.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/AC/Internalize.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/AC/Inv.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/AC/PP.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/AC/Proof.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/AC/Seq.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/AC/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/AC/Util.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/AC.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/EqCnstr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/Internalize.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/Inv.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/MonadRing.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/PP.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/Proof.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/Reify.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/RingId.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/RingM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/SemiringM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/CommRing.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/DvdCnstr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/EqCnstr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/Inv.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/LeCnstr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/MBTC.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/Model.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/Nat.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/Proof.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/ReorderVars.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/Search.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/SearchM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/ToInt.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/ToIntInfo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/Util.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/Var.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Insts.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/DenoteExpr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/IneqCnstr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/Internalize.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/Inv.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/LinearM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/MBTC.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/Model.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/OfNatModule.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/PP.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/Proof.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/PropagateEq.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/Reify.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/Search.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/SearchM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/StructId.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/Util.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/Var.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/ModelUtil.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Offset/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Offset/Model.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Offset/Proof.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Offset/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Offset/Util.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Offset.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Simproc.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Util.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Beta.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Canon.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Cases.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/CasesMatch.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Core.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Diseq.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/EMatch.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/EMatchTheorem.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/EqResolution.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Ext.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/ForallProp.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Injection.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Internalize.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Intro.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Inv.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Lookahead.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/MarkNestedSubsingletons.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/MatchCond.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/MatchDiscrOnly.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/MBTC.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/PP.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Proj.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Proof.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Propagate.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/PropagatorAttr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/ProveEq.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/SearchM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Simp.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/SimpUtil.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Solve.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Split.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/SynthInstance.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Util.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/IndependentOf.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Induction.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Injection.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Intro.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Lets.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/LibrarySearch.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/NormCast.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Refl.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Rename.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Replace.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Revert.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Rewrite.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Rewrites.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Rfl.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/Arith/Int/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/Arith/Int/Simp.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/Arith/Nat/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/Arith/Nat/Simp.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/Attr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/BuiltinSimprocs/BitVec.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/Diagnostics.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/LoopProtection.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/RegisterCommand.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/Rewrite.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/SimpAll.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/SimpCongrTheorems.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/Simproc.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/SimpTheorems.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/SolveByElim.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Split.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/SplitIf.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Subst.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Symm.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Try/Collect.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/TryThis.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/UnifyEq.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Util.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Transform.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/TryThis.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/UnificationHint.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/WHNF.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/MetavarContext.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Parser/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Parser/Extension.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Parser/Extra.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Parser/Module.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Parser/StrInterpolation.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Parser/Tactic/Doc.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Parser/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/ParserCompiler/Attribute.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/PremiseSelection.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/PrettyPrinter/Delaborator/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/PrettyPrinter/Delaborator/Builtins.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/PrettyPrinter/Delaborator/SubExpr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/PrettyPrinter/Delaborator/TopDownAnalyze.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/PrettyPrinter/Formatter.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/PrettyPrinter/Parenthesizer.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/PrettyPrinter.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/ProjFns.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/ReducibilityAttrs.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Replay.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/ReservedNameAction.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/ScopedEnvExtension.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/CodeActions/Attr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/CodeActions/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/CodeActions/Provider.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/CodeActions/UnknownIdentifier.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Completion/CompletionInfoSelection.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Completion/CompletionItemCompression.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Completion/CompletionResolution.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Completion/ImportCompletion.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Completion/SyntheticCompletion.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Completion.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/FileSource.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/FileWorker/ExampleHover.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/FileWorker/InlayHints.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/FileWorker/RequestHandling.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/FileWorker/SemanticHighlighting.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/FileWorker/SetupFile.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/FileWorker/SignatureHelp.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/FileWorker/Utils.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/FileWorker/WidgetRequests.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/FileWorker.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/GoTo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/InfoUtils.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/References.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Requests.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Rpc/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Rpc/Deriving.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Rpc/RequestHandling.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/ServerTask.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Snapshots.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Test/Cancel.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Test/Runner.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Utils.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Watchdog.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Setup.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Structure.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/SubExpr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Syntax.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/CollectFVars.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/Diff.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/Heartbeats.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/InstantiateLevelParams.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/LeanOptions.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/OccursCheck.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/Path.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/PPExt.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/Profiler.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/ReplaceExpr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/ReplaceLevel.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/SafeExponentiation.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/SCC.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/SearchPath.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/Trace.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Widget/Diff.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Widget/InteractiveCode.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Widget/InteractiveDiagnostic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Widget/InteractiveGoal.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Widget/TaggedText.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Widget/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Widget/UserWidget.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/AddDecl.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Attributes.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/BuiltinDocAttr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Class.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/ClosedTermCache.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/CSimpAttr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/ExternAttr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/FFI.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/InlineAttrs.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/Borrow.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/Boxing.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/Checker.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/CompilerM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/ElimDeadBranches.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/ElimDeadVars.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/EmitLLVM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/EmitC.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/EmitUtil.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/ExpandResetReuse.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/Format.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/NormIds.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/PushProj.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/RC.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/ResetReuse.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/SimpCase.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/ToIR.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/IR/ToIRType.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/AlphaEqv.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/AuxDeclCache.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/BaseTypes.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Check.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Closure.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/CompilerM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/ConfigOptions.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/CSE.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/DeclHash.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/ElimDead.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/ElimDeadBranches.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/ExtractClosed.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/FixedParams.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/FloatLetIn.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/FVarUtil.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/InferType.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Internalize.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/JoinPoints.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/LCtx.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Level.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/MonoTypes.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Passes.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/PassManager.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/PhaseExt.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/PrettyPrinter.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Probing.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/PullFunDecls.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/PullLetDecls.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/ReduceArity.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/ReduceJpArity.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Renaming.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Simp/Config.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Simp/DefaultAlt.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Simp/FunDeclInfo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Simp/JpCases.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Simp/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Simp/SimpM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Simp/Used.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Specialize.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/SpecInfo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/StructProjCases.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Testing.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/ToDecl.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/ToExpr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/ToLCNF.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/ToMono.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/LCNF/Visibility.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Compiler/Specialize.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/CoreM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/AssocList.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/DeclarationRange.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Format.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/FuzzyMatching.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Json/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Json/Elab.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Json/Printer.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/JsonRpc.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/KVMap.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/LBool.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/LOption.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/BasicAux.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/CancelParams.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/Capabilities.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/Client.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/CodeActions.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/Communication.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/Diagnostics.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/Extra.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/InitShutdown.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/Internal.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/Ipc.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/LanguageFeatures.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/TextSync.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/Window.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Lsp/Workspace.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Name.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/OpenDecl.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Options.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/PersistentArray.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/PersistentHashMap.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Position.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Xml/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Data/Xml/Parser.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Declaration.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/DeclarationRange.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/DefEqAttrib.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/DocString/Extension.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/DocString/Links.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/App.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Arg.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Attributes.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/BinderPredicates.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Binders.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/BuiltinCommand.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/BuiltinEvalCommand.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/BuiltinNotation.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/BuiltinTerm.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Calc.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Command.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/ComputedFields.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Declaration.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/DeclModifiers.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/DeclNameGen.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/DeclUtil.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/DefView.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/BEq.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/DecEq.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/FromToJson.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/Hashable.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/Inhabited.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/Ord.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/Repr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/ToExpr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/TypeName.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Deriving/Util.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Do.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/ElabRules.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/ErrorExplanation.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Exception.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Extra.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Frontend.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/GuardMsgs.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Import.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Inductive.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/InfoTree/InlayHints.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/InfoTree/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/InfoTree/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/InfoTrees.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/InheritDoc.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/LetRec.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Macro.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/MacroArgUtil.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/MacroRules.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Match.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/MatchAltView.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/MutualDef.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/MutualInductive.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Notation.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/ParseImportsFast.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PatternVar.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Eqns.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/FixedParams.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Mutual.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/PartialFixpoint/Eqns.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/PartialFixpoint/Induction.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/PartialFixpoint/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Structural/BRecOn.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Structural/Eqns.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Structural/FindRecArg.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Structural/IndGroupInfo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Structural/IndPred.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Structural/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Structural/Preprocess.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Structural/RecArgInfo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/Structural/SmartUnfolding.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/TerminationHint.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/TerminationMeasure.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/WF/Eqns.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/WF/Fix.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/WF/FloatRecApp.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/WF/GuessLex.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/WF/PackMutual.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/WF/Preprocess.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/WF/Rel.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/PreDefinition/WF/Unfold.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Print.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Quotation/Precheck.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Quotation.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/RecommendedSpelling.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/SetOption.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/StructInst.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Structure.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Syntax.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/SyntheticMVars.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/AsAuxLemma.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/BuiltinTactic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/BVDecide/Frontend/BVCheck.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/BVDecide/Frontend/BVDecide.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/BVDecide/Frontend/BVTrace.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/BVDecide/Frontend/Normalize/AC.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/BVDecide/Frontend/Normalize/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/BVDecide/Frontend/Normalize/Enums.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/BVDecide/Frontend/Normalize/IntToBitVec.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/BVDecide/Frontend/Normalize/Rewrite.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/BVDecide/LRAT/Trim.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Config.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Conv/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Conv/Congr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Conv/Lets.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Conv/Pattern.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/DiscrTreeKey.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/Attr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/LetElim.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Assumption.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Cases.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Clear.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Constructor.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Exact.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Exfalso.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Focus.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Frame.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Have.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Intro.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/LeftRight.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/MGoal.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Pure.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Refine.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/RenameI.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Revert.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/ProofMode/Specialize.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/Spec.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/VCGen/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/VCGen/Split.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Do/VCGen.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Doc.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/ElabTerm.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Ext.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Grind.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Induction.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Lets.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/LibrarySearch.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Meta.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Monotonicity.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Omega/Core.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Omega/Frontend.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/RCases.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Repeat.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Simp.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Simpa.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/SolveByElim.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Tactic/Try.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Term.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Time.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/Util.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Elab/WhereFinally.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/EnvExtension.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Environment.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/ErrorExplanation.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Exception.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Expr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/HeadIndex.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/InternalExceptionId.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/KeyedDeclsAttribute.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/LabelAttribute.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Language/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Language/Lean.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Level.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Linter/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Linter/Builtin.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Linter/ConstructorAsVariable.c C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//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/stage0/src/../stdlib//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. [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Linter/Deprecated.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Linter/List.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Linter/MissingDocs.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Linter/Omit.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Linter/UnusedSimpArgs.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Linter/UnusedVariables.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/LocalContext.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Log.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Message.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/AbstractMVars.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/AbstractNestedProofs.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/ACLt.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/AppBuilder.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/ArgsPacker/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Canonicalizer.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Check.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Closure.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/CoeAttr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/CollectMVars.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/CongrTheorems.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Constructions/BRecOn.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Constructions/CasesOnSameCtor.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Constructions/CtorElim.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Constructions/CtorIdx.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/DecLevel.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Diagnostics.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/DiscrTree.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/DiscrTreeTypes.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Eqns.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/ExprDefEq.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/ExprLens.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/FunInfo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/GetUnfoldableConst.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Hint.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/IndPredBelow.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/InferType.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Injective.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Instances.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/KAbstract.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/KExprMap.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/LazyDiscrTree.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/LetToHave.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/LevelDefEq.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Match/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Match/CaseArraySizes.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Match/CaseValues.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Match/Match.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Match/MatchEqs.c C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//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/stage0/src/../stdlib//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. [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Match/MatchEqsExt.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Match/MatcherApp/Transform.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Match/MatcherInfo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/PPGoal.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/PProdN.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Sorry.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/SynthInstance.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/AC/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Acyclic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Apply.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Assert.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Assumption.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/AuxLemma.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Backtrack.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Cases.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Cleanup.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Clear.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Congr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Contradiction.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Delta.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/ElimInfo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/ExposeNames.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Ext.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/FunInd.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/FunIndCollect.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/FunIndInfo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/FVarSubst.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Generalize.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/AC/Eq.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/AC/Internalize.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/AC/Inv.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/AC/PP.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/AC/Proof.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/AC/Seq.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/AC/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/AC/Util.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/AC.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/EqCnstr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/Internalize.c C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//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/stage0/src/../stdlib//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. [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/Inv.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/MonadRing.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/PP.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/Proof.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/Reify.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/RingId.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/RingM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/SemiringM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/CommRing.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/CommRing.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/DvdCnstr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/EqCnstr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/Inv.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/LeCnstr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/MBTC.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/Model.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/Nat.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/Proof.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/ReorderVars.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/Search.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/SearchM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/ToInt.c C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//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/stage0/src/../stdlib//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. [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/ToIntInfo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/Util.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat/Var.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Cutsat.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Insts.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/DenoteExpr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/IneqCnstr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/Internalize.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/Inv.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/LinearM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/MBTC.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/Model.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/OfNatModule.c C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//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/stage0/src/../stdlib//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. [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/PP.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/Proof.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/PropagateEq.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/Reify.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/Search.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/StructId.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/SearchM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/Util.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear/Var.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Linear.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/ModelUtil.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Offset/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Offset/Model.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Offset/Proof.c C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//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/stage0/src/../stdlib//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. [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Offset/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Offset/Util.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Offset.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Simproc.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith/Util.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Arith.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Beta.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Canon.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Cases.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/CasesMatch.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Core.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Diseq.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/EMatch.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/EMatchTheorem.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/EqResolution.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Ext.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/ForallProp.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Injection.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Internalize.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Intro.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Inv.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Lookahead.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/MarkNestedSubsingletons.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/MatchCond.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/MatchDiscrOnly.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/MBTC.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/PP.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Proj.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Proof.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Propagate.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/PropagatorAttr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/ProveEq.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/SearchM.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Simp.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/SimpUtil.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Solve.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Split.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/SynthInstance.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Grind/Util.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/IndependentOf.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Induction.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Injection.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Intro.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Lets.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/LibrarySearch.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/NormCast.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Refl.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Rename.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Revert.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Replace.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Rewrite.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Rewrites.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Rfl.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/Arith/Int/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/Arith/Int/Simp.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/Arith/Nat/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/Arith/Nat/Simp.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/Attr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/BuiltinSimprocs/BitVec.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/Diagnostics.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/LoopProtection.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/RegisterCommand.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/Rewrite.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/SimpAll.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/SimpCongrTheorems.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/Simproc.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/SimpTheorems.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Simp/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/SolveByElim.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Split.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/SplitIf.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Subst.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Symm.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Try/Collect.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/TryThis.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/UnifyEq.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Tactic/Util.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/TryThis.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/Transform.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/UnificationHint.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Meta/WHNF.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/MetavarContext.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Parser/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Parser/Extension.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Parser/Extra.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Parser/Module.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Parser/StrInterpolation.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Parser/Tactic/Doc.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Parser/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/ParserCompiler/Attribute.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/PremiseSelection.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/PrettyPrinter/Delaborator/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/PrettyPrinter/Delaborator/Builtins.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/PrettyPrinter/Delaborator/SubExpr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/PrettyPrinter/Delaborator/TopDownAnalyze.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/PrettyPrinter/Formatter.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/PrettyPrinter/Parenthesizer.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/PrettyPrinter.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/ProjFns.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/ReducibilityAttrs.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Replay.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/ReservedNameAction.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/ScopedEnvExtension.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/CodeActions/Attr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/CodeActions/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/CodeActions/Provider.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/CodeActions/UnknownIdentifier.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Completion/CompletionInfoSelection.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Completion/CompletionItemCompression.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Completion/CompletionResolution.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Completion/ImportCompletion.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Completion/SyntheticCompletion.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Completion.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/FileSource.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/FileWorker/ExampleHover.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/FileWorker/InlayHints.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/FileWorker/RequestHandling.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/FileWorker/SemanticHighlighting.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/FileWorker/SetupFile.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/FileWorker/SignatureHelp.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/FileWorker/Utils.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/FileWorker/WidgetRequests.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/FileWorker.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/GoTo.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/InfoUtils.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/References.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Requests.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Rpc/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Rpc/Deriving.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Rpc/RequestHandling.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/ServerTask.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Snapshots.c C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//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/stage0/src/../stdlib//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. [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Test/Cancel.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Test/Runner.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Utils.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Server/Watchdog.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Setup.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Structure.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/SubExpr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Syntax.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/CollectFVars.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/Diff.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/Heartbeats.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/InstantiateLevelParams.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/LeanOptions.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/OccursCheck.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/Path.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/PPExt.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/Profiler.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/ReplaceExpr.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/ReplaceLevel.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/SafeExponentiation.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/SCC.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/SearchPath.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Util/Trace.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Widget/Diff.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Widget/InteractiveCode.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Widget/InteractiveDiagnostic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Widget/InteractiveGoal.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Widget/TaggedText.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Widget/Types.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lean/Widget/UserWidget.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Actions.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Common.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Executable.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/ExternLib.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Facets.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Index.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/InputFile.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Job/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Key.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Library.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Module.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Package.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Run.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Target/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Target/Fetch.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Trace.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/CLI/Error.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/CLI/Help.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/CLI/Init.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/CLI/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/CLI/Serve.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/CLI/Translate/Lean.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/CLI/Translate/Toml.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/CLI/Translate.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Artifact.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Cache.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Dependency.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Dynlib.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Env.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/ExternLibConfig.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/FacetConfig.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Glob.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/InputFileConfig.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/InstallPath.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Lang.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/LeanConfig.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/LeanExeConfig.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/LeanLib.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/LeanLibConfig.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Module.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Package.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Pattern.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/PackageConfig.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Script.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/TargetConfig.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Workspace.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/WorkspaceConfig.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/DSL/Attributes.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/DSL/Config.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/DSL/DeclUtil.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/DSL/Meta.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/DSL/Package.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/DSL/Syntax.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/DSL/Targets.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/DSL/VerLit.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Load/Lean/Elab.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Load/Lean/Eval.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Load/Manifest.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Load/Materialize.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Load/Resolve.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Load/Toml.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Reservoir.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Toml/Data/DateTime.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Toml/Data/Dict.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Toml/Data/Value.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Toml/Elab/Expression.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Toml/Elab/Value.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Toml/Grammar.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Toml/ParserUtil.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Util/Binder.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Util/Cli.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Util/Cycle.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Util/Date.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Util/Family.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Util/Log.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Util/OrderedTagAttribute.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Util/Version.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Version.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Actions.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Common.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Executable.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/ExternLib.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Facets.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Index.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/InputFile.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Job/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Key.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Library.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Module.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Package.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Run.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Target/Basic.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Target/Fetch.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Build/Trace.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/CLI/Error.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/CLI/Help.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/CLI/Init.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/CLI/Main.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/CLI/Serve.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/CLI/Translate/Lean.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/CLI/Translate/Toml.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/CLI/Translate.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Artifact.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Cache.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Dependency.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Dynlib.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Env.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/ExternLibConfig.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/FacetConfig.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Glob.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/InputFileConfig.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/InstallPath.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Lang.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/LeanConfig.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/LeanExeConfig.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/LeanLib.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/LeanLibConfig.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Module.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Package.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/PackageConfig.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Pattern.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Script.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/TargetConfig.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/Workspace.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Config/WorkspaceConfig.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/DSL/Attributes.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/DSL/Config.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/DSL/DeclUtil.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/DSL/Meta.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/DSL/Package.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/DSL/Syntax.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/DSL/Targets.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/DSL/VerLit.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Load/Lean/Elab.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Load/Lean/Eval.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Load/Manifest.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Load/Materialize.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Load/Resolve.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Load/Toml.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Reservoir.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Toml/Data/DateTime.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Toml/Data/Dict.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Toml/Data/Value.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Toml/Elab/Expression.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Toml/Elab/Value.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Toml/Grammar.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Toml/ParserUtil.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Util/Binder.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Util/Cli.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Util/Cycle.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Util/Date.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Util/Family.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Util/Log.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Util/OrderedTagAttribute.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Util/Version.c [ ] Building C:/Users/robin/lean4dev/lean4/stage0/src/../stdlib//Lake/Version.c [100%] Built target make_stdlib [ ] Building C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libInit_shared.dll [100%] Built target Init_shared [ ] Building C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libleanshared.dll C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libleanshared_1.dll symbols: 59267 C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libleanshared_2.dll symbols: 38773 C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/libleanshared.dll symbols: 41815 [100%] Built target leanshared [ ] 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 [100%] Built target lean [100%] Built target lake_shared [ ] Building C:/Users/robin/lean4dev/lean4/build/release/stage0/bin/lake.exe [100%] Built target lake [ 45%] No install step for 'stage0' [ 50%] Completed 'stage0' [ 66%] Built target stage0 [ 70%] Performing configure step for 'stage1' -- 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 CMake Warning (dev) at CMakeLists.txt:347 (find_package): Policy CMP0148 is not set: The FindPythonInterp and FindPythonLibs modules are removed. Run "cmake --help-policy CMP0148" for policy details. Use the cmake_policy command to set the policy and suppress this warning. This warning is for project developers. Use -Wno-dev to suppress it. CMake Warning at CMakeLists.txt:379 (message): Disabling LLVM support -- git commit sha1: ce1e63fe3d1ae3b102100293ce08c6c1c53898e8 -- Configuring done (0.5s) -- Generating done (0.5s) -- Build files have been written to: C:/Users/robin/lean4dev/lean4/build/release/stage1 [ 75%] Performing build step for 'stage1' [ 2%] Built target leanmain [ 2%] Built target copy-cadical [ 4%] Built target leanmanifest [ 5%] Built target initialize [ 6%] Building CXX object CMakeFiles/leanshell.dir/util/shell.cpp.obj [ 8%] Built target constructions ⣾ [0/0] Running job computation[ 21%] Built target util ⣷ [0/0] Running job computation (+ 0 more)[ 34%] Built target kernel [ 34%] Building CXX object library/CMakeFiles/library.dir/module.cpp.obj [ 35%] Building CXX object library/CMakeFiles/library.dir/util.cpp.obj ⣟ [1/639] Running Init.Prelude (+ 1 more)[ 36%] [[ 37%] B 3uilding CXX object ru7Buintime/CMakeFiles/leanrt_initial-exe%] lding CXX object runtime/CMakeFiles/leanrt.dir/platform.cpp.objc.dir/platform.cpp.objBuilt target leaninitialize ⡿ [2/5619] Running Init.Prelude (+ 0 more)[ 38%] Linking CXX static library ../lib/lean/libleanrt.a ⢿ [2/5619] Running Init.Prelude (+ 0 more)[ 38%] Linking CXX static library libleanrt_initial-exec.a ⣯ [2/5619] Running Init.Prelude (+ 0 more)[ 83%] [Built target leanrt_initial-exec 83%] Built target leanrt ⣯ [2/5619] Running Init.Prelude (+ 0 more)[ 84%] Linking CXX static library lib/temp/libleanshell.a ⣻ [2/5619] Running Init.Prelude (+ 0 more)[ 91%] Built target leanshell [ 99%] Built target library ⣯ [4/5619] Running Lake.Config.Kinds:c.o (+ 6 more)[100%] Linking CXX static library lib/lean/libleancpp.a[ 100%] Linking CXX static library lib/temp/libleancpp_1.a ⣽ [11/5619] Running Lean.Runtime (+ 8 more)[100%] Built target leancpp [100%] Built target leancpp_1 ℹ [3330/5619] Built 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. ℹ [3473/5619] Built 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. ℹ [3676/5619] Built 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. ℹ [5100/5619] Built 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. ℹ [5359/5619] Built 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. ℹ [5428/5619] Built 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. ℹ [5614/5619] Built 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. Build completed successfully (5619 jobs). [100%] Built target make_stdlib [ ] Building C:/Users/robin/lean4dev/lean4/build/release/stage1/bin/libInit_shared.dll [100%] Built target Init_shared [ ] Building C:/Users/robin/lean4dev/lean4/build/release/stage1/bin/libleanshared.dll C:/Users/robin/lean4dev/lean4/build/release/stage1/bin/libleanshared_1.dll symbols: 59267 C:/Users/robin/lean4dev/lean4/build/release/stage1/bin/libleanshared_2.dll symbols: 38783 C:/Users/robin/lean4dev/lean4/build/release/stage1/bin/libleanshared.dll symbols: 41866 [100%] Built target leanshared [ ] Building C:/Users/robin/lean4dev/lean4/build/release/stage1/bin/leanc.exe [ ] Building C:/Users/robin/lean4dev/lean4/build/release/stage1/bin/lean.exe [[100%] 100%] BuiltBui lttarget lean target leanc [ ] Building C:/Users/robin/lean4dev/lean4/build/release/stage1/bin/libLake_shared.dll [100%] Built target lake_shared [ ] Building C:/Users/robin/lean4dev/lean4/build/release/stage1/bin/lake.exe [100%] Built target lake [ 79%] No install step for 'stage1' [ 83%] Completed 'stage1' [100%] Built target stage1 robin@Laptop_Robin CLANG64 /c/Users/robin/lean4dev/lean4/build/release $