Divine-4.4.2 was built failed in ubuntu 20.04

[chenminglei]

I try to compile divide-4.4.2 according to "​https://divine.fi.muni.cz/manual.html#building-installing". But error occurred when I executed make.

the issue output was show below:
[1/2819] Linking CXX executable tools/runtime-cc
FAILED: tools/runtime-cc
: && /root/divine-4.4.2/_build.toolchain/clangbin/clang++ -isystem /root/divine-4.4.2/dios/libcxxabi/include -isystem /root/divine-4.4.2/dios/libcxx/include -isystem /root/divine-4.4.2/dios/libunwind/include -stdlib=libc++ -nostdinc++ -Wno-unused-command-line-argument -I/usr/local/include -std=c++1z -O3 -g -DNDEBUG -DNVALGRIND -L/root/divine-4.4.2/_build.toolchain/dios/libunwind/src -Wl,-rpath,/root/divine-4.4.2/_build.toolchain/dios/libunwind/src -L/root/divine-4.4.2/_build.toolchain/lib -Wl,-rpath,/root/divine-4.4.2/_build.toolchain/lib -rdynamic tools/CMakeFiles/runtime-cc.dir/runtime-cc.cpp.o -o tools/runtime-cc -Wl,-rpath,/root/divine-4.4.2/_build.release/divine:/root/divine-4.4.2/_build.release/clang/lib:/root/divine-4.4.2/_build.release/llvm/lib:/root/divine-4.4.2/_build.release/lld/ELF:/root/divine-4.4.2/_build.release/lld/Common divine/libdivine-cc.so clang/lib/libclangCodeGen.so clang/lib/libclangBasic.so lld/ELF/liblldELF.so llvm/lib/libLLVMAArch64CodeGen.so llvm/lib/libLLVMAArch64AsmParser.so llvm/lib/libLLVMAArch64Disassembler.so llvm/lib/libLLVMAArch64Desc.so llvm/lib/libLLVMAArch64AsmPrinter.so llvm/lib/libLLVMAArch64Info.so llvm/lib/libLLVMAArch64Utils.so llvm/lib/libLLVMAMDGPUCodeGen.so llvm/lib/libLLVMAMDGPUAsmParser.so llvm/lib/libLLVMAMDGPUDisassembler.so llvm/lib/libLLVMAMDGPUDesc.so llvm/lib/libLLVMAMDGPUAsmPrinter.so llvm/lib/libLLVMAMDGPUInfo.so llvm/lib/libLLVMAMDGPUUtils.so llvm/lib/libLLVMARMCodeGen.so llvm/lib/libLLVMARMAsmParser.so llvm/lib/libLLVMARMDisassembler.so llvm/lib/libLLVMARMDesc.so llvm/lib/libLLVMARMAsmPrinter.so llvm/lib/libLLVMARMInfo.so llvm/lib/libLLVMARMUtils.so llvm/lib/libLLVMBPFCodeGen.so llvm/lib/libLLVMBPFAsmParser.so llvm/lib/libLLVMBPFDesc.so llvm/lib/libLLVMBPFAsmPrinter.so llvm/lib/libLLVMBPFDisassembler.so llvm/lib/libLLVMBPFInfo.so llvm/lib/libLLVMHexagonCodeGen.so llvm/lib/libLLVMHexagonAsmParser.so llvm/lib/libLLVMHexagonDisassembler.so llvm/lib/libLLVMHexagonDesc.so llvm/lib/libLLVMHexagonInfo.so llvm/lib/libLLVMLanaiCodeGen.so llvm/lib/libLLVMLanaiAsmParser.so llvm/lib/libLLVMLanaiDisassembler.so llvm/lib/libLLVMLanaiDesc.so llvm/lib/libLLVMLanaiAsmPrinter.so llvm/lib/libLLVMLanaiInfo.so llvm/lib/libLLVMMipsCodeGen.so llvm/lib/libLLVMMipsAsmParser.so llvm/lib/libLLVMMipsDesc.so llvm/lib/libLLVMMipsAsmPrinter.so llvm/lib/libLLVMMipsDisassembler.so llvm/lib/libLLVMMipsInfo.so llvm/lib/libLLVMMSP430CodeGen.so llvm/lib/libLLVMMSP430Desc.so llvm/lib/libLLVMMSP430AsmPrinter.so llvm/lib/libLLVMMSP430Info.so llvm/lib/libLLVMNVPTXCodeGen.so llvm/lib/libLLVMNVPTXDesc.so llvm/lib/libLLVMNVPTXAsmPrinter.so llvm/lib/libLLVMNVPTXInfo.so llvm/lib/libLLVMPowerPCCodeGen.so llvm/lib/libLLVMPowerPCAsmParser.so llvm/lib/libLLVMPowerPCDesc.so llvm/lib/libLLVMPowerPCAsmPrinter.so llvm/lib/libLLVMPowerPCDisassembler.so llvm/lib/libLLVMPowerPCInfo.so llvm/lib/libLLVMSparcCodeGen.so llvm/lib/libLLVMSparcAsmParser.so llvm/lib/libLLVMSparcDesc.so llvm/lib/libLLVMSparcAsmPrinter.so llvm/lib/libLLVMSparcDisassembler.so llvm/lib/libLLVMSparcInfo.so llvm/lib/libLLVMSystemZCodeGen.so llvm/lib/libLLVMSystemZAsmParser.so llvm/lib/libLLVMSystemZDisassembler.so llvm/lib/libLLVMSystemZDesc.so llvm/lib/libLLVMSystemZAsmPrinter.so llvm/lib/libLLVMSystemZInfo.so llvm/lib/libLLVMX86CodeGen.so llvm/lib/libLLVMX86AsmParser.so llvm/lib/libLLVMX86Desc.so llvm/lib/libLLVMX86AsmPrinter.so llvm/lib/libLLVMX86Disassembler.so llvm/lib/libLLVMX86Info.so llvm/lib/libLLVMX86Utils.so llvm/lib/libLLVMXCoreCodeGen.so llvm/lib/libLLVMXCoreDesc.so llvm/lib/libLLVMXCoreAsmPrinter.so llvm/lib/libLLVMXCoreDisassembler.so llvm/lib/libLLVMXCoreInfo.so llvm/lib/libLLVMIRReader.so llvm/lib/libLLVMLinker.so llvm/lib/libLLVMBitWriter.so llvm/lib/libLLVMTransformUtils.so llvm/lib/libLLVMObject.so llvm/lib/libLLVMBitReader.so llvm/lib/libLLVMCore.so llvm/lib/libLLVMMC.so llvm/lib/libLLVMSupport.so -Wl,-rpath-link,/root/divine-4.4.2/_build.release/clang/lib:/root/divine-4.4.2/_build.release/llvm/lib:/root/divine-4.4.2/_build.release/lld/Common && :
divine/libdivine-cc.so: error: undefined reference to 'clang::CodeGenOptions::CodeGenOptions?()'
divine/libdivine-cc.so: error: undefined reference to 'clang::FrontendAction::shouldEraseOutputFiles()'
divine/libdivine-cc.so: error: undefined reference to 'clang::FrontendAction::FrontendAction?()'
divine/libdivine-cc.so: error: undefined reference to 'clang::FrontendAction::~FrontendAction?()'
divine/libdivine-cc.so: error: undefined reference to 'clang::CompilerInstance::ExecuteAction?(clang::FrontendAction?&)'
divine/libdivine-cc.so: error: undefined reference to 'clang::CompilerInstance::setInvocation(std::2::shared_ptr<clang::CompilerInvocation>)'
divine/libdivine-cc.so: error: undefined reference to 'clang::CompilerInstance::setFileManager(clang::FileManager?*)'
divine/libdivine-cc.so: error: undefined reference to 'clang::CompilerInstance::createDiagnostics(clang::DiagnosticConsumer?*, bool)'
divine/libdivine-cc.so: error: undefined reference to 'clang::CompilerInstance::createSourceManager(clang::FileManager?&)'
divine/libdivine-cc.so: error: undefined reference to 'clang::CompilerInstance::CompilerInstance?(std::2::shared_ptr<clang::PCHContainerOperations>, clang::MemoryBufferCache?*)'
divine/libdivine-cc.so: error: undefined reference to 'clang::CompilerInstance::~CompilerInstance?()'
divine/libdivine-cc.so: error: undefined reference to 'clang::CompilerInvocation::CreateFromArgs?(clang::CompilerInvocation?&, char const* const*, char const* const*, clang::DiagnosticsEngine?&)'
divine/libdivine-cc.so: error: undefined reference to 'clang::TextDiagnosticPrinter::TextDiagnosticPrinter?(llvm::raw_ostream&, clang::DiagnosticOptions?*, bool)'
divine/libdivine-cc.so: error: undefined reference to 'clang::TextDiagnosticPrinter::~TextDiagnosticPrinter?()'
divine/libdivine-cc.so: error: undefined reference to 'clang::CompilerInvocationBase::CompilerInvocationBase?()'
divine/libdivine-cc.so: error: undefined reference to 'clang::CompilerInvocationBase::~CompilerInvocationBase?()'
divine/libdivine-cc.so: error: undefined reference to 'clang::PCHContainerOperations::PCHContainerOperations()'
divine/libdivine-cc.so: error: undefined reference to 'clang::DoPrintPreprocessedInput?(clang::Preprocessor&, llvm::raw_ostream*, clang::PreprocessorOutputOptions? const&)'
divine/libdivine-cc.so: error: undefined reference to 'clang::PreprocessorFrontendAction::CreateASTConsumer(clang::CompilerInstance?&, llvm::StringRef?)'
divine/libdivine-cc.so: error: undefined reference to 'typeinfo for clang::PreprocessorFrontendAction?'
divine/libdivine-cc.so: error: undefined reference to 'typeinfo for llvm::AsmPrinter?'
divine/libdivine-cc.so: error: undefined reference to 'llvm::opt::InputArgList::releaseMemory()'
divine/libdivine-cc.so: error: undefined reference to 'llvm::opt::OptTable::~OptTable?()'
divine/libdivine-cc.so: error: undefined reference to 'clang::driver::Compilation::~Compilation()'
divine/libdivine-cc.so: error: undefined reference to 'clang::driver::Driver::BuildCompilation?(llvm::ArrayRef?<char const*>)'
divine/libdivine-cc.so: error: undefined reference to 'clang::driver::Driver::Driver(llvm::StringRef?, llvm::StringRef?, clang::DiagnosticsEngine?&, llvm::IntrusiveRefCntPtr?<clang::vfs::FileSystem>)'
divine/libdivine-cc.so: error: undefined reference to 'vtable for llvm::opt::InputArgList?'
/root/binutils-2.38/install/bin/ld: the vtable symbol may be undefined because the class is missing its key function
divine/libdivine-cc.so: error: undefined reference to 'vtable for clang::driver::Command'
/root/binutils-2.38/install/bin/ld: the vtable symbol may be undefined because the class is missing its key function
divine/libdivine-cc.so: error: undefined reference to 'llvm::identify_magic(llvm::Twine const&, llvm::file_magic&)'
clang-7: error: linker command failed with exit code 1 (use -v to see invocation)
[2/2819] Linking CXX executable tools/runtime-ld
FAILED: tools/runtime-ld
: && /root/divine-4.4.2/_build.toolchain/clangbin/clang++ -isystem /root/divine-4.4.2/dios/libcxxabi/include -isystem /root/divine-4.4.2/dios/libcxx/include -isystem /root/divine-4.4.2/dios/libunwind/include -stdlib=libc++ -nostdinc++ -Wno-unused-command-line-argument -I/usr/local/include -std=c++1z -O3 -g -DNDEBUG -DNVALGRIND -L/root/divine-4.4.2/_build.toolchain/dios/libunwind/src -Wl,-rpath,/root/divine-4.4.2/_build.toolchain/dios/libunwind/src -L/root/divine-4.4.2/_build.toolchain/lib -Wl,-rpath,/root/divine-4.4.2/_build.toolchain/lib -rdynamic tools/CMakeFiles/runtime-ld.dir/runtime-ld.cpp.o -o tools/runtime-ld -Wl,-rpath,/root/divine-4.4.2/_build.release/divine:/root/divine-4.4.2/_build.release/clang/lib:/root/divine-4.4.2/_build.release/llvm/lib:/root/divine-4.4.2/_build.release/lld/ELF:/root/divine-4.4.2/_build.release/lld/Common divine/libdivine-cc.so clang/lib/libclangCodeGen.so clang/lib/libclangBasic.so lld/ELF/liblldELF.so llvm/lib/libLLVMAArch64CodeGen.so llvm/lib/libLLVMAArch64AsmParser.so llvm/lib/libLLVMAArch64Disassembler.so llvm/lib/libLLVMAArch64Desc.so llvm/lib/libLLVMAArch64AsmPrinter.so llvm/lib/libLLVMAArch64Info.so llvm/lib/libLLVMAArch64Utils.so llvm/lib/libLLVMAMDGPUCodeGen.so llvm/lib/libLLVMAMDGPUAsmParser.so llvm/lib/libLLVMAMDGPUDisassembler.so llvm/lib/libLLVMAMDGPUDesc.so llvm/lib/libLLVMAMDGPUAsmPrinter.so llvm/lib/libLLVMAMDGPUInfo.so llvm/lib/libLLVMAMDGPUUtils.so llvm/lib/libLLVMARMCodeGen.so llvm/lib/libLLVMARMAsmParser.so llvm/lib/libLLVMARMDisassembler.so llvm/lib/libLLVMARMDesc.so llvm/lib/libLLVMARMAsmPrinter.so llvm/lib/libLLVMARMInfo.so llvm/lib/libLLVMARMUtils.so llvm/lib/libLLVMBPFCodeGen.so llvm/lib/libLLVMBPFAsmParser.so llvm/lib/libLLVMBPFDesc.so llvm/lib/libLLVMBPFAsmPrinter.so llvm/lib/libLLVMBPFDisassembler.so llvm/lib/libLLVMBPFInfo.so llvm/lib/libLLVMHexagonCodeGen.so llvm/lib/libLLVMHexagonAsmParser.so llvm/lib/libLLVMHexagonDisassembler.so llvm/lib/libLLVMHexagonDesc.so llvm/lib/libLLVMHexagonInfo.so llvm/lib/libLLVMLanaiCodeGen.so llvm/lib/libLLVMLanaiAsmParser.so llvm/lib/libLLVMLanaiDisassembler.so llvm/lib/libLLVMLanaiDesc.so llvm/lib/libLLVMLanaiAsmPrinter.so llvm/lib/libLLVMLanaiInfo.so llvm/lib/libLLVMMipsCodeGen.so llvm/lib/libLLVMMipsAsmParser.so llvm/lib/libLLVMMipsDesc.so llvm/lib/libLLVMMipsAsmPrinter.so llvm/lib/libLLVMMipsDisassembler.so llvm/lib/libLLVMMipsInfo.so llvm/lib/libLLVMMSP430CodeGen.so llvm/lib/libLLVMMSP430Desc.so llvm/lib/libLLVMMSP430AsmPrinter.so llvm/lib/libLLVMMSP430Info.so llvm/lib/libLLVMNVPTXCodeGen.so llvm/lib/libLLVMNVPTXDesc.so llvm/lib/libLLVMNVPTXAsmPrinter.so llvm/lib/libLLVMNVPTXInfo.so llvm/lib/libLLVMPowerPCCodeGen.so llvm/lib/libLLVMPowerPCAsmParser.so llvm/lib/libLLVMPowerPCDesc.so llvm/lib/libLLVMPowerPCAsmPrinter.so llvm/lib/libLLVMPowerPCDisassembler.so llvm/lib/libLLVMPowerPCInfo.so llvm/lib/libLLVMSparcCodeGen.so llvm/lib/libLLVMSparcAsmParser.so llvm/lib/libLLVMSparcDesc.so llvm/lib/libLLVMSparcAsmPrinter.so llvm/lib/libLLVMSparcDisassembler.so llvm/lib/libLLVMSparcInfo.so llvm/lib/libLLVMSystemZCodeGen.so llvm/lib/libLLVMSystemZAsmParser.so llvm/lib/libLLVMSystemZDisassembler.so llvm/lib/libLLVMSystemZDesc.so llvm/lib/libLLVMSystemZAsmPrinter.so llvm/lib/libLLVMSystemZInfo.so llvm/lib/libLLVMX86CodeGen.so llvm/lib/libLLVMX86AsmParser.so llvm/lib/libLLVMX86Desc.so llvm/lib/libLLVMX86AsmPrinter.so llvm/lib/libLLVMX86Disassembler.so llvm/lib/libLLVMX86Info.so llvm/lib/libLLVMX86Utils.so llvm/lib/libLLVMXCoreCodeGen.so llvm/lib/libLLVMXCoreDesc.so llvm/lib/libLLVMXCoreAsmPrinter.so llvm/lib/libLLVMXCoreDisassembler.so llvm/lib/libLLVMXCoreInfo.so llvm/lib/libLLVMIRReader.so llvm/lib/libLLVMLinker.so llvm/lib/libLLVMBitWriter.so llvm/lib/libLLVMTransformUtils.so llvm/lib/libLLVMObject.so llvm/lib/libLLVMBitReader.so llvm/lib/libLLVMCore.so llvm/lib/libLLVMMC.so llvm/lib/libLLVMSupport.so -Wl,-rpath-link,/root/divine-4.4.2/_build.release/clang/lib:/root/divine-4.4.2/_build.release/llvm/lib:/root/divine-4.4.2/_build.release/lld/Common && :
divine/libdivine-cc.so: error: undefined reference to 'clang::CodeGenOptions::CodeGenOptions?()'
divine/libdivine-cc.so: error: undefined reference to 'clang::FrontendAction::shouldEraseOutputFiles()'
divine/libdivine-cc.so: error: undefined reference to 'clang::FrontendAction::FrontendAction?()'
divine/libdivine-cc.so: error: undefined reference to 'clang::FrontendAction::~FrontendAction?()'
divine/libdivine-cc.so: error: undefined reference to 'clang::CompilerInstance::ExecuteAction?(clang::FrontendAction?&)'
divine/libdivine-cc.so: error: undefined reference to 'clang::CompilerInstance::setInvocation(std::2::shared_ptr<clang::CompilerInvocation>)'
divine/libdivine-cc.so: error: undefined reference to 'clang::CompilerInstance::setFileManager(clang::FileManager?*)'
divine/libdivine-cc.so: error: undefined reference to 'clang::CompilerInstance::createDiagnostics(clang::DiagnosticConsumer?*, bool)'
divine/libdivine-cc.so: error: undefined reference to 'clang::CompilerInstance::createSourceManager(clang::FileManager?&)'
divine/libdivine-cc.so: error: undefined reference to 'clang::CompilerInstance::CompilerInstance?(std::2::shared_ptr<clang::PCHContainerOperations>, clang::MemoryBufferCache?*)'
divine/libdivine-cc.so: error: undefined reference to 'clang::CompilerInstance::~CompilerInstance?()'
divine/libdivine-cc.so: error: undefined reference to 'typeinfo for clang::PreprocessorFrontendAction?'
divine/libdivine-cc.so: error: undefined reference to 'typeinfo for llvm::AsmPrinter?'
divine/libdivine-cc.so: error: undefined reference to 'llvm::opt::InputArgList::releaseMemory()'
divine/libdivine-cc.so: error: undefined reference to 'llvm::opt::OptTable::~OptTable?()'
divine/libdivine-cc.so: error: undefined reference to 'clang::driver::Compilation::~Compilation()'
divine/libdivine-cc.so: error: undefined reference to 'clang::driver::Driver::BuildCompilation?(llvm::ArrayRef?<char const*>)'
divine/libdivine-cc.so: error: undefined reference to 'clang::driver::Driver::Driver(llvm::StringRef?, llvm::StringRef?, clang::DiagnosticsEngine?&, llvm::IntrusiveRefCntPtr?<clang::vfs::FileSystem>)'
divine/libdivine-cc.so: error: undefined reference to 'vtable for llvm::opt::InputArgList?'
/root/binutils-2.38/install/bin/ld: the vtable symbol may be undefined because the class is missing its key function
divine/libdivine-cc.so: error: undefined reference to 'vtable for clang::driver::Command'
/root/binutils-2.38/install/bin/ld: the vtable symbol may be undefined because the class is missing its key function
divine/libdivine-cc.so: error: undefined reference to 'llvm::identify_magic(llvm::Twine const&, llvm::file_magic&)'
divine/libdivine-cc.so: error: undefined reference to 'clang::CompilerInvocationBase::~CompilerInvocationBase?()'
divine/libdivine-cc.so: error: undefined reference to 'clang::PCHContainerOperations::PCHContainerOperations()'
divine/libdivine-cc.so: error: undefined reference to 'clang::TextDiagnosticPrinter::~TextDiagnosticPrinter?()'
divine/libdivine-cc.so: error: undefined reference to 'clang::CompilerInvocationBase::CompilerInvocationBase?()'
divine/libdivine-cc.so: error: undefined reference to 'clang::TextDiagnosticPrinter::TextDiagnosticPrinter?(llvm::raw_ostream&, clang::DiagnosticOptions?*, bool)'
divine/libdivine-cc.so: error: undefined reference to 'clang::CompilerInvocation::CreateFromArgs?(clang::CompilerInvocation?&, char const* const*, char const* const*, clang::DiagnosticsEngine?&)'
divine/libdivine-cc.so: error: undefined reference to 'clang::DoPrintPreprocessedInput?(clang::Preprocessor&, llvm::raw_ostream*, clang::PreprocessorOutputOptions? const&)'
divine/libdivine-cc.so: error: undefined reference to 'clang::PreprocessorFrontendAction::CreateASTConsumer(clang::CompilerInstance?&, llvm::StringRef?)'
clang-7: error: linker command failed with exit code 1 (use -v to see invocation)
[3/2819] Calculate version SHA
darcs file list unavailable
ninja: build stopped: subcommand failed.
make[2]: * [Makefile:103: build] Error 1
make[1]: * [Makefile:120: release-divine] Error 2
make: * [Makefile:76: release] Error 2

The "tools/runtime-cc" recipe:

build tools/runtime-cc: CXX_EXECUTABLE_LINKERruntime-cc tools/CMakeFiles/runtime-cc.dir/runtime-cc.cpp.o | divine/libdivine-cc.so clang/lib/libclangCodeGen.so clang/lib/libclangBasic.so lld/ELF/liblldELF.so llvm/lib/libLLVMAArch64CodeGen.so llvm/lib/libLLVMAArch64AsmParser.so llvm/lib/libLLVMAArch64Disassembler.so llvm/lib/libLLVMAArch64Desc.so llvm/lib/libLLVMAArch64AsmPrinter.so llvm/lib/libLLVMAArch64Info.so llvm/lib/libLLVMAArch64Utils.so llvm/lib/libLLVMAMDGPUCodeGen.so llvm/lib/libLLVMAMDGPUAsmParser.so llvm/lib/libLLVMAMDGPUDisassembler.so llvm/lib/libLLVMAMDGPUDesc.so llvm/lib/libLLVMAMDGPUAsmPrinter.so llvm/lib/libLLVMAMDGPUInfo.so llvm/lib/libLLVMAMDGPUUtils.so llvm/lib/libLLVMARMCodeGen.so llvm/lib/libLLVMARMAsmParser.so llvm/lib/libLLVMARMDisassembler.so llvm/lib/libLLVMARMDesc.so llvm/lib/libLLVMARMAsmPrinter.so llvm/lib/libLLVMARMInfo.so llvm/lib/libLLVMARMUtils.so llvm/lib/libLLVMBPFCodeGen.so llvm/lib/libLLVMBPFAsmParser.so llvm/lib/libLLVMBPFDesc.so llvm/lib/libLLVMBPFAsmPrinter.so llvm/lib/libLLVMBPFDisassembler.so llvm/lib/libLLVMBPFInfo.so llvm/lib/libLLVMHexagonCodeGen.so llvm/lib/libLLVMHexagonAsmParser.so llvm/lib/libLLVMHexagonDisassembler.so llvm/lib/libLLVMHexagonDesc.so llvm/lib/libLLVMHexagonInfo.so llvm/lib/libLLVMLanaiCodeGen.so llvm/lib/libLLVMLanaiAsmParser.so llvm/lib/libLLVMLanaiDisassembler.so llvm/lib/libLLVMLanaiDesc.so llvm/lib/libLLVMLanaiAsmPrinter.so llvm/lib/libLLVMLanaiInfo.so llvm/lib/libLLVMMipsCodeGen.so llvm/lib/libLLVMMipsAsmParser.so llvm/lib/libLLVMMipsDesc.so llvm/lib/libLLVMMipsAsmPrinter.so llvm/lib/libLLVMMipsDisassembler.so llvm/lib/libLLVMMipsInfo.so llvm/lib/libLLVMMSP430CodeGen.so llvm/lib/libLLVMMSP430Desc.so llvm/lib/libLLVMMSP430AsmPrinter.so llvm/lib/libLLVMMSP430Info.so llvm/lib/libLLVMNVPTXCodeGen.so llvm/lib/libLLVMNVPTXDesc.so llvm/lib/libLLVMNVPTXAsmPrinter.so llvm/lib/libLLVMNVPTXInfo.so llvm/lib/libLLVMPowerPCCodeGen.so llvm/lib/libLLVMPowerPCAsmParser.so llvm/lib/libLLVMPowerPCDesc.so llvm/lib/libLLVMPowerPCAsmPrinter.so llvm/lib/libLLVMPowerPCDisassembler.so llvm/lib/libLLVMPowerPCInfo.so llvm/lib/libLLVMSparcCodeGen.so llvm/lib/libLLVMSparcAsmParser.so llvm/lib/libLLVMSparcDesc.so llvm/lib/libLLVMSparcAsmPrinter.so llvm/lib/libLLVMSparcDisassembler.so llvm/lib/libLLVMSparcInfo.so llvm/lib/libLLVMSystemZCodeGen.so llvm/lib/libLLVMSystemZAsmParser.so llvm/lib/libLLVMSystemZDisassembler.so llvm/lib/libLLVMSystemZDesc.so llvm/lib/libLLVMSystemZAsmPrinter.so llvm/lib/libLLVMSystemZInfo.so llvm/lib/libLLVMX86CodeGen.so llvm/lib/libLLVMX86AsmParser.so llvm/lib/libLLVMX86Desc.so llvm/lib/libLLVMX86AsmPrinter.so llvm/lib/libLLVMX86Disassembler.so llvm/lib/libLLVMX86Info.so llvm/lib/libLLVMX86Utils.so llvm/lib/libLLVMXCoreCodeGen.so llvm/lib/libLLVMXCoreDesc.so llvm/lib/libLLVMXCoreAsmPrinter.so llvm/lib/libLLVMXCoreDisassembler.so llvm/lib/libLLVMXCoreInfo.so llvm/lib/libLLVMIRReader.so llvm/lib/libLLVMLinker.so llvm/lib/libLLVMBitWriter.so llvm/lib/libLLVMTransformUtils.so llvm/lib/libLLVMObject.so llvm/lib/libLLVMBitReader.so llvm/lib/libLLVMCore.so llvm/lib/libLLVMMC.so llvm/lib/libLLVMSupport.so

clang/bin/clang clang/lib/libclangBasic.so clang/lib/libclangCodeGen.so divine/libdivine-cc.so lld/ELF/liblldELF.so llvm/lib/libLLVMAArch64AsmParser.so llvm/lib/libLLVMAArch64AsmPrinter.so llvm/lib/libLLVMAArch64CodeGen.so llvm/lib/libLLVMAArch64Desc.so llvm/lib/libLLVMAArch64Disassembler.so llvm/lib/libLLVMAArch64Info.so llvm/lib/libLLVMAArch64Utils.so llvm/lib/libLLVMAMDGPUAsmParser.so llvm/lib/libLLVMAMDGPUAsmPrinter.so llvm/lib/libLLVMAMDGPUCodeGen.so llvm/lib/libLLVMAMDGPUDesc.so llvm/lib/libLLVMAMDGPUDisassembler.so llvm/lib/libLLVMAMDGPUInfo.so llvm/lib/libLLVMAMDGPUUtils.so llvm/lib/libLLVMARMAsmParser.so llvm/lib/libLLVMARMAsmPrinter.so llvm/lib/libLLVMARMCodeGen.so llvm/lib/libLLVMARMDesc.so llvm/lib/libLLVMARMDisassembler.so llvm/lib/libLLVMARMInfo.so llvm/lib/libLLVMARMUtils.so llvm/lib/libLLVMBPFAsmParser.so llvm/lib/libLLVMBPFAsmPrinter.so llvm/lib/libLLVMBPFCodeGen.so llvm/lib/libLLVMBPFDesc.so llvm/lib/libLLVMBPFDisassembler.so llvm/lib/libLLVMBPFInfo.so llvm/lib/libLLVMBitReader.so llvm/lib/libLLVMBitWriter.so llvm/lib/libLLVMCore.so llvm/lib/libLLVMHexagonAsmParser.so llvm/lib/libLLVMHexagonCodeGen.so llvm/lib/libLLVMHexagonDesc.so llvm/lib/libLLVMHexagonDisassembler.so llvm/lib/libLLVMHexagonInfo.so llvm/lib/libLLVMIRReader.so llvm/lib/libLLVMLanaiAsmParser.so llvm/lib/libLLVMLanaiAsmPrinter.so llvm/lib/libLLVMLanaiCodeGen.so llvm/lib/libLLVMLanaiDesc.so llvm/lib/libLLVMLanaiDisassembler.so llvm/lib/libLLVMLanaiInfo.so llvm/lib/libLLVMLinker.so llvm/lib/libLLVMMC.so llvm/lib/libLLVMMSP430AsmPrinter.so llvm/lib/libLLVMMSP430CodeGen.so llvm/lib/libLLVMMSP430Desc.so llvm/lib/libLLVMMSP430Info.so llvm/lib/libLLVMMipsAsmParser.so llvm/lib/libLLVMMipsAsmPrinter.so llvm/lib/libLLVMMipsCodeGen.so llvm/lib/libLLVMMipsDesc.so llvm/lib/libLLVMMipsDisassembler.so llvm/lib/libLLVMMipsInfo.so llvm/lib/libLLVMNVPTXAsmPrinter.so llvm/lib/libLLVMNVPTXCodeGen.so llvm/lib/libLLVMNVPTXDesc.so llvm/lib/libLLVMNVPTXInfo.so llvm/lib/libLLVMObject.so llvm/lib/libLLVMPowerPCAsmParser.so llvm/lib/libLLVMPowerPCAsmPrinter.so llvm/lib/libLLVMPowerPCCodeGen.so llvm/lib/libLLVMPowerPCDesc.so llvm/lib/libLLVMPowerPCDisassembler.so llvm/lib/libLLVMPowerPCInfo.so llvm/lib/libLLVMSparcAsmParser.so llvm/lib/libLLVMSparcAsmPrinter.so llvm/lib/libLLVMSparcCodeGen.so llvm/lib/libLLVMSparcDesc.so llvm/lib/libLLVMSparcDisassembler.so llvm/lib/libLLVMSparcInfo.so llvm/lib/libLLVMSupport.so llvm/lib/libLLVMSystemZAsmParser.so llvm/lib/libLLVMSystemZAsmPrinter.so llvm/lib/libLLVMSystemZCodeGen.so llvm/lib/libLLVMSystemZDesc.so llvm/lib/libLLVMSystemZDisassembler.so llvm/lib/libLLVMSystemZInfo.so llvm/lib/libLLVMTransformUtils.so llvm/lib/libLLVMX86AsmParser.so llvm/lib/libLLVMX86AsmPrinter.so llvm/lib/libLLVMX86CodeGen.so llvm/lib/libLLVMX86Desc.so llvm/lib/libLLVMX86Disassembler.so llvm/lib/libLLVMX86Info.so llvm/lib/libLLVMX86Utils.so llvm/lib/libLLVMXCoreAsmPrinter.so llvm/lib/libLLVMXCoreCodeGen.so llvm/lib/libLLVMXCoreDesc.so llvm/lib/libLLVMXCoreDisassembler.so llvm/lib/libLLVMXCoreInfo.so

FLAGS = -isystem /root/divine-4.4.2/dios/libcxxabi/include -isystem /root/divine-4.4.2/dios/libcxx/include -isystem /root/divine-4.4.2/dios/libunwind/include -stdlib=libc++ -nostdinc++ -Wno-unused-command-line-argument -I/usr/local/include -std=c++1z -O3 -g -DNDEBUG -DNVALGRIND
LINK_FLAGS = -L/root/divine-4.4.2/_build.toolchain/dios/libunwind/src -Wl,-rpath,/root/divine-4.4.2/_build.toolchain/dios/libunwind/src -L/root/divine-4.4.2/_build.toolchain/lib -Wl,-rpath,/root/divine-4.4.2/_build.toolchain/lib -rdynamic
LINK_LIBRARIES = -Wl,-rpath,/root/divine-4.4.2/_build.release/divine:/root/divine-4.4.2/_build.release/clang/lib:/root/divine-4.4.2/_build.release/llvm/lib:/root/divine-4.4.2/_build.release/lld/ELF:/root/divine-4.4.2/_build.release/lld/Common divine/libdivine-cc.so clang/lib/libclangCodeGen.so clang/lib/libclangBasic.so lld/ELF/liblldELF.so llvm/lib/libLLVMAArch64CodeGen.so llvm/lib/libLLVMAArch64AsmParser.so llvm/lib/libLLVMAArch64Disassembler.so llvm/lib/libLLVMAArch64Desc.so llvm/lib/libLLVMAArch64AsmPrinter.so llvm/lib/libLLVMAArch64Info.so llvm/lib/libLLVMAArch64Utils.so llvm/lib/libLLVMAMDGPUCodeGen.so llvm/lib/libLLVMAMDGPUAsmParser.so llvm/lib/libLLVMAMDGPUDisassembler.so llvm/lib/libLLVMAMDGPUDesc.so llvm/lib/libLLVMAMDGPUAsmPrinter.so llvm/lib/libLLVMAMDGPUInfo.so llvm/lib/libLLVMAMDGPUUtils.so llvm/lib/libLLVMARMCodeGen.so llvm/lib/libLLVMARMAsmParser.so llvm/lib/libLLVMARMDisassembler.so llvm/lib/libLLVMARMDesc.so llvm/lib/libLLVMARMAsmPrinter.so llvm/lib/libLLVMARMInfo.so llvm/lib/libLLVMARMUtils.so llvm/lib/libLLVMBPFCodeGen.so llvm/lib/libLLVMBPFAsmParser.so llvm/lib/libLLVMBPFDesc.so llvm/lib/libLLVMBPFAsmPrinter.so llvm/lib/libLLVMBPFDisassembler.so llvm/lib/libLLVMBPFInfo.so llvm/lib/libLLVMHexagonCodeGen.so llvm/lib/libLLVMHexagonAsmParser.so llvm/lib/libLLVMHexagonDisassembler.so llvm/lib/libLLVMHexagonDesc.so llvm/lib/libLLVMHexagonInfo.so llvm/lib/libLLVMLanaiCodeGen.so llvm/lib/libLLVMLanaiAsmParser.so llvm/lib/libLLVMLanaiDisassembler.so llvm/lib/libLLVMLanaiDesc.so llvm/lib/libLLVMLanaiAsmPrinter.so llvm/lib/libLLVMLanaiInfo.so llvm/lib/libLLVMMipsCodeGen.so llvm/lib/libLLVMMipsAsmParser.so llvm/lib/libLLVMMipsDesc.so llvm/lib/libLLVMMipsAsmPrinter.so llvm/lib/libLLVMMipsDisassembler.so llvm/lib/libLLVMMipsInfo.so llvm/lib/libLLVMMSP430CodeGen.so llvm/lib/libLLVMMSP430Desc.so llvm/lib/libLLVMMSP430AsmPrinter.so llvm/lib/libLLVMMSP430Info.so llvm/lib/libLLVMNVPTXCodeGen.so llvm/lib/libLLVMNVPTXDesc.so llvm/lib/libLLVMNVPTXAsmPrinter.so llvm/lib/libLLVMNVPTXInfo.so llvm/lib/libLLVMPowerPCCodeGen.so llvm/lib/libLLVMPowerPCAsmParser.so llvm/lib/libLLVMPowerPCDesc.so llvm/lib/libLLVMPowerPCAsmPrinter.so llvm/lib/libLLVMPowerPCDisassembler.so llvm/lib/libLLVMPowerPCInfo.so llvm/lib/libLLVMSparcCodeGen.so llvm/lib/libLLVMSparcAsmParser.so llvm/lib/libLLVMSparcDesc.so llvm/lib/libLLVMSparcAsmPrinter.so llvm/lib/libLLVMSparcDisassembler.so llvm/lib/libLLVMSparcInfo.so llvm/lib/libLLVMSystemZCodeGen.so llvm/lib/libLLVMSystemZAsmParser.so llvm/lib/libLLVMSystemZDisassembler.so llvm/lib/libLLVMSystemZDesc.so llvm/lib/libLLVMSystemZAsmPrinter.so llvm/lib/libLLVMSystemZInfo.so llvm/lib/libLLVMX86CodeGen.so llvm/lib/libLLVMX86AsmParser.so llvm/lib/libLLVMX86Desc.so llvm/lib/libLLVMX86AsmPrinter.so llvm/lib/libLLVMX86Disassembler.so llvm/lib/libLLVMX86Info.so llvm/lib/libLLVMX86Utils.so llvm/lib/libLLVMXCoreCodeGen.so llvm/lib/libLLVMXCoreDesc.so llvm/lib/libLLVMXCoreAsmPrinter.so llvm/lib/libLLVMXCoreDisassembler.so llvm/lib/libLLVMXCoreInfo.so llvm/lib/libLLVMIRReader.so llvm/lib/libLLVMLinker.so llvm/lib/libLLVMBitWriter.so llvm/lib/libLLVMTransformUtils.so llvm/lib/libLLVMObject.so llvm/lib/libLLVMBitReader.so llvm/lib/libLLVMCore.so llvm/lib/libLLVMMC.so llvm/lib/libLLVMSupport.so -Wl,-rpath-link,/root/divine-4.4.2/_build.release/clang/lib:/root/divine-4.4.2/_build.release/llvm/lib:/root/divine-4.4.2/_build.release/lld/Common
OBJECT_DIR = tools/CMakeFiles/runtime-cc.dir
POST_BUILD = :
PRE_LINK = :
TARGET_COMPILE_PDB = tools/CMakeFiles/runtime-cc.dir/
TARGET_FILE = tools/runtime-cc
TARGET_PDB = tools/runtime-cc.pdb

It seem that runtime.cc is not linked with any clang library?

[chenminglei]

I have add some llvm/clang library to link with tools/runtime-ld, tools/runtime-cc and tools/divine, and it make build successful.

What I have chang in file build.ninja is showed below:

line: 110629

build tools/divine: CXX_EXECUTABLE_LINKERdivine tools/CMakeFiles/divine.dir/divine.cpp.o | divine/libdivine-ui.so divine/libdivine-sim.so /usr/lib/x86_64-linux-gnu/libedit.so /usr/lib/x86_64-linux-gnu/libtinfo.so divine/libdivine-ltl.so divine/libdivine-ra.so divine/libdivine-mc.so dios/libdivine-rt.so divine/libdivine-cc.so clang/lib/libclangCodeGen.so clang/lib/libclangBasic.so lld/ELF/liblldELF.so llvm/lib/libLLVMAArch64CodeGen.so llvm/lib/libLLVMAArch64AsmParser.so llvm/lib/libLLVMAArch64Disassembler.so llvm/lib/libLLVMAArch64Desc.so llvm/lib/libLLVMAArch64AsmPrinter.so llvm/lib/libLLVMAArch64Info.so llvm/lib/libLLVMAArch64Utils.so llvm/lib/libLLVMAMDGPUCodeGen.so llvm/lib/libLLVMAMDGPUAsmParser.so llvm/lib/libLLVMAMDGPUDisassembler.so llvm/lib/libLLVMAMDGPUDesc.so llvm/lib/libLLVMAMDGPUAsmPrinter.so llvm/lib/libLLVMAMDGPUInfo.so llvm/lib/libLLVMAMDGPUUtils.so llvm/lib/libLLVMARMCodeGen.so llvm/lib/libLLVMARMAsmParser.so llvm/lib/libLLVMARMDisassembler.so llvm/lib/libLLVMARMDesc.so llvm/lib/libLLVMARMAsmPrinter.so llvm/lib/libLLVMARMInfo.so llvm/lib/libLLVMARMUtils.so llvm/lib/libLLVMBPFCodeGen.so llvm/lib/libLLVMBPFAsmParser.so llvm/lib/libLLVMBPFDesc.so llvm/lib/libLLVMBPFAsmPrinter.so llvm/lib/libLLVMBPFDisassembler.so llvm/lib/libLLVMBPFInfo.so llvm/lib/libLLVMHexagonCodeGen.so llvm/lib/libLLVMHexagonAsmParser.so llvm/lib/libLLVMHexagonDisassembler.so llvm/lib/libLLVMHexagonDesc.so llvm/lib/libLLVMHexagonInfo.so llvm/lib/libLLVMLanaiCodeGen.so llvm/lib/libLLVMLanaiAsmParser.so llvm/lib/libLLVMLanaiDisassembler.so llvm/lib/libLLVMLanaiDesc.so llvm/lib/libLLVMLanaiAsmPrinter.so llvm/lib/libLLVMLanaiInfo.so llvm/lib/libLLVMMipsCodeGen.so llvm/lib/libLLVMMipsAsmParser.so llvm/lib/libLLVMMipsDesc.so llvm/lib/libLLVMMipsAsmPrinter.so llvm/lib/libLLVMMipsDisassembler.so llvm/lib/libLLVMMipsInfo.so llvm/lib/libLLVMMSP430CodeGen.so llvm/lib/libLLVMMSP430Desc.so llvm/lib/libLLVMMSP430AsmPrinter.so llvm/lib/libLLVMMSP430Info.so llvm/lib/libLLVMNVPTXCodeGen.so llvm/lib/libLLVMNVPTXDesc.so llvm/lib/libLLVMNVPTXAsmPrinter.so llvm/lib/libLLVMNVPTXInfo.so llvm/lib/libLLVMPowerPCCodeGen.so llvm/lib/libLLVMPowerPCAsmParser.so llvm/lib/libLLVMPowerPCDesc.so llvm/lib/libLLVMPowerPCAsmPrinter.so llvm/lib/libLLVMPowerPCDisassembler.so llvm/lib/libLLVMPowerPCInfo.so llvm/lib/libLLVMSparcCodeGen.so llvm/lib/libLLVMSparcAsmParser.so llvm/lib/libLLVMSparcDesc.so llvm/lib/libLLVMSparcAsmPrinter.so llvm/lib/libLLVMSparcDisassembler.so llvm/lib/libLLVMSparcInfo.so llvm/lib/libLLVMSystemZCodeGen.so llvm/lib/libLLVMSystemZAsmParser.so llvm/lib/libLLVMSystemZDisassembler.so llvm/lib/libLLVMSystemZDesc.so llvm/lib/libLLVMSystemZAsmPrinter.so llvm/lib/libLLVMSystemZInfo.so llvm/lib/libLLVMX86CodeGen.so llvm/lib/libLLVMX86AsmParser.so llvm/lib/libLLVMX86Desc.so llvm/lib/libLLVMX86AsmPrinter.so llvm/lib/libLLVMX86Disassembler.so llvm/lib/libLLVMX86Info.so llvm/lib/libLLVMX86Utils.so llvm/lib/libLLVMXCoreCodeGen.so llvm/lib/libLLVMXCoreDesc.so llvm/lib/libLLVMXCoreAsmPrinter.so llvm/lib/libLLVMXCoreDisassembler.so llvm/lib/libLLVMXCoreInfo.so divine/libdivine-smt.so /usr/lib/x86_64-linux-gnu/libz3.so stp/lib/libstp.a minisat/libminisat.a cryptoms/liblibcryptominisat5.a divine/libdivine-dbg.so divine/libdivine-vm.so lart/liblart.so llvm/lib/libLLVMIRReader.so llvm/lib/libLLVMLinker.so llvm/lib/libLLVMCodeGen.so llvm/lib/libLLVMBitWriter.so llvm/lib/libLLVMTransformUtils.so llvm/lib/libLLVMObject.so llvm/lib/libLLVMBitReader.so llvm/lib/libLLVMMC.so llvm/lib/libLLVMCore.so llvm/lib/libLLVMSupport.so

clang/bin/clang clang/lib/libclangBasic.so clang/lib/libclangCodeGen.so cryptoms/liblibcryptominisat5.a dios/libdivine-rt.so divine/libdivine-cc.so divine/libdivine-dbg.so divine/libdivine-ltl.so divine/libdivine-mc.so divine/libdivine-ra.so divine/libdivine-sim.so divine/libdivine-smt.so divine/libdivine-ui.so divine/libdivine-vm.so lart/liblart.so lld/ELF/liblldELF.so llvm/lib/libLLVMAArch64AsmParser.so llvm/lib/libLLVMAArch64AsmPrinter.so llvm/lib/libLLVMAArch64CodeGen.so llvm/lib/libLLVMAArch64Desc.so llvm/lib/libLLVMAArch64Disassembler.so llvm/lib/libLLVMAArch64Info.so llvm/lib/libLLVMAArch64Utils.so llvm/lib/libLLVMAMDGPUAsmParser.so llvm/lib/libLLVMAMDGPUAsmPrinter.so llvm/lib/libLLVMAMDGPUCodeGen.so llvm/lib/libLLVMAMDGPUDesc.so llvm/lib/libLLVMAMDGPUDisassembler.so llvm/lib/libLLVMAMDGPUInfo.so llvm/lib/libLLVMAMDGPUUtils.so llvm/lib/libLLVMARMAsmParser.so llvm/lib/libLLVMARMAsmPrinter.so llvm/lib/libLLVMARMCodeGen.so llvm/lib/libLLVMARMDesc.so llvm/lib/libLLVMARMDisassembler.so llvm/lib/libLLVMARMInfo.so llvm/lib/libLLVMARMUtils.so llvm/lib/libLLVMBPFAsmParser.so llvm/lib/libLLVMBPFAsmPrinter.so llvm/lib/libLLVMBPFCodeGen.so llvm/lib/libLLVMBPFDesc.so llvm/lib/libLLVMBPFDisassembler.so llvm/lib/libLLVMBPFInfo.so llvm/lib/libLLVMBitReader.so llvm/lib/libLLVMBitWriter.so llvm/lib/libLLVMCodeGen.so llvm/lib/libLLVMCore.so llvm/lib/libLLVMHexagonAsmParser.so llvm/lib/libLLVMHexagonCodeGen.so llvm/lib/libLLVMHexagonDesc.so llvm/lib/libLLVMHexagonDisassembler.so llvm/lib/libLLVMHexagonInfo.so llvm/lib/libLLVMIRReader.so llvm/lib/libLLVMLanaiAsmParser.so llvm/lib/libLLVMLanaiAsmPrinter.so llvm/lib/libLLVMLanaiCodeGen.so llvm/lib/libLLVMLanaiDesc.so llvm/lib/libLLVMLanaiDisassembler.so llvm/lib/libLLVMLanaiInfo.so llvm/lib/libLLVMLinker.so llvm/lib/libLLVMMC.so llvm/lib/libLLVMMSP430AsmPrinter.so llvm/lib/libLLVMMSP430CodeGen.so llvm/lib/libLLVMMSP430Desc.so llvm/lib/libLLVMMSP430Info.so llvm/lib/libLLVMMipsAsmParser.so llvm/lib/libLLVMMipsAsmPrinter.so llvm/lib/libLLVMMipsCodeGen.so llvm/lib/libLLVMMipsDesc.so llvm/lib/libLLVMMipsDisassembler.so llvm/lib/libLLVMMipsInfo.so llvm/lib/libLLVMNVPTXAsmPrinter.so llvm/lib/libLLVMNVPTXCodeGen.so llvm/lib/libLLVMNVPTXDesc.so llvm/lib/libLLVMNVPTXInfo.so llvm/lib/libLLVMObject.so llvm/lib/libLLVMPowerPCAsmParser.so llvm/lib/libLLVMPowerPCAsmPrinter.so llvm/lib/libLLVMPowerPCCodeGen.so llvm/lib/libLLVMPowerPCDesc.so llvm/lib/libLLVMPowerPCDisassembler.so llvm/lib/libLLVMPowerPCInfo.so llvm/lib/libLLVMSparcAsmParser.so llvm/lib/libLLVMSparcAsmPrinter.so llvm/lib/libLLVMSparcCodeGen.so llvm/lib/libLLVMSparcDesc.so llvm/lib/libLLVMSparcDisassembler.so llvm/lib/libLLVMSparcInfo.so llvm/lib/libLLVMSupport.so llvm/lib/libLLVMSystemZAsmParser.so llvm/lib/libLLVMSystemZAsmPrinter.so llvm/lib/libLLVMSystemZCodeGen.so llvm/lib/libLLVMSystemZDesc.so llvm/lib/libLLVMSystemZDisassembler.so llvm/lib/libLLVMSystemZInfo.so llvm/lib/libLLVMTransformUtils.so llvm/lib/libLLVMX86AsmParser.so llvm/lib/libLLVMX86AsmPrinter.so llvm/lib/libLLVMX86CodeGen.so llvm/lib/libLLVMX86Desc.so llvm/lib/libLLVMX86Disassembler.so llvm/lib/libLLVMX86Info.so llvm/lib/libLLVMX86Utils.so llvm/lib/libLLVMXCoreAsmPrinter.so llvm/lib/libLLVMXCoreCodeGen.so llvm/lib/libLLVMXCoreDesc.so llvm/lib/libLLVMXCoreDisassembler.so llvm/lib/libLLVMXCoreInfo.so minisat/libminisat.a stp/lib/libstp.a

FLAGS = -isystem /root/divine-4.4.2/dios/libcxxabi/include -isystem /root/divine-4.4.2/dios/libcxx/include -isystem /root/divine-4.4.2/dios/libunwind/include -stdlib=libc++ -nostdinc++ -Wno-unused-command-line-argument -I/usr/local/include -std=c++1z -O3 -g -DNDEBUG -DNVALGRIND
LINK_FLAGS = -L/root/divine-4.4.2/_build.toolchain/dios/libunwind/src -Wl,-rpath,/root/divine-4.4.2/_build.toolchain/dios/libunwind/src -L/root/divine-4.4.2/_build.toolchain/lib -Wl,-rpath,/root/divine-4.4.2/_build.toolchain/lib -rdynamic
LINK_LIBRARIES = -Wl,-rpath,/root/divine-4.4.2/_build.release/divine:/root/divine-4.4.2/_build.release/dios:/root/divine-4.4.2/_build.release/clang/lib:/root/divine-4.4.2/_build.release/llvm/lib:/root/divine-4.4.2/_build.release/lld/ELF:/root/divine-4.4.2/_build.release/lld/Common:/root/divine-4.4.2/_build.release/lart: divine/libdivine-ui.so -lpthread -lrt divine/libdivine-sim.so -ledit -ltinfo divine/libdivine-ltl.so divine/libdivine-ra.so divine/libdivine-mc.so dios/libdivine-rt.so divine/libdivine-cc.so clang/lib/libclangCodeGen.so clang/lib/libclangBasic.so clang/lib/libclangFrontend.so clang/lib/libclangDriver.so llvm/lib/libLLVMAsmPrinter.so llvm/lib/libLLVMOption.so llvm/lib/libLLVMBinaryFormat.so lld/ELF/liblldELF.so llvm/lib/libLLVMAArch64CodeGen.so llvm/lib/libLLVMAArch64AsmParser.so llvm/lib/libLLVMAArch64Disassembler.so llvm/lib/libLLVMAArch64Desc.so llvm/lib/libLLVMAArch64AsmPrinter.so llvm/lib/libLLVMAArch64Info.so llvm/lib/libLLVMAArch64Utils.so llvm/lib/libLLVMAMDGPUCodeGen.so llvm/lib/libLLVMAMDGPUAsmParser.so llvm/lib/libLLVMAMDGPUDisassembler.so llvm/lib/libLLVMAMDGPUDesc.so llvm/lib/libLLVMAMDGPUAsmPrinter.so llvm/lib/libLLVMAMDGPUInfo.so llvm/lib/libLLVMAMDGPUUtils.so llvm/lib/libLLVMARMCodeGen.so llvm/lib/libLLVMARMAsmParser.so llvm/lib/libLLVMARMDisassembler.so llvm/lib/libLLVMARMDesc.so llvm/lib/libLLVMARMAsmPrinter.so llvm/lib/libLLVMARMInfo.so llvm/lib/libLLVMARMUtils.so llvm/lib/libLLVMBPFCodeGen.so llvm/lib/libLLVMBPFAsmParser.so llvm/lib/libLLVMBPFDesc.so llvm/lib/libLLVMBPFAsmPrinter.so llvm/lib/libLLVMBPFDisassembler.so llvm/lib/libLLVMBPFInfo.so llvm/lib/libLLVMHexagonCodeGen.so llvm/lib/libLLVMHexagonAsmParser.so llvm/lib/libLLVMHexagonDisassembler.so llvm/lib/libLLVMHexagonDesc.so llvm/lib/libLLVMHexagonInfo.so llvm/lib/libLLVMLanaiCodeGen.so llvm/lib/libLLVMLanaiAsmParser.so llvm/lib/libLLVMLanaiDisassembler.so llvm/lib/libLLVMLanaiDesc.so llvm/lib/libLLVMLanaiAsmPrinter.so llvm/lib/libLLVMLanaiInfo.so llvm/lib/libLLVMMipsCodeGen.so llvm/lib/libLLVMMipsAsmParser.so llvm/lib/libLLVMMipsDesc.so llvm/lib/libLLVMMipsAsmPrinter.so llvm/lib/libLLVMMipsDisassembler.so llvm/lib/libLLVMMipsInfo.so llvm/lib/libLLVMMSP430CodeGen.so llvm/lib/libLLVMMSP430Desc.so llvm/lib/libLLVMMSP430AsmPrinter.so llvm/lib/libLLVMMSP430Info.so llvm/lib/libLLVMNVPTXCodeGen.so llvm/lib/libLLVMNVPTXDesc.so llvm/lib/libLLVMNVPTXAsmPrinter.so llvm/lib/libLLVMNVPTXInfo.so llvm/lib/libLLVMPowerPCCodeGen.so llvm/lib/libLLVMPowerPCAsmParser.so llvm/lib/libLLVMPowerPCDesc.so llvm/lib/libLLVMPowerPCAsmPrinter.so llvm/lib/libLLVMPowerPCDisassembler.so llvm/lib/libLLVMPowerPCInfo.so llvm/lib/libLLVMSparcCodeGen.so llvm/lib/libLLVMSparcAsmParser.so llvm/lib/libLLVMSparcDesc.so llvm/lib/libLLVMSparcAsmPrinter.so llvm/lib/libLLVMSparcDisassembler.so llvm/lib/libLLVMSparcInfo.so llvm/lib/libLLVMSystemZCodeGen.so llvm/lib/libLLVMSystemZAsmParser.so llvm/lib/libLLVMSystemZDisassembler.so llvm/lib/libLLVMSystemZDesc.so llvm/lib/libLLVMSystemZAsmPrinter.so llvm/lib/libLLVMSystemZInfo.so llvm/lib/libLLVMX86CodeGen.so llvm/lib/libLLVMX86AsmParser.so llvm/lib/libLLVMX86Desc.so llvm/lib/libLLVMX86AsmPrinter.so llvm/lib/libLLVMX86Disassembler.so llvm/lib/libLLVMX86Info.so llvm/lib/libLLVMX86Utils.so llvm/lib/libLLVMXCoreCodeGen.so llvm/lib/libLLVMXCoreDesc.so llvm/lib/libLLVMXCoreAsmPrinter.so llvm/lib/libLLVMXCoreDisassembler.so llvm/lib/libLLVMXCoreInfo.so divine/libdivine-smt.so -lz3 stp/lib/libstp.a minisat/libminisat.a cryptoms/liblibcryptominisat5.a divine/libdivine-dbg.so divine/libdivine-vm.so lart/liblart.so llvm/lib/libLLVMIRReader.so llvm/lib/libLLVMLinker.so llvm/lib/libLLVMCodeGen.so llvm/lib/libLLVMBitWriter.so llvm/lib/libLLVMTransformUtils.so llvm/lib/libLLVMObject.so llvm/lib/libLLVMBitReader.so llvm/lib/libLLVMMC.so llvm/lib/libLLVMCore.so llvm/lib/libLLVMSupport.so -Wl,-rpath-link,/root/divine-4.4.2/_build.release/clang/lib:/root/divine-4.4.2/_build.release/llvm/lib:/root/divine-4.4.2/_build.release/lld/Common
OBJECT_DIR = tools/CMakeFiles/divine.dir
POST_BUILD = :
PRE_LINK = :
TARGET_COMPILE_PDB = tools/CMakeFiles/divine.dir/
TARGET_FILE = tools/divine
TARGET_PDB = tools/divine.pdb

line:110667

build tools/runtime-ld: CXX_EXECUTABLE_LINKERruntime-ld tools/CMakeFiles/runtime-ld.dir/runtime-ld.cpp.o | divine/libdivine-cc.so clang/lib/libclangCodeGen.so clang/lib/libclangBasic.so lld/ELF/liblldELF.so llvm/lib/libLLVMAArch64CodeGen.so llvm/lib/libLLVMAArch64AsmParser.so llvm/lib/libLLVMAArch64Disassembler.so llvm/lib/libLLVMAArch64Desc.so llvm/lib/libLLVMAArch64AsmPrinter.so llvm/lib/libLLVMAArch64Info.so llvm/lib/libLLVMAArch64Utils.so llvm/lib/libLLVMAMDGPUCodeGen.so llvm/lib/libLLVMAMDGPUAsmParser.so llvm/lib/libLLVMAMDGPUDisassembler.so llvm/lib/libLLVMAMDGPUDesc.so llvm/lib/libLLVMAMDGPUAsmPrinter.so llvm/lib/libLLVMAMDGPUInfo.so llvm/lib/libLLVMAMDGPUUtils.so llvm/lib/libLLVMARMCodeGen.so llvm/lib/libLLVMARMAsmParser.so llvm/lib/libLLVMARMDisassembler.so llvm/lib/libLLVMARMDesc.so llvm/lib/libLLVMARMAsmPrinter.so llvm/lib/libLLVMARMInfo.so llvm/lib/libLLVMARMUtils.so llvm/lib/libLLVMBPFCodeGen.so llvm/lib/libLLVMBPFAsmParser.so llvm/lib/libLLVMBPFDesc.so llvm/lib/libLLVMBPFAsmPrinter.so llvm/lib/libLLVMBPFDisassembler.so llvm/lib/libLLVMBPFInfo.so llvm/lib/libLLVMHexagonCodeGen.so llvm/lib/libLLVMHexagonAsmParser.so llvm/lib/libLLVMHexagonDisassembler.so llvm/lib/libLLVMHexagonDesc.so llvm/lib/libLLVMHexagonInfo.so llvm/lib/libLLVMLanaiCodeGen.so llvm/lib/libLLVMLanaiAsmParser.so llvm/lib/libLLVMLanaiDisassembler.so llvm/lib/libLLVMLanaiDesc.so llvm/lib/libLLVMLanaiAsmPrinter.so llvm/lib/libLLVMLanaiInfo.so llvm/lib/libLLVMMipsCodeGen.so llvm/lib/libLLVMMipsAsmParser.so llvm/lib/libLLVMMipsDesc.so llvm/lib/libLLVMMipsAsmPrinter.so llvm/lib/libLLVMMipsDisassembler.so llvm/lib/libLLVMMipsInfo.so llvm/lib/libLLVMMSP430CodeGen.so llvm/lib/libLLVMMSP430Desc.so llvm/lib/libLLVMMSP430AsmPrinter.so llvm/lib/libLLVMMSP430Info.so llvm/lib/libLLVMNVPTXCodeGen.so llvm/lib/libLLVMNVPTXDesc.so llvm/lib/libLLVMNVPTXAsmPrinter.so llvm/lib/libLLVMNVPTXInfo.so llvm/lib/libLLVMPowerPCCodeGen.so llvm/lib/libLLVMPowerPCAsmParser.so llvm/lib/libLLVMPowerPCDesc.so llvm/lib/libLLVMPowerPCAsmPrinter.so llvm/lib/libLLVMPowerPCDisassembler.so llvm/lib/libLLVMPowerPCInfo.so llvm/lib/libLLVMSparcCodeGen.so llvm/lib/libLLVMSparcAsmParser.so llvm/lib/libLLVMSparcDesc.so llvm/lib/libLLVMSparcAsmPrinter.so llvm/lib/libLLVMSparcDisassembler.so llvm/lib/libLLVMSparcInfo.so llvm/lib/libLLVMSystemZCodeGen.so llvm/lib/libLLVMSystemZAsmParser.so llvm/lib/libLLVMSystemZDisassembler.so llvm/lib/libLLVMSystemZDesc.so llvm/lib/libLLVMSystemZAsmPrinter.so llvm/lib/libLLVMSystemZInfo.so llvm/lib/libLLVMX86CodeGen.so llvm/lib/libLLVMX86AsmParser.so llvm/lib/libLLVMX86Desc.so llvm/lib/libLLVMX86AsmPrinter.so llvm/lib/libLLVMX86Disassembler.so llvm/lib/libLLVMX86Info.so llvm/lib/libLLVMX86Utils.so llvm/lib/libLLVMXCoreCodeGen.so llvm/lib/libLLVMXCoreDesc.so llvm/lib/libLLVMXCoreAsmPrinter.so llvm/lib/libLLVMXCoreDisassembler.so llvm/lib/libLLVMXCoreInfo.so llvm/lib/libLLVMIRReader.so llvm/lib/libLLVMLinker.so llvm/lib/libLLVMBitWriter.so llvm/lib/libLLVMTransformUtils.so llvm/lib/libLLVMObject.so llvm/lib/libLLVMBitReader.so llvm/lib/libLLVMCore.so llvm/lib/libLLVMMC.so llvm/lib/libLLVMSupport.so

clang/bin/clang clang/lib/libclangBasic.so clang/lib/libclangCodeGen.so divine/libdivine-cc.so lld/ELF/liblldELF.so llvm/lib/libLLVMAArch64AsmParser.so llvm/lib/libLLVMAArch64AsmPrinter.so llvm/lib/libLLVMAArch64CodeGen.so llvm/lib/libLLVMAArch64Desc.so llvm/lib/libLLVMAArch64Disassembler.so llvm/lib/libLLVMAArch64Info.so llvm/lib/libLLVMAArch64Utils.so llvm/lib/libLLVMAMDGPUAsmParser.so llvm/lib/libLLVMAMDGPUAsmPrinter.so llvm/lib/libLLVMAMDGPUCodeGen.so llvm/lib/libLLVMAMDGPUDesc.so llvm/lib/libLLVMAMDGPUDisassembler.so llvm/lib/libLLVMAMDGPUInfo.so llvm/lib/libLLVMAMDGPUUtils.so llvm/lib/libLLVMARMAsmParser.so llvm/lib/libLLVMARMAsmPrinter.so llvm/lib/libLLVMARMCodeGen.so llvm/lib/libLLVMARMDesc.so llvm/lib/libLLVMARMDisassembler.so llvm/lib/libLLVMARMInfo.so llvm/lib/libLLVMARMUtils.so llvm/lib/libLLVMBPFAsmParser.so llvm/lib/libLLVMBPFAsmPrinter.so llvm/lib/libLLVMBPFCodeGen.so llvm/lib/libLLVMBPFDesc.so llvm/lib/libLLVMBPFDisassembler.so llvm/lib/libLLVMBPFInfo.so llvm/lib/libLLVMBitReader.so llvm/lib/libLLVMBitWriter.so llvm/lib/libLLVMCore.so llvm/lib/libLLVMHexagonAsmParser.so llvm/lib/libLLVMHexagonCodeGen.so llvm/lib/libLLVMHexagonDesc.so llvm/lib/libLLVMHexagonDisassembler.so llvm/lib/libLLVMHexagonInfo.so llvm/lib/libLLVMIRReader.so llvm/lib/libLLVMLanaiAsmParser.so llvm/lib/libLLVMLanaiAsmPrinter.so llvm/lib/libLLVMLanaiCodeGen.so llvm/lib/libLLVMLanaiDesc.so llvm/lib/libLLVMLanaiDisassembler.so llvm/lib/libLLVMLanaiInfo.so llvm/lib/libLLVMLinker.so llvm/lib/libLLVMMC.so llvm/lib/libLLVMMSP430AsmPrinter.so llvm/lib/libLLVMMSP430CodeGen.so llvm/lib/libLLVMMSP430Desc.so llvm/lib/libLLVMMSP430Info.so llvm/lib/libLLVMMipsAsmParser.so llvm/lib/libLLVMMipsAsmPrinter.so llvm/lib/libLLVMMipsCodeGen.so llvm/lib/libLLVMMipsDesc.so llvm/lib/libLLVMMipsDisassembler.so llvm/lib/libLLVMMipsInfo.so llvm/lib/libLLVMNVPTXAsmPrinter.so llvm/lib/libLLVMNVPTXCodeGen.so llvm/lib/libLLVMNVPTXDesc.so llvm/lib/libLLVMNVPTXInfo.so llvm/lib/libLLVMObject.so llvm/lib/libLLVMPowerPCAsmParser.so llvm/lib/libLLVMPowerPCAsmPrinter.so llvm/lib/libLLVMPowerPCCodeGen.so llvm/lib/libLLVMPowerPCDesc.so llvm/lib/libLLVMPowerPCDisassembler.so llvm/lib/libLLVMPowerPCInfo.so llvm/lib/libLLVMSparcAsmParser.so llvm/lib/libLLVMSparcAsmPrinter.so llvm/lib/libLLVMSparcCodeGen.so llvm/lib/libLLVMSparcDesc.so llvm/lib/libLLVMSparcDisassembler.so llvm/lib/libLLVMSparcInfo.so llvm/lib/libLLVMSupport.so llvm/lib/libLLVMSystemZAsmParser.so llvm/lib/libLLVMSystemZAsmPrinter.so llvm/lib/libLLVMSystemZCodeGen.so llvm/lib/libLLVMSystemZDesc.so llvm/lib/libLLVMSystemZDisassembler.so llvm/lib/libLLVMSystemZInfo.so llvm/lib/libLLVMTransformUtils.so llvm/lib/libLLVMX86AsmParser.so llvm/lib/libLLVMX86AsmPrinter.so llvm/lib/libLLVMX86CodeGen.so llvm/lib/libLLVMX86Desc.so llvm/lib/libLLVMX86Disassembler.so llvm/lib/libLLVMX86Info.so llvm/lib/libLLVMX86Utils.so llvm/lib/libLLVMXCoreAsmPrinter.so llvm/lib/libLLVMXCoreCodeGen.so llvm/lib/libLLVMXCoreDesc.so llvm/lib/libLLVMXCoreDisassembler.so llvm/lib/libLLVMXCoreInfo.so

FLAGS = -isystem /root/divine-4.4.2/dios/libcxxabi/include -isystem /root/divine-4.4.2/dios/libcxx/include -isystem /root/divine-4.4.2/dios/libunwind/include -stdlib=libc++ -nostdinc++ -Wno-unused-command-line-argument -I/usr/local/include -std=c++1z -O3 -g -DNDEBUG -DNVALGRIND
LINK_FLAGS = -L/root/divine-4.4.2/_build.toolchain/dios/libunwind/src -Wl,-rpath,/root/divine-4.4.2/_build.toolchain/dios/libunwind/src -L/root/divine-4.4.2/_build.toolchain/lib -Wl,-rpath,/root/divine-4.4.2/_build.toolchain/lib -rdynamic
LINK_LIBRARIES = -Wl,-rpath,/root/divine-4.4.2/_build.release/divine:/root/divine-4.4.2/_build.release/clang/lib:/root/divine-4.4.2/_build.release/llvm/lib:/root/divine-4.4.2/_build.release/lld/ELF:/root/divine-4.4.2/_build.release/lld/Common divine/libdivine-cc.so clang/lib/libclangFrontend.so clang/lib/libclangCodeGen.so clang/lib/libclangBasic.so clang/lib/libclangDriver.so llvm/lib/libLLVMAsmPrinter.so llvm/lib/libLLVMOption.so llvm/lib/libLLVMBinaryFormat.so lld/ELF/liblldELF.so llvm/lib/libLLVMAArch64CodeGen.so llvm/lib/libLLVMAArch64AsmParser.so llvm/lib/libLLVMAArch64Disassembler.so llvm/lib/libLLVMAArch64Desc.so llvm/lib/libLLVMAArch64AsmPrinter.so llvm/lib/libLLVMAArch64Info.so llvm/lib/libLLVMAArch64Utils.so llvm/lib/libLLVMAMDGPUCodeGen.so llvm/lib/libLLVMAMDGPUAsmParser.so llvm/lib/libLLVMAMDGPUDisassembler.so llvm/lib/libLLVMAMDGPUDesc.so llvm/lib/libLLVMAMDGPUAsmPrinter.so llvm/lib/libLLVMAMDGPUInfo.so llvm/lib/libLLVMAMDGPUUtils.so llvm/lib/libLLVMARMCodeGen.so llvm/lib/libLLVMARMAsmParser.so llvm/lib/libLLVMARMDisassembler.so llvm/lib/libLLVMARMDesc.so llvm/lib/libLLVMARMAsmPrinter.so llvm/lib/libLLVMARMInfo.so llvm/lib/libLLVMARMUtils.so llvm/lib/libLLVMBPFCodeGen.so llvm/lib/libLLVMBPFAsmParser.so llvm/lib/libLLVMBPFDesc.so llvm/lib/libLLVMBPFAsmPrinter.so llvm/lib/libLLVMBPFDisassembler.so llvm/lib/libLLVMBPFInfo.so llvm/lib/libLLVMHexagonCodeGen.so llvm/lib/libLLVMHexagonAsmParser.so llvm/lib/libLLVMHexagonDisassembler.so llvm/lib/libLLVMHexagonDesc.so llvm/lib/libLLVMHexagonInfo.so llvm/lib/libLLVMLanaiCodeGen.so llvm/lib/libLLVMLanaiAsmParser.so llvm/lib/libLLVMLanaiDisassembler.so llvm/lib/libLLVMLanaiDesc.so llvm/lib/libLLVMLanaiAsmPrinter.so llvm/lib/libLLVMLanaiInfo.so llvm/lib/libLLVMMipsCodeGen.so llvm/lib/libLLVMMipsAsmParser.so llvm/lib/libLLVMMipsDesc.so llvm/lib/libLLVMMipsAsmPrinter.so llvm/lib/libLLVMMipsDisassembler.so llvm/lib/libLLVMMipsInfo.so llvm/lib/libLLVMMSP430CodeGen.so llvm/lib/libLLVMMSP430Desc.so llvm/lib/libLLVMMSP430AsmPrinter.so llvm/lib/libLLVMMSP430Info.so llvm/lib/libLLVMNVPTXCodeGen.so llvm/lib/libLLVMNVPTXDesc.so llvm/lib/libLLVMNVPTXAsmPrinter.so llvm/lib/libLLVMNVPTXInfo.so llvm/lib/libLLVMPowerPCCodeGen.so llvm/lib/libLLVMPowerPCAsmParser.so llvm/lib/libLLVMPowerPCDesc.so llvm/lib/libLLVMPowerPCAsmPrinter.so llvm/lib/libLLVMPowerPCDisassembler.so llvm/lib/libLLVMPowerPCInfo.so llvm/lib/libLLVMSparcCodeGen.so llvm/lib/libLLVMSparcAsmParser.so llvm/lib/libLLVMSparcDesc.so llvm/lib/libLLVMSparcAsmPrinter.so llvm/lib/libLLVMSparcDisassembler.so llvm/lib/libLLVMSparcInfo.so llvm/lib/libLLVMSystemZCodeGen.so llvm/lib/libLLVMSystemZAsmParser.so llvm/lib/libLLVMSystemZDisassembler.so llvm/lib/libLLVMSystemZDesc.so llvm/lib/libLLVMSystemZAsmPrinter.so llvm/lib/libLLVMSystemZInfo.so llvm/lib/libLLVMX86CodeGen.so llvm/lib/libLLVMX86AsmParser.so llvm/lib/libLLVMX86Desc.so llvm/lib/libLLVMX86AsmPrinter.so llvm/lib/libLLVMX86Disassembler.so llvm/lib/libLLVMX86Info.so llvm/lib/libLLVMX86Utils.so llvm/lib/libLLVMXCoreCodeGen.so llvm/lib/libLLVMXCoreDesc.so llvm/lib/libLLVMXCoreAsmPrinter.so llvm/lib/libLLVMXCoreDisassembler.so llvm/lib/libLLVMXCoreInfo.so llvm/lib/libLLVMIRReader.so llvm/lib/libLLVMLinker.so llvm/lib/libLLVMBitWriter.so llvm/lib/libLLVMTransformUtils.so llvm/lib/libLLVMObject.so llvm/lib/libLLVMBitReader.so llvm/lib/libLLVMCore.so llvm/lib/libLLVMMC.so llvm/lib/libLLVMSupport.so -Wl,-rpath-link,/root/divine-4.4.2/_build.release/clang/lib:/root/divine-4.4.2/_build.release/llvm/lib:/root/divine-4.4.2/_build.release/lld/Common
OBJECT_DIR = tools/CMakeFiles/runtime-ld.dir
POST_BUILD = :
PRE_LINK = :
TARGET_COMPILE_PDB = tools/CMakeFiles/runtime-ld.dir/
TARGET_FILE = tools/runtime-ld
TARGET_PDB = tools/runtime-ld.pdb

line:110937

build tools/runtime-cc: CXX_EXECUTABLE_LINKERruntime-cc tools/CMakeFiles/runtime-cc.dir/runtime-cc.cpp.o | divine/libdivine-cc.so clang/lib/libclangCodeGen.so clang/lib/libclangBasic.so lld/ELF/liblldELF.so llvm/lib/libLLVMAArch64CodeGen.so llvm/lib/libLLVMAArch64AsmParser.so llvm/lib/libLLVMAArch64Disassembler.so llvm/lib/libLLVMAArch64Desc.so llvm/lib/libLLVMAArch64AsmPrinter.so llvm/lib/libLLVMAArch64Info.so llvm/lib/libLLVMAArch64Utils.so llvm/lib/libLLVMAMDGPUCodeGen.so llvm/lib/libLLVMAMDGPUAsmParser.so llvm/lib/libLLVMAMDGPUDisassembler.so llvm/lib/libLLVMAMDGPUDesc.so llvm/lib/libLLVMAMDGPUAsmPrinter.so llvm/lib/libLLVMAMDGPUInfo.so llvm/lib/libLLVMAMDGPUUtils.so llvm/lib/libLLVMARMCodeGen.so llvm/lib/libLLVMARMAsmParser.so llvm/lib/libLLVMARMDisassembler.so llvm/lib/libLLVMARMDesc.so llvm/lib/libLLVMARMAsmPrinter.so llvm/lib/libLLVMARMInfo.so llvm/lib/libLLVMARMUtils.so llvm/lib/libLLVMBPFCodeGen.so llvm/lib/libLLVMBPFAsmParser.so llvm/lib/libLLVMBPFDesc.so llvm/lib/libLLVMBPFAsmPrinter.so llvm/lib/libLLVMBPFDisassembler.so llvm/lib/libLLVMBPFInfo.so llvm/lib/libLLVMHexagonCodeGen.so llvm/lib/libLLVMHexagonAsmParser.so llvm/lib/libLLVMHexagonDisassembler.so llvm/lib/libLLVMHexagonDesc.so llvm/lib/libLLVMHexagonInfo.so llvm/lib/libLLVMLanaiCodeGen.so llvm/lib/libLLVMLanaiAsmParser.so llvm/lib/libLLVMLanaiDisassembler.so llvm/lib/libLLVMLanaiDesc.so llvm/lib/libLLVMLanaiAsmPrinter.so llvm/lib/libLLVMLanaiInfo.so llvm/lib/libLLVMMipsCodeGen.so llvm/lib/libLLVMMipsAsmParser.so llvm/lib/libLLVMMipsDesc.so llvm/lib/libLLVMMipsAsmPrinter.so llvm/lib/libLLVMMipsDisassembler.so llvm/lib/libLLVMMipsInfo.so llvm/lib/libLLVMMSP430CodeGen.so llvm/lib/libLLVMMSP430Desc.so llvm/lib/libLLVMMSP430AsmPrinter.so llvm/lib/libLLVMMSP430Info.so llvm/lib/libLLVMNVPTXCodeGen.so llvm/lib/libLLVMNVPTXDesc.so llvm/lib/libLLVMNVPTXAsmPrinter.so llvm/lib/libLLVMNVPTXInfo.so llvm/lib/libLLVMPowerPCCodeGen.so llvm/lib/libLLVMPowerPCAsmParser.so llvm/lib/libLLVMPowerPCDesc.so llvm/lib/libLLVMPowerPCAsmPrinter.so llvm/lib/libLLVMPowerPCDisassembler.so llvm/lib/libLLVMPowerPCInfo.so llvm/lib/libLLVMSparcCodeGen.so llvm/lib/libLLVMSparcAsmParser.so llvm/lib/libLLVMSparcDesc.so llvm/lib/libLLVMSparcAsmPrinter.so llvm/lib/libLLVMSparcDisassembler.so llvm/lib/libLLVMSparcInfo.so llvm/lib/libLLVMSystemZCodeGen.so llvm/lib/libLLVMSystemZAsmParser.so llvm/lib/libLLVMSystemZDisassembler.so llvm/lib/libLLVMSystemZDesc.so llvm/lib/libLLVMSystemZAsmPrinter.so llvm/lib/libLLVMSystemZInfo.so llvm/lib/libLLVMX86CodeGen.so llvm/lib/libLLVMX86AsmParser.so llvm/lib/libLLVMX86Desc.so llvm/lib/libLLVMX86AsmPrinter.so llvm/lib/libLLVMX86Disassembler.so llvm/lib/libLLVMX86Info.so llvm/lib/libLLVMX86Utils.so llvm/lib/libLLVMXCoreCodeGen.so llvm/lib/libLLVMXCoreDesc.so llvm/lib/libLLVMXCoreAsmPrinter.so llvm/lib/libLLVMXCoreDisassembler.so llvm/lib/libLLVMXCoreInfo.so llvm/lib/libLLVMIRReader.so llvm/lib/libLLVMLinker.so llvm/lib/libLLVMBitWriter.so llvm/lib/libLLVMTransformUtils.so llvm/lib/libLLVMObject.so llvm/lib/libLLVMBitReader.so llvm/lib/libLLVMCore.so llvm/lib/libLLVMMC.so llvm/lib/libLLVMSupport.so

clang/bin/clang clang/lib/libclangBasic.so clang/lib/libclangCodeGen.so divine/libdivine-cc.so lld/ELF/liblldELF.so llvm/lib/libLLVMAArch64AsmParser.so llvm/lib/libLLVMAArch64AsmPrinter.so llvm/lib/libLLVMAArch64CodeGen.so llvm/lib/libLLVMAArch64Desc.so llvm/lib/libLLVMAArch64Disassembler.so llvm/lib/libLLVMAArch64Info.so llvm/lib/libLLVMAArch64Utils.so llvm/lib/libLLVMAMDGPUAsmParser.so llvm/lib/libLLVMAMDGPUAsmPrinter.so llvm/lib/libLLVMAMDGPUCodeGen.so llvm/lib/libLLVMAMDGPUDesc.so llvm/lib/libLLVMAMDGPUDisassembler.so llvm/lib/libLLVMAMDGPUInfo.so llvm/lib/libLLVMAMDGPUUtils.so llvm/lib/libLLVMARMAsmParser.so llvm/lib/libLLVMARMAsmPrinter.so llvm/lib/libLLVMARMCodeGen.so llvm/lib/libLLVMARMDesc.so llvm/lib/libLLVMARMDisassembler.so llvm/lib/libLLVMARMInfo.so llvm/lib/libLLVMARMUtils.so llvm/lib/libLLVMBPFAsmParser.so llvm/lib/libLLVMBPFAsmPrinter.so llvm/lib/libLLVMBPFCodeGen.so llvm/lib/libLLVMBPFDesc.so llvm/lib/libLLVMBPFDisassembler.so llvm/lib/libLLVMBPFInfo.so llvm/lib/libLLVMBitReader.so llvm/lib/libLLVMBitWriter.so llvm/lib/libLLVMCore.so llvm/lib/libLLVMHexagonAsmParser.so llvm/lib/libLLVMHexagonCodeGen.so llvm/lib/libLLVMHexagonDesc.so llvm/lib/libLLVMHexagonDisassembler.so llvm/lib/libLLVMHexagonInfo.so llvm/lib/libLLVMIRReader.so llvm/lib/libLLVMLanaiAsmParser.so llvm/lib/libLLVMLanaiAsmPrinter.so llvm/lib/libLLVMLanaiCodeGen.so llvm/lib/libLLVMLanaiDesc.so llvm/lib/libLLVMLanaiDisassembler.so llvm/lib/libLLVMLanaiInfo.so llvm/lib/libLLVMLinker.so llvm/lib/libLLVMMC.so llvm/lib/libLLVMMSP430AsmPrinter.so llvm/lib/libLLVMMSP430CodeGen.so llvm/lib/libLLVMMSP430Desc.so llvm/lib/libLLVMMSP430Info.so llvm/lib/libLLVMMipsAsmParser.so llvm/lib/libLLVMMipsAsmPrinter.so llvm/lib/libLLVMMipsCodeGen.so llvm/lib/libLLVMMipsDesc.so llvm/lib/libLLVMMipsDisassembler.so llvm/lib/libLLVMMipsInfo.so llvm/lib/libLLVMNVPTXAsmPrinter.so llvm/lib/libLLVMNVPTXCodeGen.so llvm/lib/libLLVMNVPTXDesc.so llvm/lib/libLLVMNVPTXInfo.so llvm/lib/libLLVMObject.so llvm/lib/libLLVMPowerPCAsmParser.so llvm/lib/libLLVMPowerPCAsmPrinter.so llvm/lib/libLLVMPowerPCCodeGen.so llvm/lib/libLLVMPowerPCDesc.so llvm/lib/libLLVMPowerPCDisassembler.so llvm/lib/libLLVMPowerPCInfo.so llvm/lib/libLLVMSparcAsmParser.so llvm/lib/libLLVMSparcAsmPrinter.so llvm/lib/libLLVMSparcCodeGen.so llvm/lib/libLLVMSparcDesc.so llvm/lib/libLLVMSparcDisassembler.so llvm/lib/libLLVMSparcInfo.so llvm/lib/libLLVMSupport.so llvm/lib/libLLVMSystemZAsmParser.so llvm/lib/libLLVMSystemZAsmPrinter.so llvm/lib/libLLVMSystemZCodeGen.so llvm/lib/libLLVMSystemZDesc.so llvm/lib/libLLVMSystemZDisassembler.so llvm/lib/libLLVMSystemZInfo.so llvm/lib/libLLVMTransformUtils.so llvm/lib/libLLVMX86AsmParser.so llvm/lib/libLLVMX86AsmPrinter.so llvm/lib/libLLVMX86CodeGen.so llvm/lib/libLLVMX86Desc.so llvm/lib/libLLVMX86Disassembler.so llvm/lib/libLLVMX86Info.so llvm/lib/libLLVMX86Utils.so llvm/lib/libLLVMXCoreAsmPrinter.so llvm/lib/libLLVMXCoreCodeGen.so llvm/lib/libLLVMXCoreDesc.so llvm/lib/libLLVMXCoreDisassembler.so llvm/lib/libLLVMXCoreInfo.so

FLAGS = -isystem /root/divine-4.4.2/dios/libcxxabi/include -isystem /root/divine-4.4.2/dios/libcxx/include -isystem /root/divine-4.4.2/dios/libunwind/include -stdlib=libc++ -nostdinc++ -Wno-unused-command-line-argument -I/usr/local/include -std=c++1z -O3 -g -DNDEBUG -DNVALGRIND
LINK_FLAGS = -L/root/divine-4.4.2/_build.toolchain/dios/libunwind/src -Wl,-rpath,/root/divine-4.4.2/_build.toolchain/dios/libunwind/src -L/root/divine-4.4.2/_build.toolchain/lib -Wl,-rpath,/root/divine-4.4.2/_build.toolchain/lib -rdynamic
LINK_LIBRARIES = -Wl,-rpath,/root/divine-4.4.2/_build.release/divine:/root/divine-4.4.2/_build.release/clang/lib:/root/divine-4.4.2/_build.release/llvm/lib:/root/divine-4.4.2/_build.release/lld/ELF:/root/divine-4.4.2/_build.release/lld/Common divine/libdivine-cc.so clang/lib/libclangCodeGen.so clang/lib/libclangBasic.so clang/lib/libclangFrontend.so clang/lib/libclangDriver.so lld/ELF/liblldELF.so llvm/lib/libLLVMAArch64CodeGen.so llvm/lib/libLLVMAArch64AsmParser.so llvm/lib/libLLVMAArch64Disassembler.so llvm/lib/libLLVMAArch64Desc.so llvm/lib/libLLVMAArch64AsmPrinter.so llvm/lib/libLLVMAArch64Info.so llvm/lib/libLLVMAArch64Utils.so llvm/lib/libLLVMAMDGPUCodeGen.so llvm/lib/libLLVMAMDGPUAsmParser.so llvm/lib/libLLVMAMDGPUDisassembler.so llvm/lib/libLLVMAMDGPUDesc.so llvm/lib/libLLVMAMDGPUAsmPrinter.so llvm/lib/libLLVMAMDGPUInfo.so llvm/lib/libLLVMAMDGPUUtils.so llvm/lib/libLLVMARMCodeGen.so llvm/lib/libLLVMARMAsmParser.so llvm/lib/libLLVMARMDisassembler.so llvm/lib/libLLVMARMDesc.so llvm/lib/libLLVMARMAsmPrinter.so llvm/lib/libLLVMARMInfo.so llvm/lib/libLLVMARMUtils.so llvm/lib/libLLVMBPFCodeGen.so llvm/lib/libLLVMBPFAsmParser.so llvm/lib/libLLVMBPFDesc.so llvm/lib/libLLVMBPFAsmPrinter.so llvm/lib/libLLVMBPFDisassembler.so llvm/lib/libLLVMBPFInfo.so llvm/lib/libLLVMHexagonCodeGen.so llvm/lib/libLLVMHexagonAsmParser.so llvm/lib/libLLVMHexagonDisassembler.so llvm/lib/libLLVMHexagonDesc.so llvm/lib/libLLVMHexagonInfo.so llvm/lib/libLLVMLanaiCodeGen.so llvm/lib/libLLVMLanaiAsmParser.so llvm/lib/libLLVMLanaiDisassembler.so llvm/lib/libLLVMLanaiDesc.so llvm/lib/libLLVMLanaiAsmPrinter.so llvm/lib/libLLVMLanaiInfo.so llvm/lib/libLLVMMipsCodeGen.so llvm/lib/libLLVMMipsAsmParser.so llvm/lib/libLLVMMipsDesc.so llvm/lib/libLLVMMipsAsmPrinter.so llvm/lib/libLLVMMipsDisassembler.so llvm/lib/libLLVMMipsInfo.so llvm/lib/libLLVMMSP430CodeGen.so llvm/lib/libLLVMMSP430Desc.so llvm/lib/libLLVMMSP430AsmPrinter.so llvm/lib/libLLVMMSP430Info.so llvm/lib/libLLVMNVPTXCodeGen.so llvm/lib/libLLVMNVPTXDesc.so llvm/lib/libLLVMNVPTXAsmPrinter.so llvm/lib/libLLVMNVPTXInfo.so llvm/lib/libLLVMPowerPCCodeGen.so llvm/lib/libLLVMPowerPCAsmParser.so llvm/lib/libLLVMPowerPCDesc.so llvm/lib/libLLVMPowerPCAsmPrinter.so llvm/lib/libLLVMPowerPCDisassembler.so llvm/lib/libLLVMPowerPCInfo.so llvm/lib/libLLVMSparcCodeGen.so llvm/lib/libLLVMSparcAsmParser.so llvm/lib/libLLVMSparcDesc.so llvm/lib/libLLVMSparcAsmPrinter.so llvm/lib/libLLVMSparcDisassembler.so llvm/lib/libLLVMSparcInfo.so llvm/lib/libLLVMSystemZCodeGen.so llvm/lib/libLLVMSystemZAsmParser.so llvm/lib/libLLVMSystemZDisassembler.so llvm/lib/libLLVMSystemZDesc.so llvm/lib/libLLVMSystemZAsmPrinter.so llvm/lib/libLLVMSystemZInfo.so llvm/lib/libLLVMX86CodeGen.so llvm/lib/libLLVMX86AsmParser.so llvm/lib/libLLVMX86Desc.so llvm/lib/libLLVMX86AsmPrinter.so llvm/lib/libLLVMX86Disassembler.so llvm/lib/libLLVMX86Info.so llvm/lib/libLLVMX86Utils.so llvm/lib/libLLVMXCoreCodeGen.so llvm/lib/libLLVMXCoreDesc.so llvm/lib/libLLVMXCoreAsmPrinter.so llvm/lib/libLLVMXCoreDisassembler.so llvm/lib/libLLVMXCoreInfo.so llvm/lib/libLLVMIRReader.so llvm/lib/libLLVMLinker.so llvm/lib/libLLVMBitWriter.so llvm/lib/libLLVMTransformUtils.so llvm/lib/libLLVMObject.so llvm/lib/libLLVMBitReader.so llvm/lib/libLLVMCore.so llvm/lib/libLLVMMC.so llvm/lib/libLLVMSupport.so llvm/lib/libLLVMOption.so llvm/lib/libLLVMAsmPrinter.so llvm/lib/libLLVMBinaryFormat.so -Wl,-rpath-link,/root/divine-4.4.2/_build.release/clang/lib:/root/divine-4.4.2/_build.release/llvm/lib:/root/divine-4.4.2/_build.release/lld/Common
OBJECT_DIR = tools/CMakeFiles/runtime-cc.dir
POST_BUILD = :
PRE_LINK = :
TARGET_COMPILE_PDB = tools/CMakeFiles/runtime-cc.dir/
TARGET_FILE = tools/runtime-cc
TARGET_PDB = tools/runtime-cc.pdb

My modification might not be most correct, but it works! You take it into consider to add some prerequisites and link libraries.