opam install why3 failed

ID0002373: This issue was created automatically from Mantis Issue 2373. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0002373	Frama-C	Opam	public	2018-04-09	2018-07-11

Reporter	agrcs	Assigned To	maroneze	Resolution	fixed
Priority	normal	Severity	minor	Reproducibility	always
Platform	Mac	OS	Mac OS	OS Version	10.13.3
Product Version	Frama-C 17-Chlorine	Target Version	-	Fixed in Version	Frama-C 17-Chlorine

Description :

Following opam installation instructions at http://frama-c.com/install-sulfur-20171101.html#installing-frama-c-on-mac-os-x all ok when: opam install altgr-ergo why3=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 🐫 [ERROR] The compilation of conf-gtksourceview failed at "pkg-config --short-errors --print-errors gtksourceview-2.0".

#=== ERROR while installing conf-gtksourceview.2 ==============================#

opam-version 1.2.2

os darwin

command pkg-config --short-errors --print-errors gtksourceview-2.0

path /Users/wenlongxie/.opam/system/build/conf-gtksourceview.2

compiler system (4.06.1)

exit-code 127

env-file /Users/wenlongxie/.opam/system/build/conf-gtksourceview.2/conf-gtksourceview-1291-1872ec.env

stdout-file /Users/wenlongxie/.opam/system/build/conf-gtksourceview.2/conf-gtksourceview-1291-1872ec.out

stderr-file /Users/wenlongxie/.opam/system/build/conf-gtksourceview.2/conf-gtksourceview-1291-1872ec.err

=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 🐫 The following actions were aborted ∗ install altgr-ergo 1.30
∗ install lablgtk 2.18.6 ∗ install ocamlgraph 1.8.8 ∗ install why3 0.88.3 ∗ install why3-base 0.88.3 The following actions failed ∗ install conf-gtksourceview 2 No changes have been performed

=-=- conf-gtksourceview.2 troobleshooting -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 🐫 => This package relies on external (system) dependencies that may be missing. `opam depext conf-gtksourceview.2' may help you find the correct installation for your system.

ocaml is 4.06.1 opam is 1.2.2