update KLEE

UnitTestBot · Aug 2, 2024 · 1df9b7f · 1df9b7f
1 parent 64f5391
commit 1df9b7f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/submodules/build-klee.sh b/submodules/build-klee.sh
@@ -21,13 +21,16 @@ $UTBOT_CMAKE_BINARY -G Ninja \
   -DENABLE_SYSTEM_TESTS=TRUE \
   -DGTEST_SRC_DIR=$UTBOT_ALL/gtest \
   -DGTEST_INCLUDE_DIR=$UTBOT_ALL/gtest/googletest/include \
+  -DJSON_SRC_DIR=$UTBOT_ALL/json \
+  -DIMMER_SRC_DIR=$UTBOT_ALL/immer \
   -DCMAKE_INSTALL_PREFIX=$UTBOT_ALL/klee \
   -DENABLE_KLEE_LIBCXX=TRUE \
   -DKLEE_LIBCXX_DIR=$UTBOT_ALL/libcxx/install \
   -DKLEE_LIBCXX_INCLUDE_DIR=$UTBOT_ALL/libcxx/install/include/c++/v1 \
   -DENABLE_KLEE_EH_CXX=TRUE \
   -DKLEE_LIBCXXABI_SRC_DIR=$UTBOT_ALL/libcxx/libcxxabi \
   -DCMAKE_BUILD_TYPE=RelWithDebInfo \
+  -DWARNINGS_AS_ERRORS=OFF \
   ..
 
 $UTBOT_CMAKE_BINARY --build .

diff --git a/submodules/klee b/submodules/klee