Hi Yi,
We used this sequence:
mkdir obj-klee
make -w O=obj-klee defconfig
cd obj-klee
make CC=klee-gcc LD="llvm-ld --disable-opt" AR=llvm-ar SKIP_STRIP=y V=1
ln -s busybox_unstripped.bc <toolname> (for each tool you want to run)
You might need to adjust this a bit (I noticed that on my current
machine I also need CFLAGS=-fnested-functions).
Hope this helps,
Cristian
On 27/02/2013 15:47, Yi Zhou wrote:
Hi everyone:
I want to test busybox-1.4.2 like coreutils.
But I get a link error:
llvm-ld: error: Cannot find linker input
'archival/lib.a'
make: *** [busybox_unstripped] error 1
I use the command:make
CC=/full/path/to/klee/scripts/klee-gcc LD=llvm-ld
or
make V=1 CC=klee-gcc LD="klee-gcc -Wl,"
SKIP_STRIP=y CFLAGS=-fnested-functions
someone can help me ?
Thank you very much!!
Yi Zhou
Institute Of Software
Chinese Academy of Sciences
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev