Hi,
I'd like to run Klee on GNU Coreutils 8.9. In order to compile the
suite, I added two extra flags ('-O2' and '-std=c99') in klee-gcc as the
following:
for a in args:
if a in ('-g', '-W', '-O', '-D', '-f', '-O2', '-std=c99',
'-fnested-functions', '-pthread'):
and used the following make command:
make CC="$FLA_KLEE_HOME_DIR/klee/scripts/klee-gcc -std=c99"
It seems to work for parts of the system, but at one point, I hit the
following error:
Making all in src
make[2]: Entering directory
`/home/louis/fla/example/coreutils-8.9/build-llvm/src'
make all-am
make[3]: Entering directory
`/home/louis/fla/example/coreutils-8.9/build-llvm/src'
CCLD libstdbuf.so
libstdbuf_so-libstdbuf.o: file not recognized: File format not recognized
collect2: ld returned 1 exit status
make[3]: *** [libstdbuf.so] Error 1
It looks like that the system linker ld instead of llvm-ld is used again
for "libstdbuf.so." With my limited knowledge on GNU make system, I
can't find a way to get around this. Any help is appreciated.
Thanks very much.
Lu
