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 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
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club

Reply via email to