[klee-dev] Error while building KLEE from source

[Adharsh Kamath]

Hi all,
I'm trying to build KLEE from source, with support for libc++.
I'm following the instructions as detailed in this page - https://klee-se.org/build-llvm13/

I used the following command to clone and build libc++:
LLVM_VERSION=13 BASE=/mnt/d/klee/libcxx/ ENABLE_OPTIMIZED=1 DISABLE_ASSERTIONS=1 ENABLE_DEBUG=1 REQUIRES_RTTI=1 scripts/build/build.sh libcxx

Below is the cmake command I used to configure KLEE:
cmake -DENABLE_SOLVER_STP=ON -DENABLE_POSIX_RUNTIME=ON -DKLEE_UCLIBC_PATH=/mnt/d/klee-uclibc/ -DENABLE_KLEE_LIBCXX=ON -DKLEE_LIBCXX_INCLUDE_DIR=/mnt/d/klee/libcx
x/libc++-install-130/include/c++/v1/ -DKLEE_LIBCXX_DIR=/mnt/d/klee/libcxx/libc++-install-130/ -DKLEE_LIBCXXABI_SRC_DIR=/mnt/d/klee/libcxx/llvm-130/libcxxabi/ -DLLVMCC=/usr/bin/clang-13 -DLLVMCXX=/usr/bin/clang+
+-13 ..

When I run the cmake command, I get the following error:
CMake Error at CMakeLists.txt:510 (find_file):
  Could not find KLEE_LIBCXX_BC_PATH using the following files: libc++.bca,
  libc++.so.bc, libc++.dylib.bc

I can see that bitcode files are expected in the libcxx path, but no such files were generated while building libc++.
Is there any intermediate step I need to complete before running the cmake command?

Any help would be greatly appreciated!

Best,
Adharsh
-------------- next part --------------
HTML attachment scrubbed and removed