Hello there,
I am trying to compile GIflib library with klee gcc to execute gif2rgb binary symobilcally with KLEE.But it fails with error message like this:
user@armed-HP-EliteBook-8530w:~/Downloads/giflib-5.1.1$ make CC=/home/user/Downloads/klee/scripts/klee-gcc
make all-recursive
make[1]: Entering directory `/home/user/Downloads/giflib-5.1.1'
Making all in lib
make[2]: Entering directory `/home/user/Downloads/giflib-5.1.1/lib'
CC dgif_lib.lo
CC egif_lib.lo
CC gif_font.lo
CC gif_hash.lo
CC gifalloc.lo
CC gif_err.lo
CC quantize.lo
CCLD libgif.la
.libs/dgif_lib.o: file not recognized: File format not recognized
collect2: error: ld returned 1 exit status
make[2]: *** [libgif.la] Error 1
make[2]: Leaving directory `/home/user/Downloads/giflib-5.1.1/lib'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/user/Downloads/giflib-5.1.1'
make: *** [all] Error 2
make all-recursive
make[1]: Entering directory `/home/user/Downloads/giflib-5.1.1'
Making all in lib
make[2]: Entering directory `/home/user/Downloads/giflib-5.1.1/lib'
CC dgif_lib.lo
CC egif_lib.lo
CC gif_font.lo
CC gif_hash.lo
CC gifalloc.lo
CC gif_err.lo
CC quantize.lo
CCLD libgif.la
.libs/dgif_lib.o: file not recognized: File format not recognized
collect2: error: ld returned 1 exit status
make[2]: *** [libgif.la] Error 1
make[2]: Leaving directory `/home/user/Downloads/giflib-5.1.1/lib'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/user/Downloads/giflib-5.1.1'
make: *** [all] Error 2
Thank you very much for your time
It would be helpful if anyone can identify the problem.
I have thought that it is not using llvm-ld as specified in Klee-gcc script,i gave loader while configuring and also i have tried to make with llvm-gcc and link individually but failed.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
