Created
March 26, 2024 22:22
-
-
Save bollu/463dde567d5c0fab036f26ef7ac1a6b6 to your computer and use it in GitHub Desktop.
cmake -DRUNTIME_STATS=ON
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| make -j stage1 | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp: In constructor ‘lean::allocprof::allocprof(std::ostream&, const char*)’: | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:12:25: error: ‘g_num_ctor’ was not declared in this scope; did you mean ‘m_num_ctor’? | |
| 12 | m_num_ctor = g_num_ctor; | |
| | ^~~~~~~~~~ | |
| | m_num_ctor | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:13:25: error: ‘g_num_closure’ was not declared in this scope; did you mean ‘m_num_closure’? | |
| 13 | m_num_closure = g_num_closure; | |
| | ^~~~~~~~~~~~~ | |
| | m_num_closure | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:14:25: error: ‘g_num_string’ was not declared in this scope; did you mean ‘m_num_string’? | |
| 14 | m_num_string = g_num_string; | |
| | ^~~~~~~~~~~~ | |
| | m_num_string | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:15:25: error: ‘g_num_array’ was not declared in this scope; did you mean ‘m_num_array’? | |
| 15 | m_num_array = g_num_array; | |
| | ^~~~~~~~~~~ | |
| | m_num_array | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:16:25: error: ‘g_num_thunk’ was not declared in this scope; did you mean ‘m_num_thunk’? | |
| 16 | m_num_thunk = g_num_thunk; | |
| | ^~~~~~~~~~~ | |
| | m_num_thunk | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:17:25: error: ‘g_num_task’ was not declared in this scope; did you mean ‘m_num_task’? | |
| 17 | m_num_task = g_num_task; | |
| | ^~~~~~~~~~ | |
| | m_num_task | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:18:25: error: ‘g_num_ext’ was not declared in this scope; did you mean ‘m_num_ext’? | |
| 18 | m_num_ext = g_num_ext; | |
| | ^~~~~~~~~ | |
| | m_num_ext | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp: In destructor ‘lean::allocprof::~allocprof()’: | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:24:26: error: ‘g_num_ctor’ was not declared in this scope; did you mean ‘m_num_ctor’? | |
| 24 | uint64 num_ctor = g_num_ctor - m_num_ctor; | |
| | ^~~~~~~~~~ | |
| | m_num_ctor | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:25:26: error: ‘g_num_closure’ was not declared in this scope; did you mean ‘m_num_closure’? | |
| 25 | uint64 num_closure = g_num_closure - m_num_closure; | |
| | ^~~~~~~~~~~~~ | |
| | m_num_closure | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:26:26: error: ‘g_num_string’ was not declared in this scope; did you mean ‘m_num_string’? | |
| 26 | uint64 num_string = g_num_string - m_num_string; | |
| | ^~~~~~~~~~~~ | |
| | m_num_string | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:27:26: error: ‘g_num_array’ was not declared in this scope; did you mean ‘m_num_array’? | |
| 27 | uint64 num_array = g_num_array - m_num_array; | |
| | ^~~~~~~~~~~ | |
| | m_num_array | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:28:26: error: ‘g_num_thunk’ was not declared in this scope; did you mean ‘m_num_thunk’? | |
| 28 | uint64 num_thunk = g_num_thunk - m_num_thunk; | |
| | ^~~~~~~~~~~ | |
| | m_num_thunk | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:29:26: error: ‘g_num_task’ was not declared in this scope; did you mean ‘m_num_task’? | |
| 29 | uint64 num_task = g_num_task - m_num_task; | |
| | ^~~~~~~~~~ | |
| | m_num_task | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:30:26: error: ‘g_num_ext’ was not declared in this scope; did you mean ‘m_num_ext’? | |
| 30 | uint64 num_ext = g_num_ext - m_num_ext; | |
| | ^~~~~~~~~ | |
| | m_num_ext | |
| make[6]: *** [runtime/CMakeFiles/leanrt_initial-exec.dir/build.make:314: runtime/CMakeFiles/leanrt_initial-exec.dir/allocprof.cpp.o] Error 1 | |
| make[6]: *** Waiting for unfinished jobs.... | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp: In constructor ‘lean::allocprof::allocprof(std::ostream&, const char*)’: | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:12:25: error: ‘g_num_ctor’ was not declared in this scope; did you mean ‘m_num_ctor’? | |
| 12 | m_num_ctor = g_num_ctor; | |
| | ^~~~~~~~~~ | |
| | m_num_ctor | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:13:25: error: ‘g_num_closure’ was not declared in this scope; did you mean ‘m_num_closure’? | |
| 13 | m_num_closure = g_num_closure; | |
| | ^~~~~~~~~~~~~ | |
| | m_num_closure | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:14:25: error: ‘g_num_string’ was not declared in this scope; did you mean ‘m_num_string’? | |
| 14 | m_num_string = g_num_string; | |
| | ^~~~~~~~~~~~ | |
| | m_num_string | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:15:25: error: ‘g_num_array’ was not declared in this scope; did you mean ‘m_num_array’? | |
| 15 | m_num_array = g_num_array; | |
| | ^~~~~~~~~~~ | |
| | m_num_array | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:16:25: error: ‘g_num_thunk’ was not declared in this scope; did you mean ‘m_num_thunk’? | |
| 16 | m_num_thunk = g_num_thunk; | |
| | ^~~~~~~~~~~ | |
| | m_num_thunk | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:17:25: error: ‘g_num_task’ was not declared in this scope; did you mean ‘m_num_task’? | |
| 17 | m_num_task = g_num_task; | |
| | ^~~~~~~~~~ | |
| | m_num_task | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:18:25: error: ‘g_num_ext’ was not declared in this scope; did you mean ‘m_num_ext’? | |
| 18 | m_num_ext = g_num_ext; | |
| | ^~~~~~~~~ | |
| | m_num_ext | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp: In destructor ‘lean::allocprof::~allocprof()’: | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:24:26: error: ‘g_num_ctor’ was not declared in this scope; did you mean ‘m_num_ctor’? | |
| 24 | uint64 num_ctor = g_num_ctor - m_num_ctor; | |
| | ^~~~~~~~~~ | |
| | m_num_ctor | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:25:26: error: ‘g_num_closure’ was not declared in this scope; did you mean ‘m_num_closure’? | |
| 25 | uint64 num_closure = g_num_closure - m_num_closure; | |
| | ^~~~~~~~~~~~~ | |
| | m_num_closure | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:26:26: error: ‘g_num_string’ was not declared in this scope; did you mean ‘m_num_string’? | |
| 26 | uint64 num_string = g_num_string - m_num_string; | |
| | ^~~~~~~~~~~~ | |
| | m_num_string | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:27:26: error: ‘g_num_array’ was not declared in this scope; did you mean ‘m_num_array’? | |
| 27 | uint64 num_array = g_num_array - m_num_array; | |
| | ^~~~~~~~~~~ | |
| | m_num_array | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:28:26: error: ‘g_num_thunk’ was not declared in this scope; did you mean ‘m_num_thunk’? | |
| 28 | uint64 num_thunk = g_num_thunk - m_num_thunk; | |
| | ^~~~~~~~~~~ | |
| | m_num_thunk | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:29:26: error: ‘g_num_task’ was not declared in this scope; did you mean ‘m_num_task’? | |
| 29 | uint64 num_task = g_num_task - m_num_task; | |
| | ^~~~~~~~~~ | |
| | m_num_task | |
| /homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:30:26: error: ‘g_num_ext’ was not declared in this scope; did you mean ‘m_num_ext’? | |
| 30 | uint64 num_ext = g_num_ext - m_num_ext; | |
| | ^~~~~~~~~ | |
| | m_num_ext | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:39:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’? | |
| 39 | static atomic<uint64> g_num_alloc(0); | |
| | ^~~~~~ | |
| | uint64_t | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:39:21: error: template argument 1 is invalid | |
| 39 | static atomic<uint64> g_num_alloc(0); | |
| | ^ | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:40:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’? | |
| 40 | static atomic<uint64> g_num_small_alloc(0); | |
| | ^~~~~~ | |
| | uint64_t | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:40:21: error: template argument 1 is invalid | |
| 40 | static atomic<uint64> g_num_small_alloc(0); | |
| | ^ | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:41:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’? | |
| 41 | static atomic<uint64> g_num_dealloc(0); | |
| | ^~~~~~ | |
| | uint64_t | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:41:21: error: template argument 1 is invalid | |
| 41 | static atomic<uint64> g_num_dealloc(0); | |
| | ^ | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:42:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’? | |
| 42 | static atomic<uint64> g_num_small_dealloc(0); | |
| | ^~~~~~ | |
| | uint64_t | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:42:21: error: template argument 1 is invalid | |
| 42 | static atomic<uint64> g_num_small_dealloc(0); | |
| | ^ | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:43:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’? | |
| 43 | static atomic<uint64> g_num_segments(0); | |
| | ^~~~~~ | |
| | uint64_t | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:43:21: error: template argument 1 is invalid | |
| 43 | static atomic<uint64> g_num_segments(0); | |
| | ^ | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:44:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’? | |
| 44 | static atomic<uint64> g_num_pages(0); | |
| | ^~~~~~ | |
| | uint64_t | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:44:21: error: template argument 1 is invalid | |
| 44 | static atomic<uint64> g_num_pages(0); | |
| | ^ | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:45:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’? | |
| 45 | static atomic<uint64> g_num_exports(0); | |
| | ^~~~~~ | |
| | uint64_t | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:45:21: error: template argument 1 is invalid | |
| 45 | static atomic<uint64> g_num_exports(0); | |
| | ^ | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:46:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’? | |
| 46 | static atomic<uint64> g_num_recycled_pages(0); | |
| | ^~~~~~ | |
| | uint64_t | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:46:21: error: template argument 1 is invalid | |
| 46 | static atomic<uint64> g_num_recycled_pages(0); | |
| | ^ | |
| make[6]: *** [runtime/CMakeFiles/leanrt.dir/build.make:314: runtime/CMakeFiles/leanrt.dir/allocprof.cpp.o] Error 1 | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:39:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’? | |
| 39 | static atomic<uint64> g_num_alloc(0); | |
| | ^~~~~~ | |
| | uint64_t | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:39:21: error: template argument 1 is invalid | |
| 39 | static atomic<uint64> g_num_alloc(0); | |
| | ^ | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:40:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’? | |
| 40 | static atomic<uint64> g_num_small_alloc(0); | |
| | ^~~~~~ | |
| | uint64_t | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:40:21: error: template argument 1 is invalid | |
| 40 | static atomic<uint64> g_num_small_alloc(0); | |
| | ^ | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:41:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’? | |
| 41 | static atomic<uint64> g_num_dealloc(0); | |
| | ^~~~~~ | |
| | uint64_t | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:41:21: error: template argument 1 is invalid | |
| 41 | static atomic<uint64> g_num_dealloc(0); | |
| | ^ | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:42:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’? | |
| 42 | static atomic<uint64> g_num_small_dealloc(0); | |
| | ^~~~~~ | |
| | uint64_t | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:42:21: error: template argument 1 is invalid | |
| 42 | static atomic<uint64> g_num_small_dealloc(0); | |
| | ^ | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:43:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’? | |
| 43 | static atomic<uint64> g_num_segments(0); | |
| | ^~~~~~ | |
| | uint64_t | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:43:21: error: template argument 1 is invalid | |
| 43 | static atomic<uint64> g_num_segments(0); | |
| | ^ | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:44:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’? | |
| 44 | static atomic<uint64> g_num_pages(0); | |
| | ^~~~~~ | |
| | uint64_t | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:44:21: error: template argument 1 is invalid | |
| 44 | static atomic<uint64> g_num_pages(0); | |
| | ^ | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:45:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’? | |
| 45 | static atomic<uint64> g_num_exports(0); | |
| | ^~~~~~ | |
| | uint64_t | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:45:21: error: template argument 1 is invalid | |
| 45 | static atomic<uint64> g_num_exports(0); | |
| | ^ | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:46:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’? | |
| 46 | static atomic<uint64> g_num_recycled_pages(0); | |
| | ^~~~~~ | |
| | uint64_t | |
| /homes/sb2743/temp/lean4/src/runtime/alloc.cpp:46:21: error: template argument 1 is invalid | |
| 46 | static atomic<uint64> g_num_recycled_pages(0); | |
| | ^ | |
| make[6]: *** Waiting for unfinished jobs.... | |
| make[6]: *** [runtime/CMakeFiles/leanrt_initial-exec.dir/build.make:300: runtime/CMakeFiles/leanrt_initial-exec.dir/alloc.cpp.o] Error 1 | |
| make[6]: *** [runtime/CMakeFiles/leanrt.dir/build.make:300: runtime/CMakeFiles/leanrt.dir/alloc.cpp.o] Error 1 | |
| make[5]: *** [CMakeFiles/Makefile2:1266: runtime/CMakeFiles/leanrt.dir/all] Error 2 | |
| make[5]: *** Waiting for unfinished jobs.... | |
| make[5]: *** [CMakeFiles/Makefile2:1240: runtime/CMakeFiles/leanrt_initial-exec.dir/all] Error 2 | |
| [ 67%] Built target leancpp | |
| [ 67%] Built target make_stdlib | |
| make[4]: *** [Makefile:146: all] Error 2 | |
| make[3]: *** [CMakeFiles/stage1.dir/build.make:86: stage1-prefix/src/stage1-stamp/stage1-build] Error 2 | |
| make[2]: *** [CMakeFiles/Makefile2:116: CMakeFiles/stage1.dir/all] Error 2 | |
| make[1]: *** [CMakeFiles/Makefile2:123: CMakeFiles/stage1.dir/rule] Error 2 | |
| make: *** [Makefile:182: stage1] Error 2 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment