[klee-dev] Klee Patch for Compiling on Ubuntu 9.10
daniel at zuster.org
Fri Feb 12 18:01:54 PST 2010
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
> 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:
>>> 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.
>>> klee-dev mailing list
>>> klee-dev at keeda.stanford.edu
More information about the klee-dev