ER/build_klee at master · efeslab/ER · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
INSTALL_BASE=/mnt/storage/gefeizuo/hase/install
#LLVMPREFIX=${INSTALL_BASE}/bin
LLVMPREFIX=/usr/bin
cmake -DCMAKE_INCLUDE_PATH=${INSTALL_BASE}/include \
      -DCMAKE_BUILD_TYPE=Debug\
      -DCMAKE_LIBRARY_PATH=${INSTALL_BASE}/lib\
      -DENABLE_SOLVER_STP=ON -DENABLE_SOLVER_Z3=ON\
      -DENABLE_POSIX_RUNTIME=ON\
      -DENABLE_KLEE_UCLIBC=ON -DKLEE_UCLIBC_PATH=/mnt/storage/gefeizuo/hase/klee-uclibc/\
      -DLLVM_CONFIG_BINARY=${LLVMPREFIX}/llvm-config-6.0 -DLLVMCC=${LLVMPREFIX}/clang-6.0 -DLLVMCXX=${LLVMPREFIX}/clang-6.0\
      -DCMAKE_INSTALL_PREFIX=${INSTALL_BASE}\
      ..
	  #commented out options
      ##-DCMAKE_EXPORT_COMPILE_COMMANDS=ON\
      #-DENABLE_UNIT_TESTS=ON -DGTEST_SRC_DIR=/mnt/storage/gefeizuo/hase/googletest-release-1.7.0/\
	  #-DCMAKE_CXX_FLAGS="-fno-omit-frame-pointer -fsanitize=address"\