diff options
| -rw-r--r-- | include/klee/Internal/Support/PrintVersion.h | 8 | ||||
| -rw-r--r-- | lib/Support/PrintVersion.cpp | 23 |
2 files changed, 24 insertions, 7 deletions
diff --git a/include/klee/Internal/Support/PrintVersion.h b/include/klee/Internal/Support/PrintVersion.h index 2c375ad2..87f73a00 100644 --- a/include/klee/Internal/Support/PrintVersion.h +++ b/include/klee/Internal/Support/PrintVersion.h @@ -10,8 +10,16 @@ #ifndef KLEE_PRINT_VERSION_H #define KLEE_PRINT_VERSION_H +#include "llvm/Support/raw_ostream.h" + +#include "klee/Config/Version.h" + namespace klee { +#if LLVM_VERSION_CODE >= LLVM_VERSION(6, 0) + void printVersion(llvm::raw_ostream &OS); +#else void printVersion(); +#endif } #endif diff --git a/lib/Support/PrintVersion.cpp b/lib/Support/PrintVersion.cpp index d39249df..b7f2b6ff 100644 --- a/lib/Support/PrintVersion.cpp +++ b/lib/Support/PrintVersion.cpp @@ -9,25 +9,34 @@ #include "klee/Internal/Support/PrintVersion.h" #include "klee/Config/config.h" +#include "klee/Config/Version.h" #include "llvm/Support/raw_ostream.h" #include "llvm/Support/CommandLine.h" #include "klee/Config/CompileTimeInfo.h" +#if LLVM_VERSION_CODE >= LLVM_VERSION(6, 0) +void klee::printVersion(llvm::raw_ostream &OS) +#else void klee::printVersion() +#endif { - llvm::outs() << PACKAGE_STRING " (" PACKAGE_URL ")\n"; +#if LLVM_VERSION_CODE < LLVM_VERSION(6, 0) + llvm::raw_ostream &OS = llvm::outs(); +#endif + + OS << PACKAGE_STRING " (" PACKAGE_URL ")\n"; #ifdef KLEE_ENABLE_TIMESTAMP - llvm::outs() << " Built " __DATE__ " (" __TIME__ ")\n"; + OS << " Built " __DATE__ " (" __TIME__ ")\n"; #endif - llvm::outs() << " Build mode: " << KLEE_BUILD_MODE "\n"; - llvm::outs() << " Build revision: "; + OS << " Build mode: " << KLEE_BUILD_MODE "\n"; + OS << " Build revision: "; #ifdef KLEE_BUILD_REVISION - llvm::outs() << KLEE_BUILD_REVISION "\n"; + OS << KLEE_BUILD_REVISION "\n"; #else - llvm::outs() << "unknown\n"; + OS << "unknown\n"; #endif // Show LLVM version information - llvm::outs() << "\n"; + OS << "\n"; llvm::cl::PrintVersionMessage(); } |