From b0027b808215340503efa79e1f301c5b922766b6 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 16 Dec 2015 11:16:32 +0100
Subject: [PATCH] scripts/e-acsl-gcc.sh: Used frama-c-config tool instead of
frama-c executable to retrieve share path
---
src/plugins/e-acsl/scripts/e-acsl-gcc.sh | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index d8f6ea47380..44e3e1ec2a1 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -54,7 +54,7 @@ ERROR="ERROR parsing arguments:"
# Gcc
CC="`check_tool 'gcc'`"
-CFLAGS="-std=c99 -g3 -O2 -fno-builtin -Wall \
+CFLAGS="-std=c99 -g3 -O2 -pedantic -fno-builtin -Wall \
-Wno-long-long \
-Wno-attributes \
-Wno-unused-result \
@@ -67,11 +67,12 @@ CPPFLAGS=""
LDFLAGS=""
# Frama-C
FRAMAC="`check_tool 'frama-c'`"
+FRAMAC_CONGIG="`check_tool 'frama-c-config'`"
FRAMAC_FLAGS="-implicit-function-declaration ignore"
# E-ACSL source that needed for compilation
-FRAMA_C_SHARE="`frama-c -print-share-path`"
-EACSL_SHARE="`$FRAMAC -print-share-path`/e-acsl"
+FRAMA_C_SHARE="`$FRAMAC_CONGIG -print-share-path`"
+EACSL_SHARE="$FRAMA_C_SHARE/e-acsl"
RTL="$EACSL_SHARE/e_acsl.c \
$EACSL_SHARE/memory_model/e_acsl_mmodel.c \
$EACSL_SHARE/memory_model/e_acsl_bittree.c \
--
GitLab