I applied Stefan Bucur's Ubuntu 9.10 build patch (http://keeda.stanford.edu/pipermail/klee-dev/2010-January/000210.html). but I still needed to use CPPFLAGS="-std=c++0x -Wno-deprecated" when running make:
> $ make > make[1]: Entering directory `/usr/local/src/klee/stp' > make[2]: Entering directory `/usr/local/src/klee/stp/AST' > g++ -g -O2 -O2 -Wall -DEXT_HASH_MAP -c -o AST.o AST.cpp > In file included from > /usr/lib/gcc/i586-redhat-linux/4.4.1/../../../../include/c++/4.4.1/ext/hash_set:59, > from AST.h:14, > from AST.cpp:10: > /usr/lib/gcc/i586-redhat-linux/4.4.1/../../../../include/c++/4.4.1/backward/backward_warning.h:28:2: > warning: #warning This file includes at least one deprecated or > antiquated header which may be removed without further notice at a > future date. Please use a non-deprecated interface with equivalent > functionality instead. For a listing of replacement headers and > interfaces, consult the file backward_warning.h. To disable this > warning use -Wno-deprecated. > In file included from > /usr/lib/gcc/i586-redhat-linux/4.4.1/../../../../include/c++/4.4.1/cstdint:35, > from AST.cpp:12: > /usr/lib/gcc/i586-redhat-linux/4.4.1/../../../../include/c++/4.4.1/c++0x_warning.h:31:2: > error: #error This file requires compiler and library support for the > upcoming ISO C++ standard, C++0x. This support is currently > experimental, and must be enabled with the -std=c++0x or -std=gnu++0x > compiler options. > make[2]: *** [AST.o] Error 1 > make[2]: Leaving directory `/usr/local/src/klee/stp/AST' > make[1]: *** [AST/libast.a] Error 2 > make[1]: Leaving directory `/usr/local/src/klee/stp' > make: *** [all] Error 1 I'm using gcc version 4.4.1 20090725 (Red Hat 4.4.1-2). --- Vladimir Vladimir G. Ivanovic http://www.leonora.org +1 650 450 4101 vladimir at acm.org on 10-02-10 18:26 Vladimir G. Ivanovic said the following: > I had to use -std=c++0x on Fedora 11 (x86). > > --- 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 >> >> > -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 552 bytes Desc: OpenPGP digital signature Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100210/705c05f3/attachment.bin
