Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Output build lean4
aurelien@pavilion15:~/Documents/VU/mathport/lean4$ mkdir -p build/release && cd build/release
aurelien@pavilion15:~/Documents/VU/mathport/lean4/build/release$ cmake ../..
-- The CXX compiler identification is GNU 9.3.0
-- The C compiler identification is GNU 9.3.0
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Check for working C compiler: /usr/bin/cc
-- Check for working C compiler: /usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Configuring done
-- Generating done
-- Build files have been written to: /home/aurelien/Documents/VU/mathport/lean4/build/release
aurelien@pavilion15:~/Documents/VU/mathport/lean4/build/release$ make
Scanning dependencies of target stage0
[ 6%] Creating directories for 'stage0'
[ 12%] No download step for 'stage0'
[ 18%] No patch step for 'stage0'
[ 25%] No update step for 'stage0'
[ 31%] Performing configure step for 'stage0'
-- The CXX compiler identification is GNU 9.3.0
-- The C compiler identification is GNU 9.3.0
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Check for working C compiler: /usr/bin/cc
-- Check for working C compiler: /usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- 64-bit machine detected
-- Using compressed object headers and only 32-bits for reference counter, this feature assume the OS only uses memory addresses < 2^48
-- Found GMP: /usr/include/x86_64-linux-gnu (Required is at least version "5.0.5")
CMake Warning at CMakeLists.txt:295 (message):
Failed to find ccache, prepare for longer and redundant builds...
-- Found PythonInterp: /usr/bin/python3.8 (found version "3.8.5")
-- Configuring done
-- Generating done
-- Build files have been written to: /home/aurelien/Documents/VU/mathport/lean4/build/release/stage0
[ 37%] Performing build step for 'stage0'
Scanning dependencies of target initialize
[ 0%] Building CXX object initialize/CMakeFiles/initialize.dir/init.cpp.o
[ 0%] Built target initialize
Scanning dependencies of target runtime
[ 1%] Building CXX object runtime/CMakeFiles/runtime.dir/debug.cpp.o
[ 1%] Building CXX object runtime/CMakeFiles/runtime.dir/thread.cpp.o
[ 1%] Building CXX object runtime/CMakeFiles/runtime.dir/mpz.cpp.o
[ 1%] Building CXX object runtime/CMakeFiles/runtime.dir/mpq.cpp.o
[ 1%] Building CXX object runtime/CMakeFiles/runtime.dir/utf8.cpp.o
[ 2%] Building CXX object runtime/CMakeFiles/runtime.dir/object.cpp.o
/home/aurelien/Documents/VU/mathport/lean4/stage0/src/runtime/object.cpp: In function ‘lean::object* lean::lean_sorry(lean::uint8)’:
/home/aurelien/Documents/VU/mathport/lean4/stage0/src/runtime/object.cpp:77:1: warning: no return statement in function returning non-void [-Wreturn-type]
77 | }
| ^
[ 2%] Building CXX object runtime/CMakeFiles/runtime.dir/apply.cpp.o
[ 2%] Building CXX object runtime/CMakeFiles/runtime.dir/exception.cpp.o
[ 2%] Building CXX object runtime/CMakeFiles/runtime.dir/interrupt.cpp.o
[ 2%] Building CXX object runtime/CMakeFiles/runtime.dir/memory.cpp.o
[ 3%] Building CXX object runtime/CMakeFiles/runtime.dir/serializer.cpp.o
[ 3%] Building CXX object runtime/CMakeFiles/runtime.dir/stackinfo.cpp.o
[ 3%] Building CXX object runtime/CMakeFiles/runtime.dir/compact.cpp.o
[ 3%] Building CXX object runtime/CMakeFiles/runtime.dir/init_module.cpp.o
[ 3%] Building CXX object runtime/CMakeFiles/runtime.dir/io.cpp.o
[ 3%] Building CXX object runtime/CMakeFiles/runtime.dir/hash.cpp.o
[ 4%] Building CXX object runtime/CMakeFiles/runtime.dir/platform.cpp.o
[ 4%] Building CXX object runtime/CMakeFiles/runtime.dir/alloc.cpp.o
[ 4%] Building CXX object runtime/CMakeFiles/runtime.dir/allocprof.cpp.o
[ 4%] Building CXX object runtime/CMakeFiles/runtime.dir/sharecommon.cpp.o
[ 4%] Building CXX object runtime/CMakeFiles/runtime.dir/stack_overflow.cpp.o
[ 5%] Building CXX object runtime/CMakeFiles/runtime.dir/process.cpp.o
[ 5%] Built target runtime
Scanning dependencies of target util
[ 5%] Building CXX object util/CMakeFiles/util.dir/object_ref.cpp.o
[ 5%] Building CXX object util/CMakeFiles/util.dir/name.cpp.o
[ 5%] Building CXX object util/CMakeFiles/util.dir/name_set.cpp.o
[ 6%] Building CXX object util/CMakeFiles/util.dir/escaped.cpp.o
[ 6%] Building CXX object util/CMakeFiles/util.dir/bit_tricks.cpp.o
[ 6%] Building CXX object util/CMakeFiles/util.dir/ascii.cpp.o
[ 6%] Building CXX object util/CMakeFiles/util.dir/path.cpp.o
[ 6%] Building CXX object util/CMakeFiles/util.dir/lbool.cpp.o
[ 7%] Building CXX object util/CMakeFiles/util.dir/init_module.cpp.o
[ 7%] Building CXX object util/CMakeFiles/util.dir/list_fn.cpp.o
[ 7%] Building CXX object util/CMakeFiles/util.dir/file_lock.cpp.o
[ 7%] Building CXX object util/CMakeFiles/util.dir/timeit.cpp.o
[ 7%] Building CXX object util/CMakeFiles/util.dir/timer.cpp.o
[ 8%] Building CXX object util/CMakeFiles/util.dir/name_generator.cpp.o
[ 8%] Building CXX object util/CMakeFiles/util.dir/kvmap.cpp.o
[ 8%] Building CXX object util/CMakeFiles/util.dir/map_foreach.cpp.o
[ 8%] Building CXX object util/CMakeFiles/util.dir/options.cpp.o
[ 8%] Building CXX object util/CMakeFiles/util.dir/format.cpp.o
[ 9%] Building CXX object util/CMakeFiles/util.dir/option_declarations.cpp.o
[ 9%] Built target util
Scanning dependencies of target kernel
[ 10%] Building CXX object kernel/CMakeFiles/kernel.dir/level.cpp.o
[ 10%] Building CXX object kernel/CMakeFiles/kernel.dir/expr.cpp.o
[ 10%] Building CXX object kernel/CMakeFiles/kernel.dir/expr_eq_fn.cpp.o
[ 10%] Building CXX object kernel/CMakeFiles/kernel.dir/for_each_fn.cpp.o
[ 10%] Building CXX object kernel/CMakeFiles/kernel.dir/replace_fn.cpp.o
[ 11%] Building CXX object kernel/CMakeFiles/kernel.dir/abstract.cpp.o
[ 11%] Building CXX object kernel/CMakeFiles/kernel.dir/instantiate.cpp.o
[ 11%] Building CXX object kernel/CMakeFiles/kernel.dir/local_ctx.cpp.o
[ 11%] Building CXX object kernel/CMakeFiles/kernel.dir/declaration.cpp.o
[ 11%] Building CXX object kernel/CMakeFiles/kernel.dir/environment.cpp.o
[ 12%] Building CXX object kernel/CMakeFiles/kernel.dir/type_checker.cpp.o
[ 12%] Building CXX object kernel/CMakeFiles/kernel.dir/init_module.cpp.o
[ 12%] Building CXX object kernel/CMakeFiles/kernel.dir/expr_cache.cpp.o
[ 12%] Building CXX object kernel/CMakeFiles/kernel.dir/equiv_manager.cpp.o
[ 12%] Building CXX object kernel/CMakeFiles/kernel.dir/quot.cpp.o
[ 13%] Building CXX object kernel/CMakeFiles/kernel.dir/inductive.cpp.o
In file included from /home/aurelien/Documents/VU/mathport/lean4/build/release/stage0/include/lean/optional.h:8,
from /home/aurelien/Documents/VU/mathport/lean4/build/release/stage0/include/lean/utf8.h:10,
from /home/aurelien/Documents/VU/mathport/lean4/stage0/src/kernel/inductive.cpp:8:
/home/aurelien/Documents/VU/mathport/lean4/build/release/stage0/include/lean/lean.h: In member function ‘lean::optional<lean::expr> lean::elim_nested_inductive_fn::replace_if_nested(const lean::local_ctx&, const lean::buffer<lean::expr, 16>&, const lean::expr&)’:
/home/aurelien/Documents/VU/mathport/lean4/build/release/stage0/include/lean/lean.h:548:84: warning: ‘*((void*)(& result)+8).lean::object_ref::m_obj’ may be used uninitialized in this function [-Wmaybe-uninitialized]
548 | n_dec(lean_object * o) { if (!lean_is_scalar(o)) lean_dec_ref(o); }
| ~~~~~~~~~~~~^~~
/home/aurelien/Documents/VU/mathport/lean4/stage0/src/kernel/inductive.cpp:926:28: note: ‘*((void*)(& result)+8).lean::object_ref::m_obj’ was declared here
926 | optional<expr> result;
| ^~~~~~
[ 13%] Built target kernel
Scanning dependencies of target library
[ 14%] Building CXX object library/CMakeFiles/library.dir/expr_lt.cpp.o
[ 14%] Building CXX object library/CMakeFiles/library.dir/bin_app.cpp.o
[ 14%] Building CXX object library/CMakeFiles/library.dir/constants.cpp.o
[ 14%] Building CXX object library/CMakeFiles/library.dir/max_sharing.cpp.o
[ 14%] Building CXX object library/CMakeFiles/library.dir/module.cpp.o
[ 15%] Building CXX object library/CMakeFiles/library.dir/sorry.cpp.o
[ 15%] Building CXX object library/CMakeFiles/library.dir/replace_visitor.cpp.o
[ 15%] Building CXX object library/CMakeFiles/library.dir/num.cpp.o
[ 15%] Building CXX object library/CMakeFiles/library.dir/class.cpp.o
[ 15%] Building CXX object library/CMakeFiles/library.dir/util.cpp.o
[ 15%] Building CXX object library/CMakeFiles/library.dir/print.cpp.o
[ 16%] Building CXX object library/CMakeFiles/library.dir/annotation.cpp.o
[ 16%] Building CXX object library/CMakeFiles/library.dir/protected.cpp.o
[ 16%] Building CXX object library/CMakeFiles/library.dir/reducible.cpp.o
[ 16%] Building CXX object library/CMakeFiles/library.dir/init_module.cpp.o
[ 16%] Building CXX object library/CMakeFiles/library.dir/projection.cpp.o
[ 17%] Building CXX object library/CMakeFiles/library.dir/aux_recursors.cpp.o
[ 17%] Building CXX object library/CMakeFiles/library.dir/trace.cpp.o
[ 17%] Building CXX object library/CMakeFiles/library.dir/profiling.cpp.o
[ 17%] Building CXX object library/CMakeFiles/library.dir/time_task.cpp.o
[ 17%] Building CXX object library/CMakeFiles/library.dir/formatter.cpp.o
[ 17%] Built target library
Scanning dependencies of target constructions
[ 17%] Building CXX object library/constructions/CMakeFiles/constructions.dir/rec_on.cpp.o
[ 17%] Building CXX object library/constructions/CMakeFiles/constructions.dir/cases_on.cpp.o
[ 17%] Building CXX object library/constructions/CMakeFiles/constructions.dir/no_confusion.cpp.o
[ 18%] Building CXX object library/constructions/CMakeFiles/constructions.dir/projection.cpp.o
[ 18%] Building CXX object library/constructions/CMakeFiles/constructions.dir/brec_on.cpp.o
[ 18%] Building CXX object library/constructions/CMakeFiles/constructions.dir/init_module.cpp.o
[ 18%] Building CXX object library/constructions/CMakeFiles/constructions.dir/util.cpp.o
[ 18%] Built target constructions
Scanning dependencies of target compiler
[ 18%] Building CXX object library/compiler/CMakeFiles/compiler.dir/init_module.cpp.o
[ 18%] Building CXX object library/compiler/CMakeFiles/compiler.dir/compiler.cpp.o
[ 18%] Building CXX object library/compiler/CMakeFiles/compiler.dir/util.cpp.o
[ 19%] Building CXX object library/compiler/CMakeFiles/compiler.dir/lcnf.cpp.o
[ 19%] Building CXX object library/compiler/CMakeFiles/compiler.dir/csimp.cpp.o
[ 19%] Building CXX object library/compiler/CMakeFiles/compiler.dir/elim_dead_let.cpp.o
[ 19%] Building CXX object library/compiler/CMakeFiles/compiler.dir/cse.cpp.o
[ 19%] Building CXX object library/compiler/CMakeFiles/compiler.dir/erase_irrelevant.cpp.o
[ 20%] Building CXX object library/compiler/CMakeFiles/compiler.dir/specialize.cpp.o
[ 20%] Building CXX object library/compiler/CMakeFiles/compiler.dir/lambda_lifting.cpp.o
[ 20%] Building CXX object library/compiler/CMakeFiles/compiler.dir/extract_closed.cpp.o
[ 20%] Building CXX object library/compiler/CMakeFiles/compiler.dir/simp_app_args.cpp.o
[ 20%] Building CXX object library/compiler/CMakeFiles/compiler.dir/llnf.cpp.o
[ 21%] Building CXX object library/compiler/CMakeFiles/compiler.dir/ll_infer_type.cpp.o
[ 21%] Building CXX object library/compiler/CMakeFiles/compiler.dir/reduce_arity.cpp.o
[ 21%] Building CXX object library/compiler/CMakeFiles/compiler.dir/closed_term_cache.cpp.o
[ 21%] Building CXX object library/compiler/CMakeFiles/compiler.dir/export_attribute.cpp.o
[ 21%] Building CXX object library/compiler/CMakeFiles/compiler.dir/extern_attribute.cpp.o
[ 22%] Building CXX object library/compiler/CMakeFiles/compiler.dir/borrowed_annotation.cpp.o
[ 22%] Building CXX object library/compiler/CMakeFiles/compiler.dir/init_attribute.cpp.o
[ 22%] Building CXX object library/compiler/CMakeFiles/compiler.dir/eager_lambda_lifting.cpp.o
[ 22%] Building CXX object library/compiler/CMakeFiles/compiler.dir/struct_cases_on.cpp.o
[ 22%] Building CXX object library/compiler/CMakeFiles/compiler.dir/find_jp.cpp.o
[ 23%] Building CXX object library/compiler/CMakeFiles/compiler.dir/ir.cpp.o
[ 23%] Building CXX object library/compiler/CMakeFiles/compiler.dir/implemented_by_attribute.cpp.o
[ 23%] Building CXX object library/compiler/CMakeFiles/compiler.dir/ir_interpreter.cpp.o
/home/aurelien/Documents/VU/mathport/lean4/stage0/src/library/compiler/ir_interpreter.cpp: In function ‘lean::object* lean::ir::box_t(lean::ir::value, lean::ir::type)’:
/home/aurelien/Documents/VU/mathport/lean4/stage0/src/library/compiler/ir_interpreter.cpp:260:1: warning: control reaches end of non-void function [-Wreturn-type]
260 | }
| ^
/home/aurelien/Documents/VU/mathport/lean4/stage0/src/library/compiler/ir_interpreter.cpp: In member function ‘lean::ir::value lean::ir::interpreter::load(const lean::name&, lean::ir::type)’:
/home/aurelien/Documents/VU/mathport/lean4/stage0/src/library/compiler/ir_interpreter.cpp:773:48: warning: control reaches end of non-void function [-Wreturn-type]
773 | symbol_cache_entry e = lookup_symbol(fn);
| ^
/home/aurelien/Documents/VU/mathport/lean4/stage0/src/library/compiler/ir_interpreter.cpp: In member function ‘lean::ir::value lean::ir::interpreter::eval_expr(const expr&, lean::ir::type)’:
/home/aurelien/Documents/VU/mathport/lean4/stage0/src/library/compiler/ir_interpreter.cpp:521:17: warning: this statement may fall through [-Wimplicit-fallthrough=]
521 | }
| ^
/home/aurelien/Documents/VU/mathport/lean4/stage0/src/library/compiler/ir_interpreter.cpp:522:13: note: here
522 | case expr_kind::IsShared:
| ^~~~
/home/aurelien/Documents/VU/mathport/lean4/stage0/src/library/compiler/ir_interpreter.cpp: In static member function ‘static lean::object* lean::ir::interpreter::stub_1_aux(lean::object*)’:
/home/aurelien/Documents/VU/mathport/lean4/stage0/src/library/compiler/ir_interpreter.cpp:859:29: warning: array subscript 1 is outside array bounds of ‘lean::object* [1]’ {aka ‘lean_object* [1]’} [-Warray-bounds]
859 | options opts(args[1]);
| ^
/home/aurelien/Documents/VU/mathport/lean4/stage0/src/library/compiler/ir_interpreter.cpp:866:57: note: while referencing ‘args’
866 | static object * stub_1_aux(object * x_1) { object * args[] = { x_1 }; return interpreter::stub_m_aux(args); }
| ^~~~
/home/aurelien/Documents/VU/mathport/lean4/stage0/src/library/compiler/ir_interpreter.cpp:845:23: warning: array subscript 2 is outside array bounds of ‘lean::object* [1]’ {aka ‘lean_object* [1]’} [-Warray-bounds]
845 | decl d(args[2]);
| ^
/home/aurelien/Documents/VU/mathport/lean4/stage0/src/library/compiler/ir_interpreter.cpp:866:57: note: while referencing ‘args’
866 | static object * stub_1_aux(object * x_1) { object * args[] = { x_1 }; return interpreter::stub_m_aux(args); }
| ^~~~
/home/aurelien/Documents/VU/mathport/lean4/stage0/src/library/compiler/ir_interpreter.cpp: In static member function ‘static lean::object* lean::ir::interpreter::stub_2_aux(lean::object*, lean::object*)’:
/home/aurelien/Documents/VU/mathport/lean4/stage0/src/library/compiler/ir_interpreter.cpp:845:23: warning: array subscript 2 is outside array bounds of ‘lean::object* [2]’ {aka ‘lean_object* [2]’} [-Warray-bounds]
845 | decl d(args[2]);
| ^
/home/aurelien/Documents/VU/mathport/lean4/stage0/src/library/compiler/ir_interpreter.cpp:867:71: note: while referencing ‘args’
867 | c object * stub_2_aux(object * x_1, object * x_2) { object * args[] = { x_1, x_2 }; return interpreter::stub_m_aux(args); }
| ^~~~
[ 23%] Built target compiler
Scanning dependencies of target leancpp
[ 23%] Linking CXX static library lib/lean/libleancpp.a
[ 23%] Built target leancpp
Scanning dependencies of target leanruntime
[ 23%] Building CXX object runtime/CMakeFiles/leanruntime.dir/debug.cpp.o
[ 23%] Building CXX object runtime/CMakeFiles/leanruntime.dir/thread.cpp.o
[ 24%] Building CXX object runtime/CMakeFiles/leanruntime.dir/mpz.cpp.o
[ 24%] Building CXX object runtime/CMakeFiles/leanruntime.dir/mpq.cpp.o
[ 24%] Building CXX object runtime/CMakeFiles/leanruntime.dir/utf8.cpp.o
[ 24%] Building CXX object runtime/CMakeFiles/leanruntime.dir/object.cpp.o
/home/aurelien/Documents/VU/mathport/lean4/stage0/src/runtime/object.cpp: In function ‘lean::object* lean::lean_sorry(lean::uint8)’:
/home/aurelien/Documents/VU/mathport/lean4/stage0/src/runtime/object.cpp:77:1: warning: no return statement in function returning non-void [-Wreturn-type]
77 | }
| ^
[ 24%] Building CXX object runtime/CMakeFiles/leanruntime.dir/apply.cpp.o
[ 24%] Building CXX object runtime/CMakeFiles/leanruntime.dir/exception.cpp.o
[ 25%] Building CXX object runtime/CMakeFiles/leanruntime.dir/interrupt.cpp.o
[ 25%] Building CXX object runtime/CMakeFiles/leanruntime.dir/memory.cpp.o
[ 25%] Building CXX object runtime/CMakeFiles/leanruntime.dir/serializer.cpp.o
[ 25%] Building CXX object runtime/CMakeFiles/leanruntime.dir/stackinfo.cpp.o
[ 25%] Building CXX object runtime/CMakeFiles/leanruntime.dir/compact.cpp.o
[ 26%] Building CXX object runtime/CMakeFiles/leanruntime.dir/init_module.cpp.o
[ 26%] Building CXX object runtime/CMakeFiles/leanruntime.dir/io.cpp.o
[ 26%] Building CXX object runtime/CMakeFiles/leanruntime.dir/hash.cpp.o
[ 26%] Building CXX object runtime/CMakeFiles/leanruntime.dir/platform.cpp.o
[ 26%] Building CXX object runtime/CMakeFiles/leanruntime.dir/alloc.cpp.o
[ 27%] Building CXX object runtime/CMakeFiles/leanruntime.dir/allocprof.cpp.o
[ 27%] Building CXX object runtime/CMakeFiles/leanruntime.dir/sharecommon.cpp.o
[ 27%] Building CXX object runtime/CMakeFiles/leanruntime.dir/stack_overflow.cpp.o
[ 27%] Building CXX object runtime/CMakeFiles/leanruntime.dir/process.cpp.o
[ 27%] Linking CXX static library libleanruntime.a
[ 27%] Built target leanruntime
Scanning dependencies of target Lean
[ 27%] Building C object stdlib/CMakeFiles/Lean.dir/Lean.c.o
[ 27%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Attributes.c.o
[ 27%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/AuxRecursor.c.o
[ 27%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Class.c.o
[ 28%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler.c.o
[ 28%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/BorrowedAnnotation.c.o
[ 28%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/ClosedTermCache.c.o
[ 28%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/ConstFolding.c.o
[ 28%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/ExportAttr.c.o
[ 29%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/ExternAttr.c.o
[ 29%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR.c.o
[ 29%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/Basic.c.o
[ 29%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/Borrow.c.o
[ 29%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/Boxing.c.o
[ 30%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/Checker.c.o
[ 30%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/CompilerM.c.o
[ 30%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/CtorLayout.c.o
[ 30%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/ElimDeadBranches.c.o
[ 30%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/ElimDeadVars.c.o
[ 31%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/EmitC.c.o
[ 31%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/EmitUtil.c.o
[ 31%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/ExpandResetReuse.c.o
[ 31%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/Format.c.o
[ 31%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/FreeVars.c.o
[ 32%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/LiveVars.c.o
[ 32%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/NormIds.c.o
[ 32%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/PushProj.c.o
[ 32%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/RC.c.o
[ 32%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/ResetReuse.c.o
[ 32%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/SimpCase.c.o
[ 33%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/Sorry.c.o
[ 33%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/IR/UnboxResult.c.o
[ 33%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/ImplementedByAttr.c.o
[ 33%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/InitAttr.c.o
[ 33%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/InlineAttrs.c.o
[ 34%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/NameMangling.c.o
[ 34%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/NeverExtractAttr.c.o
[ 34%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/Specialize.c.o
[ 34%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Compiler/Util.c.o
[ 34%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/CoreM.c.o
[ 35%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data.c.o
[ 35%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Format.c.o
[ 35%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Json.c.o
[ 35%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Json/Basic.c.o
[ 35%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Json/FromToJson.c.o
[ 36%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Json/Parser.c.o
[ 36%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Json/Printer.c.o
[ 36%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Json/Stream.c.o
[ 36%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/JsonRpc.c.o
[ 36%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/KVMap.c.o
[ 37%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/LBool.c.o
[ 37%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/LOption.c.o
[ 37%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Lsp.c.o
[ 37%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Lsp/Basic.c.o
[ 37%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Lsp/Capabilities.c.o
[ 37%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Lsp/Communication.c.o
[ 38%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Lsp/Diagnostics.c.o
[ 38%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Lsp/Extra.c.o
[ 38%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Lsp/InitShutdown.c.o
[ 38%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Lsp/Ipc.c.o
[ 38%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Lsp/LanguageFeatures.c.o
[ 39%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Lsp/TextSync.c.o
[ 39%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Lsp/Utf16.c.o
[ 39%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Lsp/Workspace.c.o
[ 39%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Name.c.o
[ 39%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/NameTrie.c.o
[ 40%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Occurrences.c.o
[ 40%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/OpenDecl.c.o
[ 40%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Options.c.o
[ 40%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Position.c.o
[ 40%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/PrefixTree.c.o
[ 41%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/SMap.c.o
[ 41%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Data/Trie.c.o
[ 41%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Declaration.c.o
[ 41%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/DeclarationRange.c.o
[ 41%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/DocString.c.o
[ 42%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab.c.o
[ 42%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/App.c.o
[ 42%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Attributes.c.o
[ 42%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/AutoBound.c.o
[ 42%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Binders.c.o
[ 42%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/BuiltinNotation.c.o
[ 43%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/CollectFVars.c.o
[ 43%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Command.c.o
[ 43%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/DeclModifiers.c.o
[ 43%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/DeclUtil.c.o
[ 43%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Declaration.c.o
[ 44%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/DeclarationRange.c.o
[ 44%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/DefView.c.o
[ 44%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Deriving.c.o
[ 44%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Deriving/BEq.c.o
[ 44%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Deriving/Basic.c.o
[ 45%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Deriving/DecEq.c.o
[ 45%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Deriving/FromToJson.c.o
[ 45%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Deriving/Inhabited.c.o
[ 45%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Deriving/Repr.c.o
[ 45%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Deriving/SizeOf.c.o
[ 46%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Deriving/Util.c.o
[ 46%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Do.c.o
[ 46%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Exception.c.o
[ 46%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Extra.c.o
[ 46%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Frontend.c.o
[ 47%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Import.c.o
[ 47%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Inductive.c.o
[ 47%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/InfoTree.c.o
[ 47%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/LetRec.c.o
[ 47%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Level.c.o
[ 47%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Log.c.o
[ 48%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Match.c.o
[ 48%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/MutualDef.c.o
[ 48%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Open.c.o
[ 48%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/PreDefinition.c.o
[ 48%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/PreDefinition/Basic.c.o
[ 49%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/PreDefinition/Main.c.o
[ 49%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/PreDefinition/MkInhabitant.c.o
[ 49%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/PreDefinition/Structural.c.o
[ 49%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/PreDefinition/WF.c.o
[ 49%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Print.c.o
[ 50%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Quotation.c.o
[ 50%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Quotation/Util.c.o
[ 50%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/SetOption.c.o
[ 50%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/StructInst.c.o
[ 50%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Structure.c.o
[ 51%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Syntax.c.o
[ 51%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/SyntheticMVars.c.o
[ 51%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Tactic.c.o
[ 51%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Tactic/Basic.c.o
[ 51%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Tactic/ElabTerm.c.o
[ 52%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Tactic/Generalize.c.o
[ 52%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Tactic/Induction.c.o
[ 52%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Tactic/Injection.c.o
[ 52%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Tactic/Location.c.o
[ 52%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Tactic/Match.c.o
[ 53%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Tactic/Rewrite.c.o
[ 53%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Tactic/Simp.c.o
[ 53%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Term.c.o
[ 53%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Elab/Util.c.o
[ 53%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Environment.c.o
[ 53%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Eval.c.o
[ 54%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Exception.c.o
[ 54%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Expr.c.o
[ 54%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/HeadIndex.c.o
[ 54%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Hygiene.c.o
[ 54%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/InternalExceptionId.c.o
[ 55%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/KeyedDeclsAttribute.c.o
[ 55%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Level.c.o
[ 55%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/LocalContext.c.o
[ 55%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Message.c.o
[ 55%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta.c.o
[ 56%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/AbstractMVars.c.o
[ 56%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/AbstractNestedProofs.c.o
[ 56%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/AppBuilder.c.o
[ 56%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Basic.c.o
[ 56%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Check.c.o
[ 57%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Closure.c.o
[ 57%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Coe.c.o
[ 57%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/CollectMVars.c.o
[ 57%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/DiscrTree.c.o
[ 57%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/DiscrTreeTypes.c.o
[ 58%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/ExprDefEq.c.o
[ 58%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/ForEachExpr.c.o
[ 58%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/FunInfo.c.o
[ 58%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/GeneralizeTelescope.c.o
[ 58%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/GetConst.c.o
[ 58%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Inductive.c.o
[ 59%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/InferType.c.o
[ 59%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Instances.c.o
[ 59%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/KAbstract.c.o
[ 59%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/LevelDefEq.c.o
[ 59%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Match.c.o
[ 60%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Match/Basic.c.o
[ 60%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Match/CaseArraySizes.c.o
[ 60%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Match/CaseValues.c.o
[ 60%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Match/MVarRenaming.c.o
[ 60%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Match/Match.c.o
[ 61%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Match/MatchPatternAttr.c.o
[ 61%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Match/MatcherInfo.c.o
[ 61%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/MatchUtil.c.o
[ 61%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Offset.c.o
[ 61%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/PPGoal.c.o
[ 62%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/RecursorInfo.c.o
[ 62%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Reduce.c.o
[ 62%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/ReduceEval.c.o
[ 62%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/SizeOf.c.o
[ 62%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/SynthInstance.c.o
[ 63%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic.c.o
[ 63%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Apply.c.o
[ 63%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Assert.c.o
[ 63%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Assumption.c.o
[ 63%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/AuxLemma.c.o
[ 63%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Cases.c.o
[ 64%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Clear.c.o
[ 64%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Constructor.c.o
[ 64%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Contradiction.c.o
[ 64%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Delta.c.o
[ 64%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/ElimInfo.c.o
[ 65%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/FVarSubst.c.o
[ 65%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Generalize.c.o
[ 65%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Induction.c.o
[ 65%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Injection.c.o
[ 65%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Intro.c.o
[ 66%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Replace.c.o
[ 66%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Revert.c.o
[ 66%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Rewrite.c.o
[ 66%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Simp.c.o
[ 66%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Simp/CongrLemmas.c.o
[ 67%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Simp/Main.c.o
[ 67%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Simp/Rewrite.c.o
[ 67%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Simp/SimpLemmas.c.o
[ 67%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Simp/Types.c.o
[ 67%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Subst.c.o
[ 68%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Tactic/Util.c.o
[ 68%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/Transform.c.o
[ 68%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/TransparencyMode.c.o
[ 68%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/UnificationHint.c.o
[ 68%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Meta/WHNF.c.o
[ 68%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/MetavarContext.c.o
[ 69%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Modifiers.c.o
[ 69%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/MonadEnv.c.o
[ 69%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Parser.c.o
[ 69%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Parser/Attr.c.o
[ 69%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Parser/Basic.c.o
[ 70%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Parser/Command.c.o
[ 70%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Parser/Do.c.o
[ 70%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Parser/Extension.c.o
[ 70%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Parser/Extra.c.o
[ 70%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Parser/Level.c.o
[ 71%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Parser/Module.c.o
[ 71%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Parser/StrInterpolation.c.o
[ 71%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Parser/Syntax.c.o
[ 71%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Parser/Tactic.c.o
[ 71%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Parser/Term.c.o
[ 72%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/ParserCompiler.c.o
[ 72%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/ParserCompiler/Attribute.c.o
[ 72%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/PrettyPrinter.c.o
[ 72%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/PrettyPrinter/Basic.c.o
[ 72%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/PrettyPrinter/Delaborator.c.o
[ 73%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/PrettyPrinter/Delaborator/Basic.c.o
[ 73%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/PrettyPrinter/Delaborator/Builtins.c.o
[ 73%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/PrettyPrinter/Formatter.c.o
[ 73%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/PrettyPrinter/Parenthesizer.c.o
[ 73%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/ProjFns.c.o
[ 74%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/ReducibilityAttrs.c.o
[ 74%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/ResolveName.c.o
[ 74%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Runtime.c.o
[ 74%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/ScopedEnvExtension.c.o
[ 74%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Server.c.o
[ 74%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Server/AsyncList.c.o
[ 75%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Server/FileSource.c.o
[ 75%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Server/FileWorker.c.o
[ 75%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Server/InfoUtils.c.o
[ 75%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Server/Snapshots.c.o
[ 75%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Server/Utils.c.o
[ 76%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Server/Watchdog.c.o
[ 76%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Structure.c.o
[ 76%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Syntax.c.o
[ 76%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/ToExpr.c.o
[ 76%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util.c.o
[ 77%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util/CollectFVars.c.o
[ 77%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util/CollectLevelParams.c.o
[ 77%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util/CollectMVars.c.o
[ 77%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util/Constructions.c.o
[ 77%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util/FindExpr.c.o
[ 78%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util/FindMVar.c.o
[ 78%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util/FoldConsts.c.o
[ 78%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util/ForEachExpr.c.o
[ 78%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util/MonadCache.c.o
[ 78%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util/OccursCheck.c.o
[ 79%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util/PPExt.c.o
[ 79%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util/Path.c.o
[ 79%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util/Profile.c.o
[ 79%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util/RecDepth.c.o
[ 79%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util/Recognizers.c.o
[ 79%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util/ReplaceExpr.c.o
[ 80%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util/ReplaceLevel.c.o
[ 80%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util/SCC.c.o
[ 80%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util/Sorry.c.o
[ 80%] Building C object stdlib/CMakeFiles/Lean.dir/Lean/Util/Trace.c.o
[ 80%] Linking C static library ../lib/lean/libLean.a
[ 80%] Built target Lean
Scanning dependencies of target Std
[ 81%] Building C object stdlib/CMakeFiles/Std.dir/Std.c.o
[ 81%] Building C object stdlib/CMakeFiles/Std.dir/Std/Control.c.o
[ 81%] Building C object stdlib/CMakeFiles/Std.dir/Std/Control/Nondet.c.o
[ 81%] Building C object stdlib/CMakeFiles/Std.dir/Std/Data.c.o
[ 81%] Building C object stdlib/CMakeFiles/Std.dir/Std/Data/AssocList.c.o
[ 82%] Building C object stdlib/CMakeFiles/Std.dir/Std/Data/BinomialHeap.c.o
[ 82%] Building C object stdlib/CMakeFiles/Std.dir/Std/Data/DList.c.o
[ 82%] Building C object stdlib/CMakeFiles/Std.dir/Std/Data/HashMap.c.o
[ 82%] Building C object stdlib/CMakeFiles/Std.dir/Std/Data/HashSet.c.o
[ 82%] Building C object stdlib/CMakeFiles/Std.dir/Std/Data/PersistentArray.c.o
[ 83%] Building C object stdlib/CMakeFiles/Std.dir/Std/Data/PersistentHashMap.c.o
[ 83%] Building C object stdlib/CMakeFiles/Std.dir/Std/Data/PersistentHashSet.c.o
[ 83%] Building C object stdlib/CMakeFiles/Std.dir/Std/Data/Queue.c.o
[ 83%] Building C object stdlib/CMakeFiles/Std.dir/Std/Data/RBMap.c.o
[ 83%] Building C object stdlib/CMakeFiles/Std.dir/Std/Data/RBTree.c.o
[ 84%] Building C object stdlib/CMakeFiles/Std.dir/Std/Data/Stack.c.o
[ 84%] Building C object stdlib/CMakeFiles/Std.dir/Std/ShareCommon.c.o
[ 84%] Linking C static library ../lib/lean/libStd.a
[ 84%] Built target Std
Scanning dependencies of target Init
[ 84%] Building C object stdlib/CMakeFiles/Init.dir/Init.c.o
[ 84%] Building C object stdlib/CMakeFiles/Init.dir/Init/Classical.c.o
[ 84%] Building C object stdlib/CMakeFiles/Init.dir/Init/Coe.c.o
[ 84%] Building C object stdlib/CMakeFiles/Init.dir/Init/Control.c.o
[ 84%] Building C object stdlib/CMakeFiles/Init.dir/Init/Control/Basic.c.o
[ 85%] Building C object stdlib/CMakeFiles/Init.dir/Init/Control/EState.c.o
[ 85%] Building C object stdlib/CMakeFiles/Init.dir/Init/Control/Except.c.o
[ 85%] Building C object stdlib/CMakeFiles/Init.dir/Init/Control/ExceptCps.c.o
[ 85%] Building C object stdlib/CMakeFiles/Init.dir/Init/Control/Id.c.o
[ 85%] Building C object stdlib/CMakeFiles/Init.dir/Init/Control/Lawful.c.o
[ 86%] Building C object stdlib/CMakeFiles/Init.dir/Init/Control/Option.c.o
[ 86%] Building C object stdlib/CMakeFiles/Init.dir/Init/Control/Reader.c.o
[ 86%] Building C object stdlib/CMakeFiles/Init.dir/Init/Control/State.c.o
[ 86%] Building C object stdlib/CMakeFiles/Init.dir/Init/Control/StateCps.c.o
[ 86%] Building C object stdlib/CMakeFiles/Init.dir/Init/Control/StateRef.c.o
[ 87%] Building C object stdlib/CMakeFiles/Init.dir/Init/Core.c.o
[ 87%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data.c.o
[ 87%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Array.c.o
[ 87%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Array/Basic.c.o
[ 87%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Array/BinSearch.c.o
[ 88%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Array/InsertionSort.c.o
[ 88%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Array/QSort.c.o
[ 88%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Array/Subarray.c.o
[ 88%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Basic.c.o
[ 88%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/ByteArray.c.o
[ 89%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/ByteArray/Basic.c.o
[ 89%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Char.c.o
[ 89%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Char/Basic.c.o
[ 89%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Fin.c.o
[ 89%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Fin/Basic.c.o
[ 89%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Float.c.o
[ 90%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/FloatArray.c.o
[ 90%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/FloatArray/Basic.c.o
[ 90%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Format.c.o
[ 90%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Format/Basic.c.o
[ 90%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Format/Instances.c.o
[ 91%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Format/Macro.c.o
[ 91%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Format/Syntax.c.o
[ 91%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Hashable.c.o
[ 91%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Int.c.o
[ 91%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Int/Basic.c.o
[ 92%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/List.c.o
[ 92%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/List/Basic.c.o
[ 92%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/List/BasicAux.c.o
[ 92%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/List/Control.c.o
[ 92%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Nat.c.o
[ 93%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Nat/Basic.c.o
[ 93%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Nat/Bitwise.c.o
[ 93%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Nat/Control.c.o
[ 93%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Nat/Div.c.o
[ 93%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Nat/Gcd.c.o
[ 94%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/OfScientific.c.o
[ 94%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Option.c.o
[ 94%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Option/Basic.c.o
[ 94%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Option/BasicAux.c.o
[ 94%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Option/Instances.c.o
[ 94%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Random.c.o
[ 95%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Range.c.o
[ 95%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Repr.c.o
[ 95%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/Stream.c.o
[ 95%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/String.c.o
[ 95%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/String/Basic.c.o
[ 96%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/String/Extra.c.o
[ 96%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/ToString.c.o
[ 96%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/ToString/Basic.c.o
[ 96%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/ToString/Macro.c.o
[ 96%] Building C object stdlib/CMakeFiles/Init.dir/Init/Data/UInt.c.o
[ 97%] Building C object stdlib/CMakeFiles/Init.dir/Init/Fix.c.o
[ 97%] Building C object stdlib/CMakeFiles/Init.dir/Init/Hints.c.o
[ 97%] Building C object stdlib/CMakeFiles/Init.dir/Init/Meta.c.o
[ 97%] Building C object stdlib/CMakeFiles/Init.dir/Init/Notation.c.o
[ 97%] Building C object stdlib/CMakeFiles/Init.dir/Init/NotationExtra.c.o
[ 98%] Building C object stdlib/CMakeFiles/Init.dir/Init/Prelude.c.o
[ 98%] Building C object stdlib/CMakeFiles/Init.dir/Init/SimpLemmas.c.o
[ 98%] Building C object stdlib/CMakeFiles/Init.dir/Init/SizeOf.c.o
[ 98%] Building C object stdlib/CMakeFiles/Init.dir/Init/System.c.o
[ 98%] Building C object stdlib/CMakeFiles/Init.dir/Init/System/FilePath.c.o
[ 99%] Building C object stdlib/CMakeFiles/Init.dir/Init/System/IO.c.o
[ 99%] Building C object stdlib/CMakeFiles/Init.dir/Init/System/IOError.c.o
[ 99%] Building C object stdlib/CMakeFiles/Init.dir/Init/System/Platform.c.o
[ 99%] Building C object stdlib/CMakeFiles/Init.dir/Init/System/ST.c.o
[ 99%] Building C object stdlib/CMakeFiles/Init.dir/Init/Util.c.o
[ 99%] Building C object stdlib/CMakeFiles/Init.dir/Init/WF.c.o
[100%] Linking C static library ../lib/lean/libInit.a
[100%] Built target Init
Scanning dependencies of target shell
[100%] Building CXX object shell/CMakeFiles/shell.dir/lean.cpp.o
[100%] Built target shell
Scanning dependencies of target lean
[100%] Generating ../bin/lean
[100%] Built target lean
[ 43%] No install step for 'stage0'
[ 50%] Completed 'stage0'
[ 50%] Built target stage0
Scanning dependencies of target stage1
[ 56%] Creating directories for 'stage1'
[ 62%] No download step for 'stage1'
[ 68%] No patch step for 'stage1'
[ 75%] No update step for 'stage1'
[ 81%] Performing configure step for 'stage1'
-- The CXX compiler identification is GNU 9.3.0
-- The C compiler identification is GNU 9.3.0
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Check for working C compiler: /usr/bin/cc
-- Check for working C compiler: /usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- No build type selected, default to Release
-- 64-bit machine detected
-- Using compressed object headers and only 32-bits for reference counter, this feature assume the OS only uses memory addresses < 2^48
-- Found GMP: /usr/include/x86_64-linux-gnu (Required is at least version "5.0.5")
CMake Warning at CMakeLists.txt:295 (message):
Failed to find ccache, prepare for longer and redundant builds...
-- Found PythonInterp: /usr/bin/python3.8 (found version "3.8.5")
-- git commit sha1: 478dc9b05fd2d0c4a441bce552025cb0f70d15c5
-- Configuring done
-- Generating done
-- Build files have been written to: /home/aurelien/Documents/VU/mathport/lean4/build/release/stage1
[ 87%] Performing build step for 'stage1'
Scanning dependencies of target make_stdlib
[ ] Building Init/Prelude.lean
[ ] Building Init/Notation.lean
[ ] Building ../build/release/stage1/lib/temp/Init/Notation.c
[ ] Building Init/SizeOf.lean
[ ] Building Init/Core.lean
[ ] Building Init/SimpLemmas.lean
[ ] Building Init/Data/Nat/Basic.lean
[ ] Building Init/WF.lean
[ ] Building Init/Data/Nat/Div.lean
[ ] Building Init/Coe.lean
[ ] Building Init/Data/Nat/Bitwise.lean
[ ] Building Init/Data/Fin/Basic.lean
[ ] Building Init/System/Platform.lean
[ ] Building Init/Data/UInt.lean
[ ] Building Init/Control/Basic.lean
[ ] Building Init/Control/Id.lean
[ ] Building Init/Control/Except.lean
[ ] Building Init/Control/State.lean
[ ] Building Init/Data/List/Basic.lean
[ ] Building Init/Data/Int/Basic.lean
[ ] Building Init/Data/Char/Basic.lean
[ ] Building Init/Data/Option/Basic.lean
[ ] Building Init/Data/String/Basic.lean
[ ] Building Init/Data/Format/Basic.lean
[ ] Building Init/Data/Repr.lean
[ ] Building Init/Data/ToString/Basic.lean
[ ] Building Init/Util.lean
[ ] Building Init/Data/Array/Basic.lean
Init/Data/Array/Basic.lean:704:2: warning: declaration uses 'sorry'
[ ] Building Init/Meta.lean
[ ] Building Init/Data/Array/Subarray.lean
[ ] Building Init/NotationExtra.lean
[ ] Building ../build/release/stage1/lib/temp/Init/NotationExtra.c
[ ] Building Init/Control/EState.lean
[ ] Building Init/Control/Reader.lean
[ ] Building Init/Data/ByteArray/Basic.lean
[ ] Building Init/Data/ByteArray.lean
[ ] Building Init/Data/String/Extra.lean
[ ] Building Init/Data/String.lean
[ ] Building Init/System/IOError.lean
[ ] Building Init/System/FilePath.lean
[ ] Building Init/Classical.lean
[ ] Building Init/System/ST.lean
[ ] Building Init/Data/ToString/Macro.lean
[ ] Building Init/System/IO.lean
[ ] Building Init/System.lean
[ ] Building ../build/release/stage1/lib/temp/Init/System.c
[ ] Building ../build/release/stage1/lib/temp/Init/Util.c
[ ] Building ../build/release/stage1/lib/temp/Init/Core.c
[ ] Building Init/Control/StateRef.lean
[ ] Building Init/Control/Option.lean
[ ] Building Init/Control/Lawful.lean
[ ] Building Init/Control/StateCps.lean
[ ] Building Init/Control/ExceptCps.lean
[ ] Building Init/Control.lean
[ ] Building ../build/release/stage1/lib/temp/Init/Control.c
[ ] Building ../build/release/stage1/lib/temp/Init/WF.c
[ ] Building Init/Data/Basic.lean
[ ] Building Init/Data/Nat/Gcd.lean
[ ] Building Init/Data/Nat/Control.lean
[ ] Building Init/Data/Nat.lean
[ ] Building Init/Data/Char.lean
[ ] Building Init/Data/List/BasicAux.lean
[ ] Building Init/Data/List/Control.lean
[ ] Building Init/Data/List.lean
[ ] Building Init/Data/Int.lean
[ ] Building Init/Data/Array/QSort.lean
[ ] Building Init/Data/Array/BinSearch.lean
[ ] Building Init/Data/Array/InsertionSort.lean
[ ] Building Init/Data/Array.lean
[ ] Building Init/Data/Float.lean
[ ] Building Init/Data/FloatArray/Basic.lean
[ ] Building Init/Data/FloatArray.lean
[ ] Building Init/Data/Fin.lean
[ ] Building Init/Data/Option/BasicAux.lean
[ ] Building Init/Data/Option/Instances.lean
[ ] Building Init/Data/Option.lean
[ ] Building Init/Data/Random.lean
[ ] Building Init/Data/ToString.lean
[ ] Building Init/Data/Range.lean
[ ] Building Init/Data/Hashable.lean
[ ] Building Init/Data/OfScientific.lean
[ ] Building Init/Data/Format/Macro.lean
[ ] Building Init/Data/Format/Instances.lean
[ ] Building Init/Data/Format/Syntax.lean
[ ] Building Init/Data/Format.lean
[ ] Building Init/Data/Stream.lean
[ ] Building Init/Data.lean
[ ] Building ../build/release/stage1/lib/temp/Init/Data.c
[ ] Building ../build/release/stage1/lib/temp/Init/SimpLemmas.c
[ ] Building ../build/release/stage1/lib/temp/Init/SizeOf.c
[ ] Building ../build/release/stage1/lib/temp/Init/Classical.c
[ ] Building ../build/release/stage1/lib/temp/Init/Control/EState.c
[ ] Building ../build/release/stage1/lib/temp/Init/Control/Lawful.c
[ ] Building ../build/release/stage1/lib/temp/Init/Control/StateCps.c
[ ] Building ../build/release/stage1/lib/temp/Init/Control/StateRef.c
[ ] Building ../build/release/stage1/lib/temp/Init/Control/State.c
[ ] Building ../build/release/stage1/lib/temp/Init/Control/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Init/Control/Except.c
[ ] Building ../build/release/stage1/lib/temp/Init/Control/ExceptCps.c
[ ] Building ../build/release/stage1/lib/temp/Init/Control/Id.c
[ ] Building ../build/release/stage1/lib/temp/Init/Control/Option.c
[ ] Building ../build/release/stage1/lib/temp/Init/Control/Reader.c
[ ] Building ../build/release/stage1/lib/temp/Init/Prelude.c
[ ] Building Init/Fix.lean
[ ] Building ../build/release/stage1/lib/temp/Init/Fix.c
[ ] Building ../build/release/stage1/lib/temp/Init/System/IO.c
[ ] Building ../build/release/stage1/lib/temp/Init/System/IOError.c
[ ] Building ../build/release/stage1/lib/temp/Init/System/Platform.c
[ ] Building ../build/release/stage1/lib/temp/Init/System/ST.c
[ ] Building ../build/release/stage1/lib/temp/Init/System/FilePath.c
[ ] Building Init/Hints.lean
[ ] Building ../build/release/stage1/lib/temp/Init/Hints.c
[ ] Building ../build/release/stage1/lib/temp/Init/Meta.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Option/Instances.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Option/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Option/BasicAux.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/String.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/String/Extra.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/String/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Repr.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/ToString.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/FloatArray/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Array/QSort.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Array/Subarray.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Array/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Array/BinSearch.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Array/InsertionSort.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Fin/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/OfScientific.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/ToString/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/ToString/Macro.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Fin.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Int.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Char.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Format/Instances.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Format/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Format/Syntax.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Format/Macro.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/List/Control.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/List/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/List/BasicAux.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Stream.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Int/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Char/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/UInt.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/ByteArray/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Float.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/FloatArray.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/List.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Nat/Bitwise.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Nat/Control.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Nat/Div.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Nat/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Nat/Gcd.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Nat.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Array.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/ByteArray.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Option.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Random.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Range.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Hashable.c
[ ] Building ../build/release/stage1/lib/temp/Init/Data/Format.c
[ ] Building ../build/release/stage1/lib/temp/Init/Coe.c
[ ] Building Init.lean
[ ] Building ../build/release/stage1/lib/temp/Init.c
[ ] Building Std/Data/HashSet.lean
[ ] Building Std/Data/AssocList.lean
[ ] Building Std/Data/HashMap.lean
[ ] Building Std/Data/PersistentHashMap.lean
[ ] Building Std/Data/PersistentHashSet.lean
[ ] Building Std/ShareCommon.lean
[ ] Building ../build/release/stage1/lib/temp/Std/ShareCommon.c
[ ] Building Std/Control/Nondet.lean
[ ] Building Std/Control.lean
[ ] Building ../build/release/stage1/lib/temp/Std/Control.c
[ ] Building Std/Data/BinomialHeap.lean
[ ] Building Std/Data/DList.lean
[ ] Building Std/Data/Stack.lean
[ ] Building Std/Data/Queue.lean
[ ] Building Std/Data/PersistentArray.lean
[ ] Building Std/Data/RBMap.lean
[ ] Building Std/Data/RBTree.lean
[ ] Building Std/Data.lean
[ ] Building ../build/release/stage1/lib/temp/Std/Data.c
[ ] Building ../build/release/stage1/lib/temp/Std/Control/Nondet.c
[ ] Building ../build/release/stage1/lib/temp/Std/Data/Queue.c
[ ] Building ../build/release/stage1/lib/temp/Std/Data/RBTree.c
[ ] Building ../build/release/stage1/lib/temp/Std/Data/HashMap.c
[ ] Building ../build/release/stage1/lib/temp/Std/Data/RBMap.c
[ ] Building ../build/release/stage1/lib/temp/Std/Data/PersistentHashSet.c
[ ] Building ../build/release/stage1/lib/temp/Std/Data/HashSet.c
[ ] Building ../build/release/stage1/lib/temp/Std/Data/DList.c
[ ] Building ../build/release/stage1/lib/temp/Std/Data/BinomialHeap.c
[ ] Building ../build/release/stage1/lib/temp/Std/Data/AssocList.c
[ ] Building ../build/release/stage1/lib/temp/Std/Data/Stack.c
[ ] Building ../build/release/stage1/lib/temp/Std/Data/PersistentHashMap.c
[ ] Building ../build/release/stage1/lib/temp/Std/Data/PersistentArray.c
[ ] Building Std.lean
[ ] Building ../build/release/stage1/lib/temp/Std.c
[ ] Building Lean/Data/SMap.lean
[ ] Building Lean/Data/Name.lean
[ ] Building Lean/Data/KVMap.lean
[ ] Building Lean/Data/Options.lean
[ ] Building Lean/Data/Format.lean
[ ] Building Lean/Hygiene.lean
[ ] Building Lean/Level.lean
[ ] Building Lean/Expr.lean
[ ] Building Lean/Declaration.lean
[ ] Building Lean/LocalContext.lean
[ ] Building Lean/Util/Path.lean
[ ] Building Lean/Util/FindExpr.lean
[ ] Building Lean/Data/Position.lean
[ ] Building Lean/Util/Profile.lean
[ ] Building Lean/Environment.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Environment.c
[ ] Building Lean/Data/OpenDecl.lean
[ ] Building Lean/Syntax.lean
[ ] Building Lean/Util/MonadCache.lean
[ ] Building Lean/MetavarContext.lean
[ ] Building Lean/Util/PPExt.lean
[ ] Building Lean/Message.lean
[ ] Building Lean/InternalExceptionId.lean
[ ] Building Lean/Exception.lean
[ ] Building Lean/AuxRecursor.lean
[ ] Building Lean/MonadEnv.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/MonadEnv.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Declaration.c
[ ] Building Lean/ProjFns.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/ProjFns.c
[ ] Building Lean/Structure.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Structure.c
[ ] Building Lean/Util/CollectFVars.lean
[ ] Building Lean/Util/CollectLevelParams.lean
[ ] Building Lean/Util/CollectMVars.lean
[ ] Building Lean/Util/FindMVar.lean
[ ] Building Lean/Util/RecDepth.lean
[ ] Building Lean/Util/Sorry.lean
[ ] Building Lean/Util/Trace.lean
[ ] Building Lean/Util/ReplaceExpr.lean
[ ] Building Lean/Util/ForEachExpr.lean
[ ] Building Lean/Util/ReplaceLevel.lean
[ ] Building Lean/Util/FoldConsts.lean
[ ] Building Lean/Util/Constructions.lean
[ ] Building Lean/Util/SCC.lean
[ ] Building Lean/Util/OccursCheck.lean
[ ] Building Lean/Util.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Util.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Expr.c
[ ] Building Lean/Data/Trie.lean
[ ] Building Lean/ToExpr.lean
[ ] Building Lean/Eval.lean
[ ] Building Lean/Modifiers.lean
[ ] Building Lean/ResolveName.lean
[ ] Building Lean/CoreM.lean
[ ] Building Lean/Attributes.lean
[ ] Building Lean/Compiler/InitAttr.lean
[ ] Building Lean/Parser/Basic.lean
[ ] Building Lean/Data/PrefixTree.lean
[ ] Building Lean/Data/NameTrie.lean
[ ] Building Lean/ScopedEnvExtension.lean
[ ] Building Lean/Parser/StrInterpolation.lean
[ ] Building Lean/KeyedDeclsAttribute.lean
[ ] Building Lean/Parser/Extension.lean
[ ] Building Lean/ParserCompiler/Attribute.lean
[ ] Building Lean/PrettyPrinter/Basic.lean
[ ] Building Lean/PrettyPrinter/Parenthesizer.lean
[ ] Building Lean/PrettyPrinter/Formatter.lean
[ ] Building Lean/Parser/Extra.lean
[ ] Building Lean/Parser/Attr.lean
[ ] Building Lean/Parser/Level.lean
[ ] Building Lean/Parser/Term.lean
[ ] Building Lean/Parser/Do.lean
[ ] Building Lean/Parser/Command.lean
[ ] Building Lean/Parser/Module.lean
[ ] Building Lean/Elab/Import.lean
[ ] Building Lean/Data/Json/Basic.lean
[ ] Building Lean/Data/Json/Parser.lean
[ ] Building Lean/Data/Json/Printer.lean
[ ] Building Lean/Data/Json/FromToJson.lean
[ ] Building Lean/Data/Json/Stream.lean
[ ] Building Lean/Data/Json.lean
[ ] Building Lean/Data/JsonRpc.lean
[ ] Building Lean/Data/Lsp/Basic.lean
[ ] Building Lean/Data/Lsp/TextSync.lean
[ ] Building Lean/Data/Lsp/LanguageFeatures.lean
[ ] Building Lean/Data/Lsp/Capabilities.lean
[ ] Building Lean/Data/Lsp/Communication.lean
[ ] Building Lean/Data/Lsp/Utf16.lean
[ ] Building Lean/Data/Lsp/Diagnostics.lean
[ ] Building Lean/Data/Lsp/Extra.lean
[ ] Building Lean/Data/Lsp/Workspace.lean
[ ] Building Lean/Data/Lsp/InitShutdown.lean
[ ] Building Lean/Data/Lsp/Ipc.lean
[ ] Building Lean/Data/Lsp.lean
[ ] Building Lean/Server/FileSource.lean
[ ] Building Lean/Server/Utils.lean
[ ] Building Lean/Server/Watchdog.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Server/Watchdog.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Server/FileSource.c
[ ] Building Lean/Server/AsyncList.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Server/AsyncList.c
[ ] Building Lean/Data/LOption.lean
[ ] Building Lean/Class.lean
[ ] Building Lean/ReducibilityAttrs.lean
[ ] Building Lean/Compiler/Util.lean
[ ] Building Lean/Compiler/InlineAttrs.lean
[ ] Building Lean/Meta/TransparencyMode.lean
[ ] Building Lean/Meta/DiscrTreeTypes.lean
[ ] Building Lean/Meta/Basic.lean
[ ] Building Lean/Data/LBool.lean
[ ] Building Lean/Meta/InferType.lean
[ ] Building Lean/Meta/FunInfo.lean
[ ] Building Lean/Meta/Reduce.lean
[ ] Building Lean/Parser/Tactic.lean
[ ] Building Lean/Parser/Syntax.lean
[ ] Building Lean/Elab/Exception.lean
[ ] Building Lean/Elab/Util.lean
[ ] Building Lean/Elab/Log.lean
[ ] Building Lean/Meta/LevelDefEq.lean
[ ] Building Lean/Meta/DiscrTree.lean
[ ] Building Lean/Meta/Instances.lean
[ ] Building Lean/Meta/GetConst.lean
[ ] Building Lean/Meta/Match/MatcherInfo.lean
[ ] Building Lean/Meta/WHNF.lean
[ ] Building Lean/Meta/Check.lean
[ ] Building Lean/Meta/Offset.lean
[ ] Building Lean/Meta/ForEachExpr.lean
[ ] Building Lean/Util/Recognizers.lean
[ ] Building Lean/Meta/AbstractMVars.lean
[ ] Building Lean/Meta/SynthInstance.lean
[ ] Building Lean/Meta/UnificationHint.lean
[ ] Building Lean/Meta/ExprDefEq.lean
[ ] Building Lean/Meta/AppBuilder.lean
[ ] Building Lean/Meta/CollectMVars.lean
[ ] Building Lean/Meta/Transform.lean
[ ] Building Lean/Meta/Coe.lean
[ ] Building Lean/Meta/PPGoal.lean
[ ] Building Lean/Meta/Tactic/Util.lean
[ ] Building Lean/Elab/AutoBound.lean
[ ] Building Lean/Elab/Level.lean
[ ] Building Lean/Elab/Attributes.lean
[ ] Building Lean/Elab/InfoTree.lean
[ ] Building Lean/Elab/Open.lean
[ ] Building Lean/Elab/SetOption.lean
[ ] Building Lean/Elab/Term.lean
[ ] Building Lean/Elab/Binders.lean
[ ] Building Lean/Meta/Tactic/Assumption.lean
[ ] Building Lean/Meta/MatchUtil.lean
[ ] Building Lean/Meta/Tactic/Contradiction.lean
[ ] Building Lean/Meta/Tactic/Intro.lean
[ ] Building Lean/Meta/Tactic/Clear.lean
[ ] Building Lean/Meta/Tactic/Revert.lean
[ ] Building Lean/Meta/Tactic/FVarSubst.lean
[ ] Building Lean/Meta/Tactic/Assert.lean
[ ] Building Lean/Meta/Tactic/Subst.lean
[ ] Building Lean/Elab/Tactic/Basic.lean
[ ] Building Lean/Elab/SyntheticMVars.lean
[ ] Building Lean/DocString.lean
[ ] Building Lean/Elab/DeclUtil.lean
[ ] Building Lean/Elab/DeclModifiers.lean
[ ] Building Lean/Elab/Command.lean
[ ] Building Lean/Server/Snapshots.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Server/Snapshots.c
[ ] Building Lean/Meta/Match/MatchPatternAttr.lean
[ ] Building Lean/Compiler/ExternAttr.lean
[ ] Building Lean/Meta/Closure.lean
[ ] Building Lean/Meta/RecursorInfo.lean
[ ] Building Lean/Meta/Tactic/Induction.lean
[ ] Building Lean/Meta/Tactic/Injection.lean
[ ] Building Lean/Meta/Tactic/Cases.lean
[ ] Building Lean/Data/Occurrences.lean
[ ] Building Lean/HeadIndex.lean
[ ] Building Lean/Meta/KAbstract.lean
[ ] Building Lean/Meta/GeneralizeTelescope.lean
[ ] Building Lean/Meta/Match/CaseValues.lean
[ ] Building Lean/Meta/Match/CaseArraySizes.lean
[ ] Building Lean/Meta/Match/Basic.lean
[ ] Building Lean/Meta/Match/MVarRenaming.lean
[ ] Building Lean/Meta/Match/Match.lean
[ ] Building Lean/Meta/Match.lean
[ ] Building Lean/PrettyPrinter/Delaborator/Basic.lean
[ ] Building Lean/Parser.lean
[ ] Building Lean/PrettyPrinter/Delaborator/Builtins.lean
[ ] Building Lean/PrettyPrinter/Delaborator.lean
[ ] Building Lean/ParserCompiler.lean
[ ] Building Lean/PrettyPrinter.lean
[ ] Building Lean/DeclarationRange.lean
[ ] Building Lean/Server/InfoUtils.lean
[ ] Building Lean/Server/FileWorker.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Server/FileWorker.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Server/Utils.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Server/InfoUtils.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Attributes.c
[ ] Building ../build/release/stage1/lib/temp/Lean/PrettyPrinter/Formatter.c
[ ] Building ../build/release/stage1/lib/temp/Lean/PrettyPrinter/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Lean/PrettyPrinter/Parenthesizer.c
[ ] Building ../build/release/stage1/lib/temp/Lean/PrettyPrinter/Delaborator/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Lean/PrettyPrinter/Delaborator/Builtins.c
[ ] Building ../build/release/stage1/lib/temp/Lean/PrettyPrinter/Delaborator.c
[ ] Building Lean/Server.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Server.c
[ ] Building Lean/Data.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Data.c
[ ] Building ../build/release/stage1/lib/temp/Lean/ParserCompiler/Attribute.c
[ ] Building ../build/release/stage1/lib/temp/Lean/HeadIndex.c
[ ] Building ../build/release/stage1/lib/temp/Lean/ParserCompiler.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Class.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Hygiene.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Syntax.c
[ ] Building Lean/Runtime.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Runtime.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Parser/Extension.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Parser/Extra.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Parser/Tactic.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Parser/Term.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Parser/Do.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Parser/StrInterpolation.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Parser/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Parser/Syntax.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Parser/Attr.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Parser/Module.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Parser/Level.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Parser/Command.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Exception.c
[ ] Building ../build/release/stage1/lib/temp/Lean/ScopedEnvExtension.c
[ ] Building ../build/release/stage1/lib/temp/Lean/DocString.c
[ ] Building ../build/release/stage1/lib/temp/Lean/ResolveName.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/AutoBound.c
[ ] Building Lean/Meta/SizeOf.lean
[ ] Building Lean/Elab/CollectFVars.lean
[ ] Building Lean/Elab/DefView.lean
[ ] Building Lean/Elab/Deriving/Basic.lean
[ ] Building Lean/Elab/Inductive.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Inductive.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/DefView.c
[ ] Building Lean/Elab/DeclarationRange.lean
[ ] Building Lean/Elab/Structure.lean
[ ] Building Lean/Meta/AbstractNestedProofs.lean
[ ] Building Lean/Elab/PreDefinition/MkInhabitant.lean
[ ] Building Lean/Elab/PreDefinition/Basic.lean
[ ] Building Lean/Elab/PreDefinition/Structural.lean
[ ] Building Lean/Elab/PreDefinition/WF.lean
[ ] Building Lean/Elab/PreDefinition/Main.lean
[ ] Building Lean/Elab/PreDefinition.lean
[ ] Building Lean/Elab/MutualDef.lean
[ ] Building Lean/Elab/Declaration.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Declaration.c
[ ] Building Lean/Elab/App.lean
[ ] Building Lean/Elab/StructInst.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/StructInst.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Structure.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Util.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/DeclUtil.c
[ ] Building Lean/Elab/Extra.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Extra.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/CollectFVars.c
[ ] Building Lean/Meta/Tactic/Apply.lean
[ ] Building Lean/Meta/Tactic/Constructor.lean
[ ] Building Lean/Elab/Tactic/ElabTerm.lean
[ ] Building Lean/Meta/Tactic/ElimInfo.lean
[ ] Building Lean/Meta/Tactic/Generalize.lean
[ ] Building Lean/Elab/Tactic/Generalize.lean
[ ] Building Lean/Elab/Tactic/Induction.lean
[ ] Building Lean/Elab/Tactic/Injection.lean
[ ] Building Lean/Elab/Match.lean
[ ] Building Lean/Elab/Tactic/Match.lean
[ ] Building Lean/Meta/Tactic/Rewrite.lean
[ ] Building Lean/Meta/Tactic/Replace.lean
[ ] Building Lean/Elab/Tactic/Location.lean
[ ] Building Lean/Elab/Tactic/Rewrite.lean
[ ] Building Lean/Meta/Tactic/AuxLemma.lean
[ ] Building Lean/Meta/Tactic/Simp/SimpLemmas.lean
[ ] Building Lean/Meta/Tactic/Simp/CongrLemmas.lean
[ ] Building Lean/Meta/Tactic/Simp/Types.lean
[ ] Building Lean/Meta/Tactic/Simp/Rewrite.lean
[ ] Building Lean/Meta/Tactic/Simp/Main.lean
[ ] Building Lean/Meta/Tactic/Simp/SimpAll.lean
[ ] Building Lean/Meta/Tactic/Simp.lean
[ ] Building Lean/Elab/Tactic/Simp.lean
[ ] Building Lean/Elab/Tactic.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Tactic.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Attributes.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/InfoTree.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Term.c
[ ] Building Lean/Elab/Quotation/Util.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Quotation/Util.c
[ ] Building Lean/Elab/Quotation.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Quotation.c
[ ] Building Lean/Elab/LetRec.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/LetRec.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Match.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/MutualDef.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/DeclModifiers.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Log.c
[ ] Building Lean/Elab/Do.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Do.c
[ ] Building Lean/Elab/Print.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Print.c
[ ] Building Lean/Compiler/BorrowedAnnotation.lean
[ ] Building Lean/Elab/BuiltinNotation.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/BuiltinNotation.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Open.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Binders.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/PreDefinition/Main.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/PreDefinition/WF.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/PreDefinition/Structural.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/PreDefinition/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/PreDefinition/MkInhabitant.c
[ ] Building Lean/Elab/Syntax.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Syntax.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/App.c
[ ] Building Lean/Meta/Inductive.lean
[ ] Building Lean/Elab/Deriving/Util.lean
[ ] Building Lean/Elab/Deriving/DecEq.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Deriving/DecEq.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Deriving/Util.c
[ ] Building Lean/Elab/Deriving/Repr.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Deriving/Repr.c
[ ] Building Lean/Elab/Deriving/Inhabited.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Deriving/Inhabited.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Deriving/Basic.c
[ ] Building Lean/Elab/Deriving/SizeOf.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Deriving/SizeOf.c
[ ] Building Lean/Elab/Deriving/BEq.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Deriving/BEq.c
[ ] Building Lean/Elab/Deriving/FromToJson.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Deriving/FromToJson.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Exception.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/SetOption.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/PreDefinition.c
[ ] Building Lean/Elab/Frontend.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Frontend.c
[ ] Building Lean/Elab/Deriving.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Deriving.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Tactic/Injection.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Tactic/Match.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Tactic/Simp.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Tactic/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Tactic/Induction.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Tactic/Rewrite.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Tactic/Location.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Tactic/ElabTerm.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Tactic/Generalize.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/SyntheticMVars.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Level.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Command.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/DeclarationRange.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab/Import.c
[ ] Building ../build/release/stage1/lib/temp/Lean/CoreM.c
[ ] Building ../build/release/stage1/lib/temp/Lean/LocalContext.c
[ ] Building Lean/Compiler/Specialize.lean
[ ] Building Lean/Compiler/ConstFolding.lean
[ ] Building Lean/Compiler/ClosedTermCache.lean
[ ] Building Lean/Compiler/ImplementedByAttr.lean
[ ] Building Lean/Compiler/NeverExtractAttr.lean
[ ] Building Lean/Compiler/IR/Basic.lean
[ ] Building Lean/Compiler/IR/Format.lean
[ ] Building Lean/Compiler/IR/CompilerM.lean
[ ] Building Lean/Compiler/IR/FreeVars.lean
[ ] Building Lean/Compiler/IR/NormIds.lean
[ ] Building Lean/Compiler/IR/PushProj.lean
[ ] Building Lean/Compiler/IR/ElimDeadVars.lean
[ ] Building Lean/Compiler/IR/SimpCase.lean
[ ] Building Lean/Compiler/IR/LiveVars.lean
[ ] Building Lean/Compiler/IR/ResetReuse.lean
[ ] Building Lean/Compiler/IR/Checker.lean
[ ] Building Lean/Compiler/ExportAttr.lean
[ ] Building Lean/Compiler/IR/Borrow.lean
[ ] Building Lean/Compiler/IR/Boxing.lean
[ ] Building Lean/Compiler/IR/RC.lean
[ ] Building Lean/Compiler/IR/ExpandResetReuse.lean
[ ] Building Lean/Compiler/IR/UnboxResult.lean
[ ] Building Lean/Compiler/IR/ElimDeadBranches.lean
[ ] Building Lean/Compiler/NameMangling.lean
[ ] Building Lean/Compiler/IR/EmitUtil.lean
[ ] Building Lean/Compiler/IR/EmitC.lean
[ ] Building Lean/Compiler/IR/CtorLayout.lean
[ ] Building Lean/Compiler/IR/Sorry.lean
[ ] Building Lean/Compiler/IR.lean
[ ] Building Lean/Compiler.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler.c
[ ] Building ../build/release/stage1/lib/temp/Lean/AuxRecursor.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Util/ForEachExpr.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Util/ReplaceExpr.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Util/Trace.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Util/CollectFVars.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Util/RecDepth.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Util/FindMVar.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Util/Path.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Util/ReplaceLevel.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Util/CollectMVars.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Util/PPExt.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Util/CollectLevelParams.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Util/Profile.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Util/Sorry.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Util/OccursCheck.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Util/Recognizers.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Util/MonadCache.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Util/SCC.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Util/FindExpr.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Util/FoldConsts.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Util/Constructions.c
[ ] Building ../build/release/stage1/lib/temp/Lean/ReducibilityAttrs.c
[ ] Building ../build/release/stage1/lib/temp/Lean/InternalExceptionId.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/Util.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/ConstFolding.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/NameMangling.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/InitAttr.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/BorrowedAnnotation.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/NeverExtractAttr.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/ImplementedByAttr.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/ClosedTermCache.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/ExternAttr.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/Specialize.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/Borrow.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/EmitUtil.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/SimpCase.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/RC.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/ElimDeadBranches.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/FreeVars.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/LiveVars.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/Checker.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/UnboxResult.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/PushProj.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/Sorry.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/EmitC.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/ExpandResetReuse.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/CompilerM.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/Boxing.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/ElimDeadVars.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/ResetReuse.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/CtorLayout.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/NormIds.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/IR/Format.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/ExportAttr.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Compiler/InlineAttrs.c
[ ] Building ../build/release/stage1/lib/temp/Lean/PrettyPrinter.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Parser.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Modifiers.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Level.c
[ ] Building ../build/release/stage1/lib/temp/Lean/MetavarContext.c
[ ] Building ../build/release/stage1/lib/temp/Lean/KeyedDeclsAttribute.c
[ ] Building ../build/release/stage1/lib/temp/Lean/ToExpr.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/ForEachExpr.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Closure.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/MatchUtil.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Inductive.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/AbstractMVars.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/UnificationHint.c
[ ] Building Lean/Meta/Tactic/Delta.lean
[ ] Building Lean/Meta/Tactic.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/WHNF.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Match.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Instances.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/AbstractNestedProofs.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/InferType.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/FunInfo.c
[ ] Building Lean/Meta/ReduceEval.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/ReduceEval.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/SizeOf.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/GetConst.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/CollectMVars.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/KAbstract.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Offset.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Transform.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Match/MatchPatternAttr.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Match/Match.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Match/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Match/MatcherInfo.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Match/CaseArraySizes.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Match/CaseValues.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Match/MVarRenaming.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/ExprDefEq.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/RecursorInfo.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Contradiction.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Cases.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Util.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Apply.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Injection.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Assert.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Simp.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Simp/SimpAll.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Simp/CongrLemmas.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Simp/Main.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Simp/Types.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Simp/SimpLemmas.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Simp/Rewrite.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Revert.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/AuxLemma.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Intro.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Delta.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Induction.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Clear.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Constructor.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Replace.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/ElimInfo.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Rewrite.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Assumption.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Subst.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/FVarSubst.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Tactic/Generalize.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Check.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/LevelDefEq.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/TransparencyMode.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/PPGoal.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/AppBuilder.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/DiscrTreeTypes.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/DiscrTree.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/SynthInstance.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/GeneralizeTelescope.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Coe.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta/Reduce.c
[ ] Building Lean/Elab.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Elab.c
[ ] Building Lean/Meta.lean
[ ] Building ../build/release/stage1/lib/temp/Lean/Meta.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Lsp.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/JsonRpc.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Name.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/OpenDecl.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Occurrences.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/NameTrie.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/KVMap.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Trie.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/SMap.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Lsp/Extra.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Lsp/Ipc.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Lsp/TextSync.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Lsp/Communication.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Lsp/InitShutdown.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Lsp/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Lsp/Utf16.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Lsp/LanguageFeatures.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Lsp/Workspace.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Lsp/Diagnostics.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Lsp/Capabilities.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/LBool.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Json.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/PrefixTree.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/LOption.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Position.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Options.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Json/Printer.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Json/Basic.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Json/Stream.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Json/Parser.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Json/FromToJson.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Data/Format.c
[ ] Building ../build/release/stage1/lib/temp/Lean/DeclarationRange.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Message.c
[ ] Building ../build/release/stage1/lib/temp/Lean/Eval.c
[ ] Building Lean.lean
[ ] Building ../build/release/stage1/lib/temp/Lean.c
[ ] Building Leanpkg/LeanVersion.lean
[ ] Building Leanpkg/Git.lean
[ ] Building ../build/release/stage1/lib/temp/Leanpkg/Git.c
[ ] Building Leanpkg/Toml.lean
[ ] Building Leanpkg/Manifest.lean
[ ] Building ../build/release/stage1/lib/temp/Leanpkg/Manifest.c
[ ] Building Leanpkg/Proc.lean
[ ] Building ../build/release/stage1/lib/temp/Leanpkg/Proc.c
[ ] Building Leanpkg/Resolve.lean
[ ] Building ../build/release/stage1/lib/temp/Leanpkg/Resolve.c
[ ] Building ../build/release/stage1/lib/temp/Leanpkg/LeanVersion.c
[ ] Building ../build/release/stage1/lib/temp/Leanpkg/Toml.c
[ ] Building Leanpkg.lean
[ ] Building ../build/release/stage1/lib/temp/Leanpkg.c
[ ] Linking /home/aurelien/Documents/VU/mathport/lean4/build/release/stage1/bin/leanpkg
/usr/bin/ld: cannot find -lleancpp
collect2: error: ld returned 1 exit status
make[7]: *** [/home/aurelien/Documents/VU/mathport/lean4/build/release/stage1/bin/../share/lean/lean.mk:82: /home/aurelien/Documents/VU/mathport/lean4/build/release/stage1/bin/leanpkg] Error 1
make[6]: *** [/home/aurelien/Documents/VU/mathport/lean4/build/release/stage1/stdlib.make:28: stdlib] Error 2
make[5]: *** [CMakeFiles/make_stdlib.dir/build.make:57: CMakeFiles/make_stdlib] Error 2
make[4]: *** [CMakeFiles/Makefile2:334: CMakeFiles/make_stdlib.dir/all] Error 2
make[3]: *** [Makefile:163: all] Error 2
make[2]: *** [CMakeFiles/stage1.dir/build.make:113: stage1-prefix/src/stage1-stamp/stage1-build] Error 2
make[1]: *** [CMakeFiles/Makefile2:218: CMakeFiles/stage1.dir/all] Error 2
make: *** [Makefile:130: all] Error 2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment