Hi Christopher, I don't think this is possible, uClibc is very tied to linux. I'm not sure if it is possible to build it at all on non-Linux. If you wanted to try, it would probably be best to first make sure this works with the official uClibc distribution and instructions before trying the klee version.
What conceptually is possible would be to build uClibc using cross-compile towards a Linux platform. This would require that the programs you tried to run didn't use any external calls of course, and we have not completely implemented everything that uClibc uses. I would really like to solve this problem, for example I want to run klee on Darwin w/ the POSIX support but unfortunately there isn't yet a good solution to the problem. What we really need is a highly portable C library that we can build with llvm-gcc... - Daniel On Sat, Sep 19, 2009 at 11:12 AM, Christopher Simmons <csimmons0 at gmail.com> wrote: > I'm trying to build and install the version of uClibc found at > http://t1.minormatter.com/~ddunbar/klee-uclibc-0.01.tgz so that I can > use POSIX w/ klee. > > When I run "gmake config," I get a bunch of "undefined reference to > libcntl_gettext" errors. I'm on FreeBSD 7, and I have the gettext port > installed and a "libcntl.h" in /usr/local/lib. How can I fix this > problem? > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >
