From a942bf2639a98eb186863978962ebf9a65af42f7 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 7 Jun 2022 10:01:52 +0200
Subject: [PATCH] [analysis-scripts] add mention about tool unavailability
---
bin/frama-c-script | 2 ++
share/analysis-scripts/build.py | 4 +++-
2 files changed, 5 insertions(+), 1 deletion(-)
diff --git a/bin/frama-c-script b/bin/frama-c-script
index 3eb9ecef067..6036009bc35 100755
--- a/bin/frama-c-script
+++ b/bin/frama-c-script
@@ -39,6 +39,8 @@ usage() {
echo " - build [--jbdb build_commands.json] [--sources file...]"
echo " Produces a GNUmakefile for Frama-C analyses."
echo " Uses a build_commands.json if available."
+ echo " NOTE: the tool used to produce such files (blug)"
+ echo " is not yet publicly available."
echo ""
echo " - configure machdep"
echo " Runs an existing configure script to only consider files"
diff --git a/share/analysis-scripts/build.py b/share/analysis-scripts/build.py
index 854fb82d011..d93bd3ec9fc 100755
--- a/share/analysis-scripts/build.py
+++ b/share/analysis-scripts/build.py
@@ -23,7 +23,9 @@
##########################################################################
"""This script uses blug and a build_commands.json file to produce an
-analysis GNUmakefile, as automatically as possible."""
+analysis GNUmakefile, as automatically as possible.
+NOTE: the tool used to produce such files (blug) is not yet publicly
+available."""
import argparse
import json
--
GitLab