From 90d1f0f4ee9707a413568343c7b5fe2cb1cda69d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Virgile=20Pr=C3=A9vosto?= <virgile.prevosto@cea.fr>
Date: Thu, 29 Aug 2013 14:11:54 +0000
Subject: [PATCH] reconcile internal and external compilation wrt test oracles

---
 src/plugins/e-acsl/tests/test_config.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/tests/test_config.in b/src/plugins/e-acsl/tests/test_config.in
index e6d9e4cad05..2cf6f3c6767 100644
--- a/src/plugins/e-acsl/tests/test_config.in
+++ b/src/plugins/e-acsl/tests/test_config.in
@@ -1,6 +1,6 @@
 CMD: @frama-c@ @SHARE@
 OPT: -e-acsl-check -e-acsl-verbose 0
-FILTER:@SEDCMD@ -e "s|[a-zA-Z/\\]\+frama_c_project_e-acsl_[a-z0-9]*|PROJECT_FILE|" -e "s|`readlink -f $FRAMAC_SHARE`|FRAMAC_SHARE|g" -e "s|../../share|FRAMAC_SHARE|g"
+FILTER:@SEDCMD@ -e "s|[a-zA-Z/\\]\+frama_c_project_e-acsl_[a-z0-9]*|PROJECT_FILE|" -e "s|`readlink -f $FRAMAC_SHARE`|FRAMAC_SHARE|g" -e "s|../../share|FRAMAC_SHARE|g" -e "s|./share/e-acsl|FRAMAC_SHARE/e-acsl|g" -e "s|share/e-acsl|FRAMAC_SHARE/e-acsl|g"
 COMMENT: The last regex works around the tendency of Frama-C to transform
 COMMENT: absolute path into relative ones whenever the file is not too far
 COMMENT: away from cwd.
-- 
GitLab