Hello,
The step 7 of Building KLEE with LLVM 13 doc suggests to use -DKLEE_LIBCXX_INCLUDE_DIR=<LIBCXX_DIR>/libc++-install-130/include/c++/v1/
Wouldn't it better to suggest -DKLEE_LIBCXX_INCLUDE_DIR=<LIBCXX_DIR>/libc++-install-130/ ? So that KLEE_LIBCXX_PLATFORM_INCLUDE_PATH can be set properly as well as KLEE_LIBCXX_INCLUDE_PATH ?
Hello,
The step 7 of Building KLEE with LLVM 13 doc suggests to use
-DKLEE_LIBCXX_INCLUDE_DIR=<LIBCXX_DIR>/libc++-install-130/include/c++/v1/Wouldn't it better to suggest
-DKLEE_LIBCXX_INCLUDE_DIR=<LIBCXX_DIR>/libc++-install-130/? So that KLEE_LIBCXX_PLATFORM_INCLUDE_PATH can be set properly as well asKLEE_LIBCXX_INCLUDE_PATH?