search for: martinnowack

...hat referring to [3]? If so that's not particularly helpful as I'd like an API I can use to do the archive linking rather than having to invoke an external program (i.e. my system's linker). - For "forthcoming LLVM linker", is that referring to lld [4]? [1] https://github.com/MartinNowack/klee/blob/51d4a2b34511a8d6b00b16a50f90b0bc1a793a69/lib/Module/ModuleUtil.cpp#L61 [2] http://llvm.org/docs/doxygen/html/classllvm_1_1Linker.html#a244da8c7e9789b1b675b9741bd692c63 [3] http://llvm.org/docs/GoldPlugin.html [4] http://lld.llvm.org/ [5] https://github.com/ccadar/klee-uclibc/tree/klee_0_9...

...so that's not particularly helpful as I'd like an > API I can use to do the archive linking rather than having to invoke > an external program (i.e. my system's linker). > - For "forthcoming LLVM linker", is that referring to lld [4]? > > [1] https://github.com/MartinNowack/klee/blob/51d4a2b34511a8d6b00b16a50f90b0bc1a793a69/lib/Module/ModuleUtil.cpp#L61 > [2] http://llvm.org/docs/doxygen/html/classllvm_1_1Linker.html#a244da8c7e9789b1b675b9741bd692c63 > [3] http://llvm.org/docs/GoldPlugin.html > [4] http://lld.llvm.org/ > [5] https://github.com/ccadar/klee-...