[klee-dev] klee-uclibc not compiling

Daniel Liew daniel.liew at imperial.ac.uk
Thu Jan 2 13:24:05 GMT 2014


Hi Dave,

I don't support that particular variant of klee-uclibc. However you
can probably change the architecture of the build by doing...

$ cd /path/to/root/of/klee-uclibc
$ make menuconfig

Now change the configuration so that the architecture is i386 instead
of x86_64 . This should change a hidden file ".config".

Now clean out the old build files and re-compile.
$ make clean
$ make

Hope that helps.

Thanks,
Dan Liew.

On 31 December 2013 21:15, Double Dave <dave.t273 at yahoo.com> wrote:
> 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




More information about the klee-dev mailing list