[klee-dev] File not recognized

[Jonathan Neuschäfer]

On Wed, Jan 09, 2013 at 08:16:37PM +0800, 李永超 wrote:
> When building texinfo with klee-gcc, I got following error information:
> 
> klee-gcc  -g -O2   -o ginstall-info install-info.o ../lib/libtxi.a
> ../gnulib/lib/libgnu.a
> install-info.o: file not recognized: File format not recognized
> collect2: ld returned 1 exit status
> make[3]: *** [ginstall-info] Error 1
> make[3]: Leaving directory
> `/home/qingjinlyc/Desktop/texinfo-4.13/llvm-obj/install-info'
> make[2]: *** [all-recursive] Error 1
> make[2]: Leaving directory
> `/home/qingjinlyc/Desktop/texinfo-4.13/llvm-obj/install-info'
> make[1]: *** [all-recursive] Error 1
> make[1]: Leaving directory
> `/home/qingjinlyc/Desktop/texinfo-4.13/llvm-obj'
> make: *** [all] Error 2
> 
> Anyone could help me????

You're using klee-gcc as a linker here. Try using llvm-ld instead.
Most build scripts have a LD variable besides the CC variable. You'll
probably have to investigate a bit.

HTH,
Jonathan Neuschäfer