Skip to content
Snippets Groups Projects
Commit 55c57143 authored by Zuzana Baranová's avatar Zuzana Baranová
Browse files

tools: Use the existing initTargets instead of initializing manually.

parent 228aa5b2
No related branches found
No related tags found
No related merge requests found
......@@ -64,11 +64,7 @@ int emitObjFile( Module &m, std::string filename )
//auto TargetTriple = sys::getDefaultTargetTriple();
auto TargetTriple = "x86_64-unknown-none-elf";
LLVMInitializeAllTargetInfos();
LLVMInitializeAllTargets();
LLVMInitializeAllTargetMCs();
LLVMInitializeAllAsmParsers();
LLVMInitializeAllAsmPrinters();
divine::cc::initTargets();
std::string Error;
auto Target = TargetRegistry::lookupTarget( TargetTriple, Error );
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment