prepare (1/4): 
finished

cmake (2/4): 
-- The C compiler identification is Clang 6.0.0
-- The CXX compiler identification is Clang 6.0.0
-- Check for working C compiler: /usr/bin/clang
-- Check for working C compiler: /usr/bin/clang -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Check for working CXX compiler: /usr/bin/clang++
-- Check for working CXX compiler: /usr/bin/clang++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Configuring done
-- Generating done
-- Build files have been written to: /out/build
finished

make (3/4): 
Scanning dependencies of target driver
[ 16%] Building C object CMakeFiles/driver.dir/driver.c.o
[ 33%] Linking C executable driver
[ 33%] Built target driver
Scanning dependencies of target mumsh
[ 50%] Building C object mumsh/CMakeFiles/mumsh.dir/p1_2.c.o
[ 66%] Linking C executable mumsh
[ 66%] Built target mumsh
Scanning dependencies of target mumsh_memory_check
[ 83%] Building C object mumsh/CMakeFiles/mumsh_memory_check.dir/p1_2.c.o
[100%] Linking C executable mumsh_memory_check
[100%] Built target mumsh_memory_check
finished

clean (4/4): 
finished

all tasks finished, build successfully