build_klee_llvm8

INSTALL_BASE=/mnt/storage/gefeizuo/hase/install
#LLVMPREFIX=/mnt/storage/gefeizuo/hase/llvm8_install/bin
#LLVMPREFIX=/usr/bin
LLVMPREFIX=/usr/lib/llvm-8/bin
cmake -DCMAKE_INCLUDE_PATH=${INSTALL_BASE}/include \
      -DCMAKE_LIBRARY_PATH=${INSTALL_BASE}/lib \
      -DCMAKE_LIBRARY_PATH_FLAG=${INSTALL_BASE}/lib \
      -DCMAKE_BUILD_TYPE=Debug\
      -DCMAKE_LIBRARY_PATH=${INSTALL_BASE}/lib\
      -DENABLE_SOLVER_STP=ON -DENABLE_SOLVER_Z3=ON\
      -DSTP_DIR=${INSTALL_BASE}/lib/cmake/STP\
      -DENABLE_POSIX_RUNTIME=ON\
      -DENABLE_KLEE_UCLIBC=ON -DKLEE_UCLIBC_PATH=/mnt/storage/gefeizuo/hase/klee-uclibc/\
      -DLLVM_CONFIG_BINARY=${LLVMPREFIX}/llvm-config -DLLVMCC=${LLVMPREFIX}/clang -DLLVMCXX=${LLVMPREFIX}/clang++\
      -DCMAKE_INSTALL_PREFIX=${INSTALL_BASE}\
      -DENABLE_SYSTEM_TESTS=ON\
      -DENABLE_UNIT_TESTS=ON -DGTEST_SRC_DIR=/mnt/storage/gefeizuo/hase/googletest-release-1.7.0/\
      ..
    #commented out options
    #-DCMAKE_EXPORT_COMPILE_COMMANDS=ON\
    #-DENABLE_SYSTEM_TESTS=ON\
    #-DENABLE_UNIT_TESTS=ON -DGTEST_SRC_DIR=/mnt/storage/gefeizuo/hase/googletest-release-1.7.0/\
    # you need to disable tcmalloc to work with address sanitizer. also remeber
    # to disable -allocate-determ
    #-DCMAKE_CXX_FLAGS="-fno-omit-frame-pointer -fsanitize=address" -DENABLE_TCMALLOC=OFF\