From 561d694dc23e162bed0fef9aa1e50202d47c9ab2 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Fri, 17 Jul 2009 15:41:43 +0000 Subject: Make sure to initialize the native target, so we can make a JIT. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@76178 91177308-0d34-0410-b5e6-96231b3b80d8 --- tools/klee/main.cpp | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index d7d96323..49a15b51 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -24,6 +24,14 @@ #include "llvm/Support/CommandLine.h" #include "llvm/Support/ManagedStatic.h" #include "llvm/Support/MemoryBuffer.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 +#include "llvm/Target/TargetSelect.h" #include "llvm/System/Signals.h" #include #include @@ -1060,6 +1068,9 @@ int main(int argc, char **argv, char **envp) { #endif atexit(llvm_shutdown); // Call llvm_shutdown() on exit. + + llvm::InitializeNativeTarget(); + parseArguments(argc, argv); sys::PrintStackTraceOnErrorSignal(); -- cgit 1.4.1