diff options
author | Daniel Dunbar <daniel@zuster.org> | 2010-03-14 05:08:59 +0000 |
---|---|---|
committer | Daniel Dunbar <daniel@zuster.org> | 2010-03-14 05:08:59 +0000 |
commit | c70345caa213288aa748070f7a03c84fbdf89b5c (patch) | |
tree | 75252446281ec8c9c0a750461b8751fdd73566a8 /lib/Module/KModule.cpp | |
parent | 5099d8124393dcd577c2dd091834a17fe2d9fcdb (diff) | |
download | klee-c70345caa213288aa748070f7a03c84fbdf89b5c.tar.gz |
Update for 2.7.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@98467 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Module/KModule.cpp')
-rw-r--r-- | lib/Module/KModule.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp index 108adabd..76291cdc 100644 --- a/lib/Module/KModule.cpp +++ b/lib/Module/KModule.cpp @@ -22,12 +22,15 @@ #include "llvm/Bitcode/ReaderWriter.h" #include "llvm/Instructions.h" +#if !(LLVM_VERSION_MAJOR == 2 && LLVM_VERSION_MINOR < 7) +#include "llvm/LLVMContext.h" +#endif #include "llvm/Module.h" #include "llvm/PassManager.h" #include "llvm/ValueSymbolTable.h" #include "llvm/Support/CommandLine.h" #include "llvm/Support/raw_ostream.h" -#if (LLVM_VERSION_MAJOR == 2 && LLVM_VERSION_MINOR == 6) +#if !(LLVM_VERSION_MAJOR == 2 && LLVM_VERSION_MINOR < 7) #include "llvm/Support/raw_os_ostream.h" #endif #include "llvm/System/Path.h" @@ -329,7 +332,7 @@ void KModule::prepare(const Interpreter::ModuleOptions &opts, std::ostream *os = ih->openOutputFile("assembly.ll"); assert(os && os->good() && "unable to open source output"); -#if (LLVM_VERSION_MAJOR == 2 && LLVM_VERSION_MINOR == 6) +#if (LLVM_VERSION_MAJOR == 2 && LLVM_VERSION_MINOR < 6) // We have an option for this in case the user wants a .ll they // can compile. if (NoTruncateSourceLines) { |