`frama-c-script build` NEEDS Blug installed... where do I get Blug?
Hello,
I am trying to run frama-c-script build
in a directory which has a valid compile_commands.json
file.
I am getting the following error:
frama-c-script build
error: path to 'blug' binary must be in PATH or variable BLUG
I can find nowhere in your documentation, your various blog articles, nor any issues about where I should get and/or how I should install Blug
.
(I see from the source code for share/analysis-scripts/build.py
that the only uses of blug
are the blug_jbdb
and prettify
sub-code... I can find no blug
project (on opam nor PyPi.com) which contains these "symbols").
Where can I find this Python script/module?
Regards, Stephen Gaito