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
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
