Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Build error while extracting .bc

See original GitHub issue

The commands that I am trying to execute

CC=wllvm CXX=wllvm++ cmake ../bullet-2.81-rev2613/
make

Getting the following build error in bullet-2.81-rev2613

3 errors generated.
ERROR:Failed to compile using given arguments: [-DUSE_GRAPHICAL_BENCHMARK -I/opt/VulOSS/VulOSS/sota/symbolic-execution/whole-program-llvm/bullet-2.81-rev2613/src -O3 -DNDEBUG -MD -MT src/BulletSoftBody/CMakeFiles/BulletSoftBody.dir/btSoftBodyHelpers.o -MF CMakeFiles/BulletSoftBody.dir/btSoftBodyHelpers.o.d -o CMakeFiles/BulletSoftBody.dir/btSoftBodyHelpers.o -c /opt/VulOSS/VulOSS/sota/symbolic-execution/whole-program-llvm/bullet-2.81-rev2613/src/BulletSoftBody/btSoftBodyHelpers.cpp]
src/BulletSoftBody/CMakeFiles/BulletSoftBody.dir/build.make:103: recipe for target 'src/BulletSoftBody/CMakeFiles/BulletSoftBody.dir/btSoftBodyHelpers.o' failed
make[2]: *** [src/BulletSoftBody/CMakeFiles/BulletSoftBody.dir/btSoftBodyHelpers.o] Error 1
CMakeFiles/Makefile2:2420: recipe for target 'src/BulletSoftBody/CMakeFiles/BulletSoftBody.dir/all' failed
make[1]: *** [src/BulletSoftBody/CMakeFiles/BulletSoftBody.dir/all] Error 2
Makefile:135: recipe for target 'all' failed
make: *** [all] Error 2

Issue Analytics

State:
Created a year ago
Comments:8

Top GitHub Comments

1reaction

faysalhossain2007commented, Sep 6, 2022

Thanks! it was reading from the cache. I build it fresh and it worked!

0reactions

ianamasoncommented, Sep 5, 2022

So you need to start with a clean build area. It’s still complaining about wllvm. So start afresh.

But let’s back up a bit.

Have you ever compiled anything with wllvm? Maybe read the README? Maybe try a simple example first?

Top Results From Across the Web

How to test pngpixel with KLEE? · Issue #778 - GitHub

UPDATE: Sorry but once I compile into the bc I have the following error: KLEE: ERROR: error loading program 'pngpixel.bc': Invalid bitcode ...

[LLVMdev] llvm-ar llvm-link - Google Groups

I tried to build an llvm archive and link it against an llvm bc file. However, it fails. Following is the procedure I...

How to get bitcode llvm after linking? - Stack Overflow

It just copy the .bc files in one file ( not like native linking). clang -L$(T_LIB_PATH) -lpthread -emit-llvm gives an error ...

[klee-dev] Asking for Help about Klee3.4 on docker - Mailman

Hi Jiarui, in the first case you are running extract-bc on the wrong object: ... (configure: error: C compiler cannot create executables).

llvm-extract - extract a function from an LLVM module

In addition to extracting the bitcode of the specified function, llvm-extract will also ... Each <function:bb[;bb]> specifier pair will create a function.