From 3084275d2a49786628d2569044da7e161bf17234 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Thu, 4 Feb 2016 17:25:18 +0100
Subject: [PATCH] Documented more options available via helpd page of
e-acsl-gcc.sh
---
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 a2061517b57..22865148c51 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -86,10 +86,14 @@ Usage: e-acsl-gcc.sh [options] files
Options:
-h show this help page
-c compile instrumented code
+ -l pass additional options to the linker
+ -e pass additional options to the pre-preprocessor
+ -E pass additional arguments to the Frama-C pre-processor
-p output the generated code with rich formatting to STDOUT
-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 maximise memory-related instrumentation
+ -g always use GMP integers instead of C integral types
-q suppress any output except for errors and warnings
-s <file> redirect all output to <file>
-P compile executatle without debug features
--
GitLab