On Wed, Mar 30, 2011 at 7:39 PM, David Lightstone < david.lightstone at prodigy.net> wrote:
> I was able, however, to build llvm-gcc-4.2 in all environments (32 and 64 > bit, Fedora 13 and 14); use them to build the llvm tool chain; and use both > the tool chain and the llvm-gcc to build Klee successfully (ie make check > succeeds) > In fact, you need llvm-gcc only to produce bitcode files for klee. You can use your system gcc to build llvm and klee itself, but you still need llvm-gcc to `make check`. Have you tried to build llvm and klee with gcc? -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110330/3d8b4fed/attachment.html
