error about e-acsl-gcc.sh syntax error
I run e-acsl-gcc.sh -c ./*
for the whole directory, but it does not proceed with the following error. Is there any way to find out what the problem is?
[e-acsl] beginning translation.
[kernel] Parsing FRAMAC_SHARE/e-acsl/e_acsl.h (with preprocessing)
[e-acsl] translation done in project "e-acsl".
+ gcc -std=c99 -m64 -g -O2 -fno-builtin -fno-merge-constants -Wall -Wno-long-long -Wno-attributes -Wno-nonnull -Wno-undef -Wno-unused -Wno-unused-function -Wno-unused-result -Wno-unused-value -Wno-unused-function -Wno-unused-variable -Wno-unused-but-set-variable -Wno-implicit-function-declaration -Wno-empty-body ./ABOUT-NLS ./aclocal.m4 ./AUTHORS ./autom4te.cache ./build-aux ./cfg.mk ./ChangeLog ./ChangeLog-2009 ./config.h ./config.hin ./config.hin~ ./config.log ./config.status ./configure ./configure.ac ./COPYING ./dist-check.mk ./doc ./err ./err.txt ./gnulib-tests ./GNUmakefile ./INSTALL ./lib ./m4 ./maint.mk ./Makefile ./Makefile.am ./Makefile.in ./MVIV1.txt ./NEWS ./po ./README ./README-alpha ./src ./stamp-h1 ./tests ./THANKS ./thanks-gen ./THANKS.in ./TODO -o a.out
/usr/bin/ld:./ABOUT-NLS: file format not recognized; treating as linker script
/usr/bin/ld:./ABOUT-NLS:1: syntax error
collect2: error: ld returned 1 exit status