gistfile1.txt

% git pull
Fetching submodule src/lake
Already up to date.
% git merge origin/master
Already up to date.
% cd build/release
% cmake ../..
-- Configuring done
-- Generating done
-- Build files have been written to: /Users/scott/projects/lean/lean4/build/release
% make
[  6%] Performing configure step for 'stage0'
-- No build type selected, default to Release
-- 64-bit machine detected
CMake Warning at CMakeLists.txt:277 (message):
  Disabling LLVM support


-- Configuring done
-- Generating done
-- Build files have been written to: /Users/scott/projects/lean/lean4/build/release/stage0
[ 12%] Performing build step for 'stage0'
[  0%] Built target initialize
[ 13%] Built target util
[ 25%] Built target kernel
[ 39%] Built target library
[ 44%] Built target constructions
[ 63%] Built target compiler
[ 63%] Built target leancpp
[ 63%] Built target make_stdlib
[ 81%] Built target leanrt_initial-exec
[ 81%] Built target leanshared
[ 99%] Built target leanrt
[100%] Built target shell
[100%] Built target lean
[ 18%] No install step for 'stage0'
[ 25%] Completed 'stage0'
[ 50%] Built target stage0
[ 56%] Performing configure step for 'stage1'
-- No build type selected, default to Release
-- 64-bit machine detected
CMake Warning at CMakeLists.txt:277 (message):
  Disabling LLVM support


-- git commit sha1: 256879fdea6e185804c9232e29c5f85e0f32ad20
CMake Error at shell/CMakeLists.txt:180 (add_test):
  add_test given test NAME "leanlaketest_deps" which already exists in this
  directory.


CMake Error at shell/CMakeLists.txt:180 (add_test):
  add_test given test NAME "leanlaketest_ffi" which already exists in this
  directory.


CMake Error at shell/CMakeLists.txt:180 (add_test):
  add_test given test NAME "leanlaketest_git" which already exists in this
  directory.


CMake Error at shell/CMakeLists.txt:180 (add_test):
  add_test given test NAME "leanlaketest_hello" which already exists in this
  directory.


CMake Error at shell/CMakeLists.txt:180 (add_test):
  add_test given test NAME "leanlaketest_init" which already exists in this
  directory.


CMake Error at shell/CMakeLists.txt:180 (add_test):
  add_test given test NAME "leanlaketest_precompile" which already exists in
  this directory.


CMake Error at shell/CMakeLists.txt:180 (add_test):
  add_test given test NAME "leanlaketest_scripts" which already exists in
  this directory.


CMake Error at shell/CMakeLists.txt:180 (add_test):
  add_test given test NAME "leanlaketest_targets" which already exists in
  this directory.


-- Configuring incomplete, errors occurred!
See also "/Users/scott/projects/lean/lean4/build/release/stage1/CMakeFiles/CMakeOutput.log".
See also "/Users/scott/projects/lean/lean4/build/release/stage1/CMakeFiles/CMakeError.log".
make[2]: *** [stage1-prefix/src/stage1-stamp/stage1-configure] Error 1
make[1]: *** [CMakeFiles/stage1.dir/all] Error 2
make: *** [all] Error 2