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