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