klee_configure.sh

~/code/chopper-pspa/build$ ./klee_configure.sh
-- KLEE version 1.4.0.0
-- CMake generator: Unix Makefiles
-- Build type: RelWithDebInfo
-- KLEE assertions enabled
-- LLVM_CONFIG_BINARY: /home/jruiz/code/llvm-3.8.0.build/bin/llvm-config
-- LLVM_PACKAGE_VERSION: "3.8.0"
-- LLVM_VERSION_MAJOR: "3"
-- LLVM_VERSION_MINOR: "8"
-- LLVM_VERSION_PATCH: "0"
-- LLVM_DEFINITIONS: "-D_GNU_SOURCE;-D__STDC_CONSTANT_MACROS;-D__STDC_FORMAT_MACROS;-D__STDC_LIMIT_MACROS"
-- LLVM_ENABLE_ASSERTIONS: "ON"
-- LLVM_ENABLE_EH: "OFF"
-- LLVM_ENABLE_RTTI: "OFF"
-- LLVM_INCLUDE_DIRS: "/home/jruiz/code/llvm-3.8.0-project/llvm/include;/home/jruiz/code/llvm-3.8.0.build/include"
-- LLVM_LIBRARY_DIRS: "/home/jruiz/code/llvm-3.8.0.build/lib"
-- LLVM_TOOLS_BINARY_DIR: "/home/jruiz/code/llvm-3.8.0.build/bin"
-- LLVM_ENABLE_VISIBILITY_INLINES_HIDDEN: "ON"
-- TARGET_TRIPLE: "x86_64-unknown-linux-gnu"
-- Looking for bitcode compilers
-- Found /home/jruiz/code/llvm-3.8.0.build/bin/clang
-- Found /home/jruiz/code/llvm-3.8.0.build/bin/clang++
-- Testing bitcode compiler /home/jruiz/code/llvm-3.8.0.build/bin/clang
-- Compile success
-- Checking compatibility with LLVM 3.8.0
-- "/home/jruiz/code/llvm-3.8.0.build/bin/clang" is compatible
-- Testing bitcode compiler /home/jruiz/code/llvm-3.8.0.build/bin/clang++
-- Compile success
-- Checking compatibility with LLVM 3.8.0
-- "/home/jruiz/code/llvm-3.8.0.build/bin/clang++" is compatible
-- LLVMCC: /home/jruiz/code/llvm-3.8.0.build/bin/clang
-- LLVMCXX: /home/jruiz/code/llvm-3.8.0.build/bin/clang++
-- C++ compiler supports -Wall
-- C++ compiler supports -Wextra
-- C++ compiler supports -Wno-unused-parameter
-- C compiler supports -Wall
-- C compiler supports -Wextra
-- C compiler supports -Wno-unused-parameter
-- Not treating compiler warnings as errors
-- STP solver support enabled
-- Found STP version 2.3.3
-- Using STP shared library
-- STP_DIR: /home/jruiz/code/stp/build
-- Could not find Z3 libraries
-- Could not find Z3 include path
-- Could NOT find Z3 (missing: Z3_INCLUDE_DIRS Z3_LIBRARIES)
-- Z3 solver support disabled
-- metaSMT solver support disabled
-- C++ compiler supports -fno-exceptions
-- C++ compiler supports -fno-rtti
-- Zlib support enabled
-- TCMalloc support enabled
-- C++ compiler supports -fno-builtin-malloc
-- C++ compiler supports -fno-builtin-calloc
-- C++ compiler supports -fno-builtin-realloc
-- C++ compiler supports -fno-builtin-free
-- SELinux support disabled
-- KLEE_RUNTIME_BUILD_TYPE: Release+Asserts
-- POSIX runtime enabled
-- klee-uclibc support enabled
-- Found klee-uclibc library: "/home/jruiz/code/klee-uclibc/lib/libc.a"
-- SVF root directory: /home/jruiz/code/SVF-dynamic/
-- KLEE_GIT_SHA1HASH: 0d78f18afe72b99caa23ea7f6ba8cb63a1e5e933
-- KLEE_COMPONENT_EXTRA_INCLUDE_DIRS: '/home/jruiz/code/llvm-3.8.0-project/llvm/include;/home/jruiz/code/llvm-3.8.0.build/include;/home/jruiz/code/stp/build/include;/usr/include'
-- KLEE_COMPONENT_CXX_DEFINES: '-D_GNU_SOURCE;-D__STDC_CONSTANT_MACROS;-D__STDC_FORMAT_MACROS;-D__STDC_LIMIT_MACROS;-DKLEE_UCLIBC_BCA_NAME="klee-uclibc.bca"'
-- KLEE_COMPONENT_CXX_FLAGS: '-fvisibility-inlines-hidden;-fno-exceptions;-fno-rtti;-fno-builtin-malloc;-fno-builtin-calloc;-fno-builtin-realloc;-fno-builtin-free'
-- KLEE_COMPONENT_EXTRA_LIBRARIES: '/usr/lib/x86_64-linux-gnu/libz.so;/usr/lib/x86_64-linux-gnu/libtcmalloc.so'
-- Testing is enabled
-- Using lit: /home/jruiz/code/llvm-3.8.0.build/bin/llvm-lit
-- Unit tests disabled
-- System tests enabled
CMake Deprecation Warning at test/CMakeLists.txt:118 (cmake_policy):
  The OLD behavior for policy CMP0026 will be removed from a future version
  of CMake.

  The cmake-policies(7) manual explains that the OLD behaviors of all
  policies are deprecated and that a policy should be set to OLD only under
  specific short-term circumstances.  Projects should be ported to the NEW
  behavior and not rely on setting a policy to OLD.


-- Doxygen found
-- Configuring done
-- Generating done
-- Build files have been written to: /home/jruiz/code/chopper-pspa/build