Add an example cmake command to build klee with llvm8

efeslab · Feb 13, 2020 · 0359fbd · 0359fbd
1 parent 0cfd631
commit 0359fbd
Showing 1 changed file with 23 additions and 0 deletions.
diff --git a/build_klee_llvm8 b/build_klee_llvm8
@@ -0,0 +1,23 @@
+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/\
+    #-DCMAKE_CXX_FLAGS="-fno-omit-frame-pointer -fsanitize=address"\