From c99cf33fe41ad836fb269ba3339da4ba6bae7912 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 31 Aug 2016 09:32:36 +0200
Subject: [PATCH] [scripts] Fixed nostdlib option of e-acsl-gcc.sh
---
src/plugins/e-acsl/scripts/e-acsl-gcc.sh | 7 ++-----
1 file changed, 2 insertions(+), 5 deletions(-)
diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index bb072d04987..b06878b47bf 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -311,7 +311,7 @@ do
# Do use Frama-C stdlib, which is the default behaviour of Frama-C
--frama-c-stdlib|-L)
shift;
- OPTION_FRAMA_STDLIB=""
+ OPTION_FRAMA_STDLIB="-frama-c-stdlib"
;;
# Use as much memory-related instrumentation as possible
-M|--full-mmodel)
@@ -427,10 +427,7 @@ GCCMACHDEP="-m$MACHDEPFLAGS"
EACSL_MACRO_ID="__E_ACSL__"
# Frama-C and related flags
-FRAMAC_CPP_EXTRA="$OPTION_FRAMAC_CPP_EXTRA \
- -I$FRAMAC_SHARE/libc \
- -D__NO_CTYPE \
- $CPPMACHDEP"
+FRAMAC_CPP_EXTRA="$OPTION_FRAMAC_CPP_EXTRA $CPPMACHDEP"
EACSL_MMODEL="$OPTION_EACSL_MMODEL"
# Re-set EACSL_SHARE directory is it has been given by the user
--
GitLab