[klee-dev] `llvm-ld` can't find `crypt` library

[Zhen Zhang]

Hi!

I have encountered a problem in going through the "Tutorial on How to Use KLEE to Test GNU Coreutils”.


When I am in step 2, trying to `make CC=/full/path/to/klee/scripts/klee-gcc`, but there came a error report:


llvm-ld: error: Cannot find library ‘crypt'


I can’t figure out how to solve this.


I have already:


export C_INCLUDE_PATH=/usr/include/x86_64-linux-gnu  
export CPLUS_INCLUDE_PATH=/usr/include/x86_64-linux-gnu


And the llvm is 2.9, llvm-gcc is "LLVM-GCC 4.2 Front End Binaries for Linux x86-64.” Coretuils is the 6.1.1 used in the tutorial.


That might be a little off-topic in this list, but great thanks to anyone who would like to help!


Cheers



—
Zhen ZhangUSTC, School of Computer Science and Technology
-------------- next part --------------
HTML attachment scrubbed and removed