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

1 files changed, 11 insertions, 0 deletions

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 <iostream>
 #include <fstream>
@@ -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();