Displaying 1 result from an estimated 1 matches for "libfindtool".
Did you mean:
libfindtools
2013 Nov 01
0
[LLVMdev] How to prevent optimizations and preserve program variables during link?
...s/klee-gcc
*Moreover, I found the bytecode before linking had program variables, but
the generated target object had non. why?*
**
*For during the 'make' step, I encountered an error:
*
/home/guest/installed/klee/scripts/klee-gcc -Wdeclaration-after-statement
-Wall -g -o find ftsfind.o ./libfindtools.a ../lib/libfind.a
../gnulib/lib/libgnulib.a -lrt -lm -lm
/usr/bin/ld.bfd.real: cannot find crt1.o: No such file or directory
/usr/bin/ld.bfd.real: cannot find crti.o: No such file or directory
ftsfind.o: file not recognized: File format not recognized
collect2: ld returned 1 exit status
*so...