opam install --verbose why3
The following actions will be performed:
∗  install conf-gtksourceview 2             [required by why3]
∗  install lablgtk            2.18.6        [required by why3]
∗  install ocamlgraph         1.8.8         [required by why3]
∗  install why3-base          0.88.3        [required by why3]
∗  install why3               0.88.3
    Coq realizations of Why3 theories are only available if Coq is installed
===== ∗  5 =====
Do you want to continue ? [Y/n] y

=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
🐫
[lablgtk] Archive in cache
[ocamlgraph] Archive in cache
[why3-base] Archive in cache

=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
🐫
[conf-gtksourceview: pkg-config gtksourceview-2.0] Command started
+ pkg-config "--short-errors" "--print-errors" "gtksourceview-2.0"
(CWD=/Users/wenlongxie/.opam/system/build/conf-gtksourceview.2)
[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-436-05296d.env
# stdout-file  /Users/wenlongxie/.opam/system/build/conf-
gtksourceview.2/conf-gtksourceview-436-05296d.out
# stderr-file  /Users/wenlongxie/.opam/system/build/conf-
gtksourceview.2/conf-gtksourceview-436-05296d.err



=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
🐫
The following actions were aborted
∗  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.
'opam install --verbose why3' failed.

2018-04-11 16:32 GMT+08:00 Virgile Prevosto <virgile.prevo...@m4x.org>:

> Hello,
>
> thanks for your answer, but please reply to the list and not just myself
>
> 2018-04-11 2:55 GMT+02:00 wenlong xie <wlxie.buaa...@gmail.com>:
>
>> Hi
>> First I did install depext with opam install depext
>>
>> Second, I tried opam depext conf-gtksourceview.2, result as following:
>>   OPAM plugin depext is not installed. Install it on the current switch?
>> [Y/n] y
>>   The following actions will be performed:
>>   ∗  install depext 1.0.5
>>
>>   =-=- Gathering sources 
>> =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
>> 🐫
>>   [default] https://opam.ocaml.org/archives/depext.1.0.5+opam.tar.gz
>> downloaded
>>
>>   =-=- Processing actions 
>> -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
>> 🐫
>>   ∗  installed depext.1.0.5
>>   Done.
>>
>>   =-=- Carrying on to "opam depext conf-gtksourceview.2"
>> =-=-=-=-=-=-=-=-=-=-=  🐫
>>
>>   # Detecting depexts using flags: x86_64 osx homebrew
>>   # The following system packages are needed:
>>   #  - gtksourceview
>>   #  - libxml2
>>   # All required OS packages found.
>>
>>
>  OK, it looks like opam is satisfied with the external dependencies that
> have been installed in your system. Can you know show us the output of
>
> opam install --verbose why3
>
> in order for us to investigate more precisely what is going on?
>
> Best regards,
> --
> E tutto per oggi, a la prossima volta
> Virgile
>
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club

Reply via email to