From 58739ac06ce3be9e1b9464921c75186299718a64 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Fri, 10 Apr 2020 09:54:29 +0200
Subject: [PATCH] [eacsl:tests] Update `test_config_dev.in` to be able to
 customize `e-acsl-gcc.sh` execution per test

---
 src/plugins/e-acsl/tests/test_config_dev.in | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/tests/test_config_dev.in b/src/plugins/e-acsl/tests/test_config_dev.in
index 131e1da19b5..078ff35d56f 100644
--- a/src/plugins/e-acsl/tests/test_config_dev.in
+++ b/src/plugins/e-acsl/tests/test_config_dev.in
@@ -1,4 +1,14 @@
 MACRO: DEST @PTEST_RESULT@/@PTEST_NAME@
 MACRO: OUT @PTEST_NAME@.res.log
 MACRO: ERR @PTEST_NAME@.err.log
-EXEC: ./scripts/e-acsl-gcc.sh -I @frama-c@ -D -q -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.gcc.c -O @DEST@ @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.e-acsl > /dev/null
+COMMENT: Define the following macro to "no" in a test to stop the execution of `e-acsl-gcc.sh`
+MACRO: ROOT_EACSL_GCC_ENABLE yes
+COMMENT: Default options for `e-acsl-gcc.sh`
+MACRO: ROOT_EACSL_GCC_MISC_OPTS -D -q -X
+COMMENT: Default options for the frama-c invocation
+MACRO: ROOT_EACSL_GCC_FC_EXTRA -journal-disable -verbose 0 -kernel-warn-key *=inactive
+COMMENT: Define the following macro in a test to pass extra options to the frama-c invocation
+MACRO: ROOT_EACSL_GCC_FC_EXTRA_EXT
+COMMENT: Define the following macro in a test to pass extra options to `e-acsl-gcc.sh`
+MACRO: ROOT_EACSL_GCC_OPTS_EXT
+EXEC: if test "@ROOT_EACSL_GCC_ENABLE@" = "yes"; then ./scripts/e-acsl-gcc.sh -I @frama-c@ -c @ROOT_EACSL_GCC_MISC_OPTS@ --frama-c-extra="@ROOT_EACSL_GCC_FC_EXTRA@ @ROOT_EACSL_GCC_FC_EXTRA_EXT@" @ROOT_EACSL_GCC_OPTS_EXT@ -o @DEST@.gcc.c -O @DEST@ @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.e-acsl > /dev/null; fi
-- 
GitLab