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????
------------------
Yongchao Li
Department of Computer Science and Technology
Nanjing University
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
