Stelios, I had the impression that you applied a patch that I had submitted a couple of days ago, concerning Klee compilation errors on Ubuntu 9.10. Now I see that the URL you provided is different. So you should also try applying this patch:
http://keeda.stanford.edu/pipermail/klee-dev/2010-January/000210.html before recompiling Klee. Hope this helps, Stefan On Fri, Feb 12, 2010 at 7:51 PM, Stefan Bucur <stefan.bucur at epfl.ch> wrote: > 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 >> >> >
