[klee-dev] KLEE-FP compilation

[Loi Luu]

Hi Peter,

The values of LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR are as you said. I
installed KLEE before and removed all relevant environment variables of it
already. One thing I should mention is that to compile llvm and clang, I
had to change some environment variables as indicated in
http://lists.cs.uiuc.edu/pipermail/llvmdev/2013-February/059905.html. Does
it cause the errors?

Thanks,


On Mon, Oct 28, 2013 at 12:43 PM, Peter Collingbourne <peter at pcc.me.uk>wrote:

> On Mon, Oct 28, 2013 at 10:46:48AM +0800, Loi Luu wrote:
> > Hi,
> >
> > I follow compilation instruction of Daniel in this message
> > http://www.mail-archive.com/klee-dev@imperial.ac.uk/msg01034.html and
> get
> > compilation error in the last step (compile KLEE-FP). Can you take a look
> > and let me know why I got these errors. I attached the log of make
> command
> > in this email.
>
> It looks like the code for the wrong version of LLVM is being selected.
> Can you check the values of LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR
> in include/klee/Config/config.h in your build directory?  They should
> be 3 and 1 respectively.
>
> It may also be the case that a file with the same name is elsewhere on
> your include path, in particular in the source directory if you have done
> an in-tree build before.
>
> Thanks,
> --
> Peter
>



-- 
Loi, Luu The (Mr.)
RA at Security Lab, SoC, NUS
-------------- next part --------------
HTML attachment scrubbed and removed