Frama-c-gui does not install on macOS Ventura
I have tried installing Frama-C through opam on macOS Ventura (13.0.1) for a few days now. I have followed the official installation instructions including the installation of all required tools with brew and setting PKG_CONFIG_PATH. After issuing opam install frama-c
Frama-C gets installed, however, whatever I tried frama-c-gui is never available.
When I try
opam uninstall frama-c
opam install frama-c.25.0
everything works perfectly. I have tried it both on an Intel and an M2 MacBookPro. Does anyone have a similar problem?