[analysis-scripts] add mention about tool unavailability

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"

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