Checking whether the ASM compiler is GNU using "--version" did not match "(GNU assembler)|(GCC)|(Free Software Foundation)":
Apple LLVM version 10.0.1 (clang-1001.0.46.4)
Target: x86_64-apple-darwin18.7.0
Thread model: posix
InstalledDir: /Library/Developer/CommandLineTools/usr/bin
Checking whether the ASM compiler is Clang using "--version" did not match "(clang version)":
Apple LLVM version 10.0.1 (clang-1001.0.46.4)
Target: x86_64-apple-darwin18.7.0
Thread model: posix
InstalledDir: /Library/Developer/CommandLineTools/usr/bin
Determining if the include file link.h exists failed with the following output:
Change Dir: /Users/guidochari/Documents/Projects/Testing/Symbolic Execution/workarea/build-debug/CMakeFiles/CMakeTmp
Run Build Command(s):/usr/local/bin/ninja cmTC_e14c9 && [1/2] Building C object CMakeFiles/cmTC_e14c9.dir/CheckIncludeFile.c.o
FAILED: CMakeFiles/cmTC_e14c9.dir/CheckIncludeFile.c.o
/Library/Developer/CommandLineTools/usr/bin/cc -isysroot /Library/Developer/CommandLineTools/SDKs/MacOSX10.14.sdk -o CMakeFiles/cmTC_e14c9.dir/CheckIncludeFile.c.o -c CheckIncludeFile.c
CheckIncludeFile.c:1:10: fatal error: 'link.h' file not found
#include <link.h>
^~~~~~~~
1 error generated.
ninja: build stopped: subcommand failed.
Determining if the include file valgrind/valgrind.h exists failed with the following output:
Change Dir: /Users/guidochari/Documents/Projects/Testing/Symbolic Execution/workarea/build-debug/CMakeFiles/CMakeTmp
Run Build Command(s):/usr/local/bin/ninja cmTC_6dcf0 && [1/2] Building C object CMakeFiles/cmTC_6dcf0.dir/CheckIncludeFile.c.o
FAILED: CMakeFiles/cmTC_6dcf0.dir/CheckIncludeFile.c.o
/Library/Developer/CommandLineTools/usr/bin/cc -isysroot /Library/Developer/CommandLineTools/SDKs/MacOSX10.14.sdk -o CMakeFiles/cmTC_6dcf0.dir/CheckIncludeFile.c.o -c CheckIncludeFile.c
CheckIncludeFile.c:1:10: fatal error: 'valgrind/valgrind.h' file not found
#include <valgrind/valgrind.h>
^~~~~~~~~~~~~~~~~~~~~
1 error generated.
ninja: build stopped: subcommand failed.
Guido.