I've already replied to a similar message on the mailing list already but I'll answer this one too.
Based on your error message llvm-ld (the LLVM linker) cannot find the library it needs (although the name of the library its asking for sounds wrong to me. It should probably be 'libselinux.a' not 'selinux/lib.a'). You can tell LLVM where to look for libraries using the LLVM_LIB_SEARCH_PATH environmental variable. So I'd try something like this. 1. Confirm which library the busybox utils build system is looking for. 2. Find where that library lives on your system 3. Modify your LLVM_LIB_SEARCH_PATH variable before building which something like... $ export LLVM_LIB_SEARCH_PATH=/path/to/the/folder/containing/the/library/you/need 4. Run make again. If you have the correct library but the names don't match you can make symbolic link to your system's copy of the library with the name that the busybox utils build system expects. Read the llvm-ldd man page for more information. Hope that helps. Regards, Dan Liew. On 10 September 2012 13:54, <[email protected]> wrote: > > > Hello, > I come with the same problem when I am trying to compile and run/test > Busybox with KLEE。 I get this error in the final linking stage: > "llvm-ld:error: Cannot find linker input 'selinux/lib.a'"。 > Could you tell me how to solve it? Thank you very much! > Best wishes! > > > _______________________________________________ > klee-dev mailing list > [email protected] > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
