Hello,
As I asked on the issue you opened on Frama-C's bts yesterday (
https://bts.frama-c.com/view.php?id=2373) for the exact same problem: did
you try the suggestion offered by opam, i.e.
launching opam depext conf-gtksourceview.2? There is apparently an issue
with the way gtksourceview was
My mac os version is 10.13.3, opam version is 1.2.2 and ocaml version is
4.06.1
I tried to install why3 as the following link:
http://frama-c.com/install-sulfur-20171101.html#installing-frama-c-on-mac-os-x
All is OK except opam install altgr-ergo why3, errors:
[ERROR] The compilation of