[klee-dev] how to compile busybox-1.4.2 to be a .bc file correctly?

[Cristian Cadar]

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 at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>