[klee-dev] klee-uclibc not compiling

[Double Dave]

Hello all,

i basically followed these instructions on a i686 machine with Xubuntu 12.04:
http://www.pcc.me.uk/~peter/klee-fp/

I could compile llvm and clang,  
but when compiling uclibc with

$ ./configure --with-llvm=/../kleefp/llvm_and_clang/bin
$ make

i get the following error:

  AS libc/sysdeps/linux/x86_64/__longjmp.os
libc/sysdeps/linux/x86_64/__longjmp.S:32:18: error: register %rdi is only available in 64-bit mode
 movq (JB_RBX*8)(%rdi),%rbx
                 ^~~~
...

before that, i did following:
export PATH=$PATH:/../kleefp/llvm_and_clang/bin/Release+Debug+Asserts/bin
export C_INCLUDE_PATH=/usr/include/i386-linux-gnu
export CPLUS_INCLUDE_PATH=/usr/include/i386-linux-gnu

.. resemble the path to my desktop.



what is the cause of that, i mean i know that i have a 32bit machine, but where do i specify that to uclibc.

Regards,

David
-------------- next part --------------
HTML attachment scrubbed and removed