I had to use -std=c++0x on Fedora 11 (x86). --- Vladimir
Vladimir G. Ivanovic http://www.leonora.org +1 650 450 4101 vladimir at acm.org on 10-02-10 18:03 Daniel Dunbar said the following: > Hi Stefan, > > I don't understand parts of this patch. It shouldn't be necessary to > force KLEE to compile with -std=c++0x? > > - Daniel > > On Fri, Jan 29, 2010 at 10:37 AM, Stefan Bucur <stefan.bucur at epfl.ch> > wrote: > >> Greetings, >> >> As I had some issues during Klee compilation process on Ubuntu 9.10, >> I'm attaching in this message the patch with the modifications >> required to make it work on this platform. It should work both on x86 >> and x86_64 architectures. >> >> Cheers, >> Stefan >> >> _______________________________________________ >> klee-dev mailing list >> klee-dev at keeda.stanford.edu >> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >> >> >> > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 552 bytes Desc: OpenPGP digital signature Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100210/1cc08d8a/attachment.bin
