Ticket #71: error

[5996/5996] Linking CXX executable tools/divine
FAILED: tools/divine 
: && /home/jamartis/repos/Fedora/divine/divine-4.3.2/_build.toolchain/clang//bin/clang++  -isystem /home/jamartis/repos/Fedora/divine/divine-4.3.2/dios/libcxxabi/include -isystem /home/jamartis/repos/Fedora/divine/divine-4.3.2/dios/libcxx/include -isystem /home/jamartis/repos/Fedora/divine/divine-4.3.2/dios/libunwind/include -stdlib=libc++ -nostdinc++ -Wno-unused-command-line-argument -I/usr/local/include -std=c++1z -O3 -g -DNDEBUG -DNVALGRIND  -L/home/jamartis/repos/Fedora/divine/divine-4.3.2/_build.toolchain/dios/libunwind/src -Wl,-rpath,/home/jamartis/repos/Fedora/divine/divine-4.3.2/_build.toolchain/dios/libunwind/src -L/home/jamartis/repos/Fedora/divine/divine-4.3.2/_build.toolchain/lib -Wl,-rpath,/home/jamartis/repos/Fedora/divine/divine-4.3.2/_build.toolchain/lib    -rdynamic tools/CMakeFiles/divine.dir/divine.cpp.o  -o tools/divine  -Wl,-rpath,/home/jamartis/repos/Fedora/divine/divine-4.3.2/_build.release/divine:/home/jamartis/repos/Fedora/divine/divine-4.3.2/_build.release/dios:/home/jamartis/repos/Fedora/divine/divine-4.3.2/_build.release/llvm/lib:/home/jamartis/repos/Fedora/divine/divine-4.3.2/_build.release/clang/lib:/home/jamartis/repos/Fedora/divine/divine-4.3.2/_build.release/lld/ELF:/home/jamartis/repos/Fedora/divine/divine-4.3.2/_build.release/lart: divine/libdivine-ui.so -lpthread -lrt divine/libdivine-sim.so -ledit -ltinfo divine/libdivine-mc.so dios/libdivine-rt.so divine/libdivine-cc.so llvm/lib/libLLVMObject.so llvm/lib/libLLVMTransformUtils.so llvm/lib/libLLVMAArch64CodeGen.so llvm/lib/libLLVMAArch64AsmParser.so llvm/lib/libLLVMAArch64AsmPrinter.so llvm/lib/libLLVMAArch64Desc.so llvm/lib/libLLVMAArch64Disassembler.so llvm/lib/libLLVMAArch64Info.so llvm/lib/libLLVMAArch64Utils.so llvm/lib/libLLVMAMDGPUCodeGen.so llvm/lib/libLLVMAMDGPUAsmParser.so llvm/lib/libLLVMAMDGPUAsmPrinter.so llvm/lib/libLLVMAMDGPUDesc.so llvm/lib/libLLVMAMDGPUDisassembler.so llvm/lib/libLLVMAMDGPUInfo.so llvm/lib/libLLVMAMDGPUUtils.so llvm/lib/libLLVMARMCodeGen.so llvm/lib/libLLVMARMAsmParser.so llvm/lib/libLLVMARMAsmPrinter.so llvm/lib/libLLVMARMDesc.so llvm/lib/libLLVMARMDisassembler.so llvm/lib/libLLVMARMInfo.so llvm/lib/libLLVMARMUtils.so llvm/lib/libLLVMBPFCodeGen.so llvm/lib/libLLVMBPFAsmParser.so llvm/lib/libLLVMBPFAsmPrinter.so llvm/lib/libLLVMBPFDesc.so llvm/lib/libLLVMBPFDisassembler.so llvm/lib/libLLVMBPFInfo.so llvm/lib/libLLVMHexagonCodeGen.so llvm/lib/libLLVMHexagonAsmParser.so llvm/lib/libLLVMHexagonDesc.so llvm/lib/libLLVMHexagonDisassembler.so llvm/lib/libLLVMHexagonInfo.so llvm/lib/libLLVMLanaiCodeGen.so llvm/lib/libLLVMLanaiAsmParser.so llvm/lib/libLLVMLanaiAsmPrinter.so llvm/lib/libLLVMLanaiDesc.so llvm/lib/libLLVMLanaiDisassembler.so llvm/lib/libLLVMLanaiInfo.so llvm/lib/libLLVMMipsCodeGen.so llvm/lib/libLLVMMipsAsmParser.so llvm/lib/libLLVMMipsAsmPrinter.so llvm/lib/libLLVMMipsDesc.so llvm/lib/libLLVMMipsDisassembler.so llvm/lib/libLLVMMipsInfo.so llvm/lib/libLLVMMSP430CodeGen.so llvm/lib/libLLVMMSP430AsmPrinter.so llvm/lib/libLLVMMSP430Desc.so llvm/lib/libLLVMMSP430Info.so llvm/lib/libLLVMNVPTXCodeGen.so llvm/lib/libLLVMNVPTXAsmPrinter.so llvm/lib/libLLVMNVPTXDesc.so llvm/lib/libLLVMNVPTXInfo.so llvm/lib/libLLVMPowerPCCodeGen.so llvm/lib/libLLVMPowerPCAsmParser.so llvm/lib/libLLVMPowerPCAsmPrinter.so llvm/lib/libLLVMPowerPCDesc.so llvm/lib/libLLVMPowerPCDisassembler.so llvm/lib/libLLVMPowerPCInfo.so llvm/lib/libLLVMSparcCodeGen.so llvm/lib/libLLVMSparcAsmParser.so llvm/lib/libLLVMSparcAsmPrinter.so llvm/lib/libLLVMSparcDesc.so llvm/lib/libLLVMSparcDisassembler.so llvm/lib/libLLVMSparcInfo.so llvm/lib/libLLVMSystemZCodeGen.so llvm/lib/libLLVMSystemZAsmParser.so llvm/lib/libLLVMSystemZAsmPrinter.so llvm/lib/libLLVMSystemZDesc.so llvm/lib/libLLVMSystemZDisassembler.so llvm/lib/libLLVMSystemZInfo.so llvm/lib/libLLVMX86CodeGen.so llvm/lib/libLLVMX86AsmParser.so llvm/lib/libLLVMX86AsmPrinter.so llvm/lib/libLLVMX86Desc.so llvm/lib/libLLVMX86Disassembler.so llvm/lib/libLLVMX86Info.so llvm/lib/libLLVMX86Utils.so llvm/lib/libLLVMXCoreCodeGen.so llvm/lib/libLLVMXCoreAsmPrinter.so llvm/lib/libLLVMXCoreDesc.so llvm/lib/libLLVMXCoreDisassembler.so llvm/lib/libLLVMXCoreInfo.so clang/lib/libclangBasic.so clang/lib/libclangCodeGen.so lld/ELF/liblldELF.so divine/libdivine-dbg.so llvm/lib/libLLVMBitReader.so divine/libdivine-vm.so divine/libdivine-smt.so stp/lib/libstp.a minisat/libminisat.a cryptoms/liblibcryptominisat5.a lart/liblart.so llvm/lib/libLLVMCore.so llvm/lib/libLLVMSupport.so llvm/lib/libLLVMMC.so llvm/lib/libLLVMIRReader.so llvm/lib/libLLVMBitWriter.so llvm/lib/libLLVMLinker.so llvm/lib/libLLVMCodeGen.so divine/libdivine-ltl.so && :
/usr/bin/ld: divine/libdivine-ui.so: undefined reference to `divine::vm::ctx::debug_i<divine::vm::compose<>::module<divine::vm::compose<divine::vm::compose<divine::vm::ctx::m<divine::vm::ctx::track_loops_i>, divine::vm::ctx::m<divine::vm::ctx::track_nothing_i> >, divine::vm::compose<divine::vm::ctx::m<divine::vm::ctx::track_nothing_i>, divine::vm::ctx::m<divine::vm::ctx::snapshot_i>, divine::vm::ctx::m<divine::vm::ctx::ptr2i_i>, divine::vm::ctx::base<divine::vm::Program, divine::vm::CowHeap> > >::module<divine::vm::empty> > >::leave_debug()'
clang-7: error: linker command failed with exit code 1 (use -v to see invocation)
ninja: build stopped: subcommand failed.
make[2]: *** [Makefile:101: build] Error 1
make[1]: *** [Makefile:118: release-divine] Error 2
make: *** [Makefile:74: release] Error 2