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

[Chace Clark]

Hello,

I remember that I encountered this same error, and found a solution but
cannot remember which solution it was.

If i remember correctly this helped me, (but reading it now it could have
been solving a different error.) Look at the comments on this website:

http://blog.opensecurityresearch.com/2014/07/klee-on-ubuntu-1404-lts-64bit.html


It says
"To pass all checks of KLEE without problem I needed to make:
"sudo ln -s /usr/lib/x86_64-linux-gnu /usr/lib64"
A check could not find "ctr1.o"

It says that you can fix this by making a symbolic link. That worked for me.

Actually, Here is another change I made to fix an error like this. I added

export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/lib/x86_64-linux-gnu

to the .bashrc file. That could be the answer too. I wish I had documented
this better. Sorry I cannot remember.

I know that I installed libssl-dev as well but I dont think that solved it
for me.

If either work, can u respond with which one did so that I know as well?

-Thanks

On Mon, Apr 27, 2015 at 11:38 AM, Zhen Zhang <izgzhen at gmail.com> wrote:

>  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*
> <http://llvm.org/releases/2.9/llvm-gcc4.2-2.9-x86_64-linux.tar.bz2>.”
> 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 Zhang
> USTC, School of Computer Science and Technology
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
>
-------------- next part --------------
HTML attachment scrubbed and removed