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
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
