[klee-dev] klee compiling problem
stefan.bucur at epfl.ch
Fri Feb 12 10:57:25 PST 2010
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:
before recompiling Klee.
Hope this helps,
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.
> 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
>> My problem looks like this:
>> llvm: 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
>> 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: *** [/home/nachos/kritikos_proj/klee/lib/Core/Release/Executor.o]
>> Error 1
>> make: Leaving directory `/home/nachos/kritikos_proj/klee/lib/Core'
>> make: *** [Core/.makeall] Error 2
>> make: 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
More information about the klee-dev