On Wed, Feb 10, 2010 at 6:26 PM, Vladimir G. Ivanovic <vladimir at acm.org> wrote: > I had to use -std=c++0x on Fedora 11 (x86).
What is the error without -std=c++0x? - Daniel > --- 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 >> > > > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > >
