klee.github.io icon indicating copy to clipboard operation
klee.github.io copied to clipboard

Published 20 hours ago • verified publisher icon klee

libcxx include directory can't find platform specific include path

Open ricardaxel opened this issue 9 months ago • 0 comments

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 ?

ricardaxel avatar May 29 '24 08:05 ricardaxel