From 9ade854ff6a9f87dfeeabe08c9e5992f89e1294c Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Fri, 29 May 2020 22:30:14 +0200
Subject: [PATCH] [Dev] add short options to frama-c-config

---
 .../runtime/frama_c_config.ml.in              | 22 +++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/src/kernel_internals/runtime/frama_c_config.ml.in b/src/kernel_internals/runtime/frama_c_config.ml.in
index 4b6d96b0879..f9488a16dcc 100644
--- a/src/kernel_internals/runtime/frama_c_config.ml.in
+++ b/src/kernel_internals/runtime/frama_c_config.ml.in
@@ -42,14 +42,36 @@ let options = Arg.([
   Unit (fun _ -> Format.printf "%s%!" Fc_config.datadir; exit 0),
   " Print the path of Frama-C share directory";
 
+  "-share",
+  Unit (fun _ -> Format.printf "%s%!" Fc_config.datadir; exit 0),
+  " Alias for -print-share-path";
+
+  "-libc",
+  Unit (fun _ -> Format.printf "%s%!"
+           (Filename.concat Fc_config.datadir "libc"); exit 0),
+  " Print the path of Frama-C standard library directory";
+
+  "-scripts",
+  Unit (fun _ -> Format.printf "%s%!"
+           (Filename.concat Fc_config.datadir "analyis-scripts"); exit 0),
+  " Print the path of Frama-C analysis-scripts directory";
+
   "-print-libpath",
   Unit (fun _ -> Format.printf "%s%!" Fc_config.libdir; exit 0),
   " Print the path of Frama-C kernel library";
 
+  "-libpath",
+  Unit (fun _ -> Format.printf "%s%!" Fc_config.libdir; exit 0),
+  " Alias for -print-libpath";
+
   "-print-plugin-path",
   Unit (fun _ -> Format.printf "%s%!" Fc_config.plugin_path; exit 0),
   " Print the path where Frama-C dynamic plug-ins are searched for";
 
+  "-plugin-path",
+  Unit (fun _ -> Format.printf "%s%!" Fc_config.plugin_path; exit 0),
+  " Alias for -print-plugin-path";
+
   "-print-version",
   Unit (fun _ -> Format.printf "%s%!" Fc_config.version; exit 0),
   " Print the version number of Frama-C";
-- 
GitLab