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
