[klee-dev] Klee Patch for Compiling on Ubuntu 9.10

[Daniel Dunbar]

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
>
>