Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
compilation issues #336
the problem is that after it does all the needed installation and getting to the "make" it later fail with the folowing issue:
Here is my installation file that i have generated based on the docker:
i hope we could make it an effort for all and make this type of file like i have tried ...
Your issue is that you're trying to link binaries where the ABI used by libstdc++ is different. Here LLVM looks like it was built with a different ABI.
You either need to build LLVM from source or tell KLEE's build system to pass