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
[ 12%] Building C object CMakeFiles/driver.dir/driver.c.o
[ 25%] Linking C executable driver
[ 25%] Built target driver
Scanning dependencies of target mumsh
[ 37%] Building C object mumsh/CMakeFiles/mumsh.dir/Utils.c.o
[ 50%] Building C object mumsh/CMakeFiles/mumsh.dir/main.c.o
[ 62%] Linking C executable mumsh
[ 62%] Built target mumsh
Scanning dependencies of target mumsh_memory_check
[ 75%] Building C object mumsh/CMakeFiles/mumsh_memory_check.dir/Utils.c.o
[ 87%] Building C object mumsh/CMakeFiles/mumsh_memory_check.dir/main.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