`frama-c-script build` NEEDS Blug installed... where do I get Blug?
I am trying to run
frama-c-script build in a directory which has a valid
I am getting the following error:
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
(I see from the source code for
share/analysis-scripts/build.py that the only uses of
blug are the
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