opam depext conf-pkg-config may be worth a try too.
Alix On Fri, Apr 13, 2018 at 8:34 AM Alan Schmitt <alan.schm...@polytechnique.org> wrote: > On 2018-04-12 19:12, Virgile Prevosto <virgile.prevo...@m4x.org> writes: > > > 2018-04-12 18:36 GMT+02:00 wenlong xie <wlxie.buaa...@gmail.com>: > >> > >> > >> [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 > > > > Thanks for the update. As I was suspecting, it seems like pkg-config > > is not installed on your machine (under POSIX, 127 is the shell's > > error code when it does not find the executable it is asked to > > launch). It is quite surprising, as this is a fairly standard command > > for any gtk-based library, and I'd have thought that brew would have > > installed it together with the rest. Could you check whether there's a > > brew package called pkg-config or something similar and if yes, > > whether installing it through brew solve your issue? Otherwise, I'm > > afraid you'll need help from someone who actually has a Mac on which > > they can reproduce the issue. > > I've had similar issues before, and I have this in my shell profile: > > export > PKG_CONFIG_PATH=/usr/local/lib/pkgconfig:/usr/local/opt/libxml2/lib/pkgconfig:/opt/X11/lib/pkgconfig:$PKG_CONFIG_PATH > > You could give it a try. > > Best, > > Alan > > -- > OpenPGP Key ID : 040D0A3B4ED2E5C7 > Monthly Athmospheric CO₂, Mauna Loa Obs. 2018-03: 409.46, 2017-03: 407.18 > _______________________________________________ > Why3-club mailing list > Why3email@example.com > https://lists.gforge.inria.fr/mailman/listinfo/why3-club >
_______________________________________________ Why3-club mailing list Why3firstname.lastname@example.org https://lists.gforge.inria.fr/mailman/listinfo/why3-club