Hi, everyone

I want to compile 'bash-4.0' with klee-gcc following the next commands
(like compiling coreutils http://klee.github.io/klee/TestingCoreutils.html
):

$ ../configure --disable-nls CFLAGS="-g"
$ make CC=/home/guest/installed/klee/scripts/klee-gcc

However, I encountered an error when 'make', which the following error
message:

/home/guest/installed/klee/scripts/klee-gcc  -DPROGRAM='"bash"'
-DCONF_HOSTTYPE='"x86_64"' -DCONF_OSTYPE='"linux-gnu"'
-DCONF_MACHTYPE='"x86_64-unknown-linux-gnu"' -DCONF_VENDOR='"unknown"'
-DLOCALEDIR='"/usr/local/share/locale"' -DPACKAGE='"bash"' -DSHELL
-DHAVE_CONFIG_H   -I.  -I. -I./include -I./lib   -g  -o mksyntax
./mksyntax.c
*/tmp/cc1H53KR.o: file not recognized: File format not recognized*
collect2: ld returned 1 exit status
make: *** [mksyntax] Error 1

Furthermore, it's strange that the not recognized file keeping changed if I
execute 'make' again and again. For example, the second time I encounter
the next error message:

*/tmp/ccaJGvTn.o: file not recognized: File format not recognized*

BUT I found both file */tmp/cc1H53KR.o and **/tmp/ccaJGvTn.o *do not exist.

What's wrong? What should I do?

--------------------------------------------
Qiuping Yi
Institute Of Software
Chinese Academy of Sciences
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

Reply via email to