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
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
