diff --git a/build_klee_llvm8 b/build_klee_llvm8
new file mode 100644
index 00000000..77364fdc
--- /dev/null
+++ 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"\