Hi Stelios, Maybe you should run make clean, then reconfigure Klee before trying to recompile again. The patch alters the template files used by the configuration tool to generate the actual build files. If you ran the configuration utility before, the old generated files may still contain the invalid configuration.
Stefan On Fri, Feb 12, 2010 at 7:38 PM, Stelios Tsakirakis <p3030122 at hotmail.com> wrote: > I installed LLVM on a ubuntu 9.10 x64 O/S. > I also installed klee-uclibc64.patch, i found it at > http://keeda.stanford.edu/pipermail/klee-dev/attachments/20090823/1fc54e53/attachment.bin. > > My problem looks like this: > > llvm[2]: Compiling Executor.cpp for Release build > In file included from /usr/include/c++/4.4/cstdint:35, > ???????????????? from ExternalDispatcher.h:15, > ???????????????? from Executor.cpp:16: > /usr/include/c++/4.4/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. > Executor.cpp: In member function ?void > klee::Executor::initializeGlobals(klee::ExecutionState&)?: > Executor.cpp:558: warning: format ?%#08llx? expects type ?long long unsigned > int?, but argument 2 has type ?uint64_t? > Executor.cpp:558: warning: format ?%llu? expects type ?long long unsigned > int?, but argument 3 has type ?uint64_t? > make[2]: *** [/home/nachos/kritikos_proj/klee/lib/Core/Release/Executor.o] > Error 1 > make[2]: Leaving directory `/home/nachos/kritikos_proj/klee/lib/Core' > make[1]: *** [Core/.makeall] Error 2 > make[1]: Leaving directory `/home/nachos/kritikos_proj/klee/lib' > make: *** [all] Error 1 > > ________________________________ > Your E-mail and More On-the-Go. Get Windows Live Hotmail Free. Sign up now. > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > >
