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
[ 10%] Building C object CMakeFiles/driver.dir/driver.c.o
[ 20%] Linking C executable driver
[ 20%] Built target driver
Scanning dependencies of target mumsh
[ 30%] Building C object mumsh/CMakeFiles/mumsh.dir/Cvector.c.o
[ 40%] Building C object mumsh/CMakeFiles/mumsh.dir/main.c.o
[ 50%] Building C object mumsh/CMakeFiles/mumsh.dir/parse.c.o
[ 60%] Linking C executable mumsh
[ 60%] Built target mumsh
Scanning dependencies of target mumsh_memory_check
[ 70%] Building C object mumsh/CMakeFiles/mumsh_memory_check.dir/Cvector.c.o
[ 80%] Building C object mumsh/CMakeFiles/mumsh_memory_check.dir/main.c.o
[ 90%] Building C object mumsh/CMakeFiles/mumsh_memory_check.dir/parse.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