Skip to content
Snippets Groups Projects
Commit 64b2c20d authored by Kostyantyn Vorobyov's avatar Kostyantyn Vorobyov
Browse files

Added additional path for E-ACSL plugin lookup

parent 5c23e9ad
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+ 1
− 1
View file @ 64b2c20d
...@@ -351,7 +351,7 @@ if [ -f "$BASEDIR/../E_ACSL.mli" ]; then ...@@ -351,7 +351,7 @@ if [ -f "$BASEDIR/../E_ACSL.mli" ]; then
EACSL_SHARE="$DEVELOPMENT/share/e-acsl" EACSL_SHARE="$DEVELOPMENT/share/e-acsl"
# Add the project directory to FRAMAC_PLUGINS, # Add the project directory to FRAMAC_PLUGINS,
# otherwise Frama-C uses an installed version # otherwise Frama-C uses an installed version
FRAMAC_FLAGS="-add-path=$DEVELOPMENT $FRAMAC_FLAGS" FRAMAC_FLAGS="-add-path=$DEVELOPMENT/top -add-path=$DEVELOPMENT $FRAMAC_FLAGS"
else else
# Installed version. FRAMAC_SHARE should not be used here as Frama-C # Installed version. FRAMAC_SHARE should not be used here as Frama-C
# and E-ACSL may not be installed to the same location # and E-ACSL may not be installed to the same location
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment