[klee-dev] Question about building KLEE with other external libraries

[Wei-Fan]

Hello Sir,

My name is Wei-Fan, and I am currently a graduate student at University 
of Utah.

I currently tried to build KLEE with some other external libraries.
I tried to configure KLEE by:

./configure .... --libs="-lgmp -lmpfr"

of

./configure .... --with-libs="-lgmp -lmpfr"

But they didn't apply.... I still got some error message for some 
undefined functions...
Could you please give me some suggestions for solving this case?

Thanks.
- Wei-Fan