From c6cfd6d722089b1560fefbd5f97177c8117aadbd Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Mon, 21 May 2018 15:12:44 +0200 Subject: llvm6: SetVersionPrinter now passes down a stream I.e. klee::printVersion should now have a parameter -- the output stream. Change both the prototype and the implementation to handle this properly. Signed-off-by: Jiri Slaby --- lib/Support/PrintVersion.cpp | 23 ++++++++++++++++------- 1 file changed, 16 insertions(+), 7 deletions(-) (limited to 'lib/Support') 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(); } -- cgit 1.4.1