diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/klee/main.cpp | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index aecf6991..f0f8cbe2 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -13,6 +13,13 @@ #include "klee/Internal/Support/ModuleUtil.h" #include "klee/Internal/System/Time.h" +// FIXME: Ugh, this is gross. But otherwise our config.h conflicts with LLVMs. +#undef PACKAGE_BUGREPORT +#undef PACKAGE_NAME +#undef PACKAGE_STRING +#undef PACKAGE_TARNAME +#undef PACKAGE_VERSION + #if LLVM_VERSION_CODE > LLVM_VERSION(3, 2) #include "llvm/IR/Constants.h" #include "llvm/IR/Module.h" @@ -39,12 +46,6 @@ #include "llvm/Support/MemoryBuffer.h" #include "llvm/Support/raw_ostream.h" -// FIXME: Ugh, this is gross. But otherwise our config.h conflicts with LLVMs. -#undef PACKAGE_BUGREPORT -#undef PACKAGE_NAME -#undef PACKAGE_STRING -#undef PACKAGE_TARNAME -#undef PACKAGE_VERSION #if LLVM_VERSION_CODE < LLVM_VERSION(3, 0) #include "llvm/Target/TargetSelect.h" #else |