[klee-dev] Error while building KLEE from source

[Cristian Cadar]

Hi Adharsh,

Thanks for reporting this.

When you ran the first command("LLVM_VERSION=13 ..."), I believe you 
received an error like this at the end:
ERROR: File ".../libc++-install-130/lib/*/lib*.a" does not exist

This is indeed an issue which I have fixed here (not yet merged into the 
mainline):
https://github.com/klee/klee/pull/1733

The underlying issue is that different libcxx versions have different 
directory structures.

Let me know if you run into any other issues.

Best,
Cristian

On 13/06/2024 05:40, Adharsh Kamath wrote:
> 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/ <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 at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev