diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index aeea5a51d0e1e27152219ad4e7686f8b737a6e66..8a6eda63a267170c2bb71c46129ab4e7e1659d21 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -383,9 +383,9 @@ check_tool "$OPTION_CC"
 
 # Frama-C directories
 FRAMAC="$OPTION_FRAMAC"
-FRAMAC_SHARE="`$FRAMAC -print-share-path`"
-FRAMAC_PLUGIN="`$FRAMAC -print-plugin-path`"
-
+#FRAMAC_SHARE="`$FRAMAC -print-share-path`"
+#FRAMAC_PLUGIN="`$FRAMAC -print-plugin-path`"
+#FRAMAC_LIB="$($FRAMAC -print-lib-path)"
 # Check if this is a development or an installed version
 if [ -f "$BASEDIR/../E_ACSL.mli" ]; then
   # Development version
@@ -399,7 +399,9 @@ if [ -f "$BASEDIR/../E_ACSL.mli" ]; then
   EACSL_SHARE="$DEVELOPMENT/share/e-acsl"
   # Add the project directory to FRAMAC_PLUGINS,
   # otherwise Frama-C uses an installed version
-  FRAMAC_FLAGS="-add-path=$DEVELOPMENT/top -add-path=$DEVELOPMENT $FRAMAC_FLAGS"
+  if test -f "$DEVELOPMENT/META.frama-c-e_acsl"; then
+      FRAMAC_FLAGS="-add-path=$DEVELOPMENT/top -add-path=$DEVELOPMENT $FRAMAC_FLAGS";
+  fi
 else
   # Installed version. FRAMAC_SHARE should not be used here as Frama-C
   # and E-ACSL may not be installed to the same location