`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

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information