Hi, I was checking messages on the list, and noticed that this message never received a reply. Martin has recently improved the documentation for -link-llvm-lib (https://github.com/klee/klee/pull/1204) so hopefully things are more clear now.
Best, Cristian On 14/11/2019 15:42, Ling Jin wrote: > Hi, > > I got confused about the documentation describing Linking External > Libraries. In the documentation, it says > > If some functions in the input file are defined in an external LLVM > IR file, an archive (.a) of LLVM IR files, or a shared object with > LLVM IR code, these external files can be linked in using the option > -link-llvm-lib=LIB_FILENAME. > > What I understand is that I can give a ".so" file, but the example > > $ klee -link-llvm-lib=libhelper.so.bc test.bc > > shows that the option needs a ".so.bc" file. So I want to ask what > formats does the option "-link-llvm-lib" supports? > > Does it mean that I can give ".ll", ".a" and/or ".so" files? But the > ".a" file should be an archieve of ".bc" files instead of ".obj" files? > > > Thanks, > Ling Jin > > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
