Error while installing libgnomecanvas in MacOS Ventura (Frama-C pre-requisite) using brew on terminal

Question

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?

Answer 1

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.

Answer 2

My mac is M1 MacbookPro, ventura 13.1.
I've installed opam install frama-c.25.0 before, and in the folder of opam I couldn't find frama-c-gui.
I've tried the method above from @Virgile, but it didn't work out for me.
After comparing the packages I've installed with one of my colleague who have succeeded in installing frama-c and his mac is M2, I installed one of the different packages and I succeed in opening the frama-c-gui!
Below are what I've installed with opam:
opam install lablgtk.
result for the installing lablgtk command.
After this, I could use frama-c-gui and frama-c-gui appeared in the opam bin folder.

Answer 3

I was in the same situation installing an old version of frama-c on my mac. My case is:

• frama-c version to install: v24.0 - Chromium
• my device: Mac mini M1, 2020 with Ventura 13.0.1

The installation opam install "frama-c=24.0" will fail complaining about libgnomecanvas as the op showed, the workaround is do the following before that:

opam depext --install -y lablgtk3 lablgtk3-sourceview3
opam depext --install -y frama-c

The idea is from frama-c chromium - 24.0 installation doc under the Installing opam and Frama-C on WSL section.

Then the frama-c 24.0 can be installed, the GUI cannot be used though.