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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
