search

ApproxSymate / klee

KLEE Symbolic Virtual Machine for Numerical Precision Analysis
Other
0 stars 0 forks source link

Added missing CMakeLists.txt entries #64

Closed domainexpert closed 6 years ago

domainexpert commented 6 years ago

This patch is to fix linking failures when building using cmake, as instructed in the KLEE installation guilde, with error messages similar to the following:

[100%] Linking CXX executable ../../bin/klee
CMakeFiles/klee.dir/main.cpp.o: In function `KleeHandler::processTestCase(klee::ExecutionState const&, char const*, char const*)':
/home/andrew/software/fp-analysis-klee/tools/klee/main.cpp:520: undefined reference to `klee::PrettyExpressionBuilder::construct[abi:cxx11](klee::ref<klee::Expr>)'
/home/andrew/software/fp-analysis-klee/tools/klee/main.cpp:522: undefined reference to `klee::PrettyExpressionBuilder::construct[abi:cxx11](klee::ref<klee::Expr>)'
CMakeFiles/klee.dir/main.cpp.o: In function `llvm::Pass::Pass(llvm::PassKind, char&)':
/home/andrew/software/llvm-3.4.2/include/llvm/Pass.h:90: undefined reference to `klee::TripCounter::ID'
CMakeFiles/klee.dir/main.cpp.o: In function `klee::TripCounter::TripCounter()':
/home/andrew/software/fp-analysis-klee/tools/klee/../../include/klee/Internal/Module/TripCounter.h:63: undefined reference to `vtable for klee::TripCounter'
...