[klee-dev] make: error: Unable to link with functions of libllvm

[Dan Liew]

> I've checked that libLLVM-3.4.2.so exports above functions correctly by nm
> command.
>
KLEE is currently intended to be linked against the LLVM static
libraries, not the dynamic one.

I think passing ``ENABLE_SHARED=0`` to make to have KLEE link against
the LLVM static libraries ought to work.

Feel free to dig deeper to find the root cause of the issue though.