From 6344a031e930f854ae1961b54466313d7c8602db Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 30 Mar 2022 10:23:54 +0200
Subject: [PATCH] [e-acsl] provide some examples in e-acsl-gcc.sh help message

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

diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index c985084c37a..39a7f3f6079 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -424,9 +424,13 @@ Options:
   -c         compile instrumented code
   -C         assume that the input files have already been instrumented
   -l         pass additional options to the linker
+             (e.g. -l -lm)
   -e         pass additional options to the prepreprocessor
+             (e.g. -e \"-DPI=3.14 -DE_ACSL_DEBUG_ASSERT\")
   -E         pass additional arguments to the Frama-C preprocessor
+             (e.g. -E \"-Iinclude -DMACRO=1\")
   -F         pass additional options to the Frama-C command line
+             (e.g. -F -c11)
   -o <file>  output the generated code to <file> [a.out.frama.c]
   -O <file>  output the generated executables to <file> [a.out, a.out.e-acsl]
   -M         maximize memory-related instrumentation
-- 
GitLab