Frama-C's GUI (frama-c-gui) not installed despite installing frama-c on WSL Ubuntu

Question

I followed the instructions on http://frama-c.com/install-21.1-Scandium.html#installing-frama-c-on-windows-via-wsl completely to install Frama-C (21.1) using opam.

I want to use the GUI for Frama-C but when I tried executing the command frama-c-gui, I get the following message:

Command 'frama-c-gui' not found, but can be installed with: sudo apt install frama-c

I checked the folder location where the binaries of frama-c are located but there was no sub-folder called frama-c-gui there too.

I made sure to use depext to install the relevant dependencies so I'm not sure why frama-c-gui wasn't installed.

Can anyone help?

Answer 1

The Frama-C opam package for Scandium 21.1 had a constraint that was too strong: it didn't detect that conf-gtksourceview3 was installed, looking instead for conf-gtksourceview, and ended up disabling the GUI. A patch has been submitted to opam and after it is accepted, running opam update and then opam reinstall frama-c should get the GUI enabled.

Otherwise, as a quick workaround, you can run opam install conf-gtksourceview, to install the lablgtk2 version. It is not actually necessary for the Frama-C GUI if you already have the gtk3 version, but it will fool the opam rules so that the gui will not be disabled.