From 7b5b89389cb7036af0401757a37df765cc3e6036 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Tue, 9 Feb 2021 15:23:15 +0100
Subject: [PATCH] [eacsl] wrapper script: do not load plugins when retrieving
 share and plugin path

---
 src/plugins/e-acsl/scripts/e-acsl-gcc.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index bd52cb6198b..210e1c99c9a 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -706,8 +706,8 @@ 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 -no-autoload-plugins -print-share-path`"}
+: ${FRAMAC_PLUGIN:="`$FRAMAC -no-autoload-plugins -print-plugin-path`"}
 
 # Check if this is a development or an installed version
 if [ -f "$BASEDIR/../E_ACSL.mli" ]; then
-- 
GitLab