> Hi, > > I just checked in a patch for building KLEE with LLVM 2.7. I have > tested it on Linux x86_32 with LLVM 2.6 and 2.7 and on Darwin x86_32 > and x86_64. I'd appreciate it if someone can test it on Linux x86_64.
Hi, I was interested in the "Darwin" part. Last time I tried to build klee on a Mac Klee built fine, but uclib failed. A fairly quick look made it seem like porting it would be hard. Does uclibc also work on darwin, and if so, does anyone have build tips/patches? Thanks! -David > > Please let me know of any problems. > > ?- Daniel > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >
