On Fri, Feb 12, 2010 at 10:47 AM, Stefan Bucur <stefan.bucur at epfl.ch> wrote: > 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.
Ok, but where are we using 0x classes? I would rather just eliminate those instances. - Daniel > 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 >>> >>> >> >
