On Fri, Jan 13, 2012 at 6:57 AM, Geof Sawaya <[email protected]> wrote:
> Is there some way to set the lib search path, other than forcing it with a > switch in the compilation? > Unfortunately, no. You can symlink Debug to Debug+Asserts, or use newer LLVM - IIRC, there was changes in autotools build, so klee will properly determine it's build dir. Also, you may take a look at klee with CMake build system [1], it supports looking for libraries in both build and install dirs. [1] http://bitbucket.org/arrowdodger/klee
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
