I am trying to install Frama-C in MacOS Ventura, which has as pre-requisite the installation of libgnomecanvas, but I get an error when installing by using brew.
When I use
brew install libgnomecanvas
I obtain the following error:
Error: libgnomecanvas has been disabled because it has an archived upstream repository!
and the installation finishes there.
Is there anywork around for this?
libgnomecanvas
is needed for the GUI, when compiled against gtk2
, a very old version which is more and more difficult to find on actual systems. Normally, you can also compile it against gtk3
, without libgnomecanvas
. However, according to this comment, there are issues with this version as well on macOS. You can still compile the command-line version, though. Basically, opam install frama-c
should work, as the opam
package disables the gtk
dependencies when on macOS. The installation instructions of Frama-C should probably be updated, though.