Hello Daniel, Ubuntu 9.10 ships with gcc 4.4.1, which mandates this flag in order to be able to use classes in the C++ library which are not yet officially part of the standard. Without this flag, g++ will raise an error.
Stefan On Thu, Feb 11, 2010 at 3:03 AM, Daniel Dunbar <daniel at zuster.org> wrote: > 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 >> >> >
