{"action":"opened","issue":{"url":"https://api.github.com/repos/ocaml/opam-repository/issues/8449","repository_url":"https://api.github.com/repos/ocaml/opam-repository","labels_url":"https://api.github.com/repos/ocaml/opam-repository/issues/8449/labels{/name}","comments_url":"https://api.github.com/repos/ocaml/opam-repository/issues/8449/comments","events_url":"https://api.github.com/repos/ocaml/opam-repository/issues/8449/events","html_url":"https://github.com/ocaml/opam-repository/issues/8449","id":206356357,"number":8449,"title":"Wrong error message when conf-gtksourceview fails to install","user":{"login":"gallais","id":1094905,"avatar_url":"https://avatars.githubusercontent.com/u/1094905?v=3","gravatar_id":"","url":"https://api.github.com/users/gallais","html_url":"https://github.com/gallais","followers_url":"https://api.github.com/users/gallais/followers","following_url":"https://api.github.com/users/gallais/following{/other_user}","gists_url":"https://api.github.com/users/gallais/gists{/gist_id}","starred_url":"https://api.github.com/users/gallais/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gallais/subscriptions","organizations_url":"https://api.github.com/users/gallais/orgs","repos_url":"https://api.github.com/users/gallais/repos","events_url":"https://api.github.com/users/gallais/events{/privacy}","received_events_url":"https://api.github.com/users/gallais/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-02-08T23:20:00Z","updated_at":"2017-02-08T23:20:00Z","closed_at":null,"body":"I've been trying to install `coqide` this evening and I kept getting errors on `conf-gtksourceview` despite the fact that I had the package `libgtksourceview2.0-dev` installed on my debian. See [1] for a typical failing build. Running the command `pkg-config gtksourceview-2.0` which AFAICT is supposed to be the failing one does not help at all: it exits almost immediately, and does not print anything.\r\n\r\nAfter a lot of googling, I thought of checking coq's bug tracker and found [this thread](https://coq.inria.fr/bugs/show_bug.cgi?id=4307) from which I took the expanded `pkg-config --short-errors --print-errors \"gtksourceview-2.0 >= 2.2.0\"`. This one does print more information and ultimately led me to upgrade the package `x11proto-randr-dev` (upon which `xrandr` depends).\r\n\r\nIn short: `conf-gtksourceview` might fail to install not because `libgtksourceview2.0-dev` is missing but because other packages need to be upgraded. It would be nice to have that information (and the command-line to run to find the culprits) in the troubleshooting section.\r\n\r\n[1]\r\n\r\n    gallais@traba:~★ opam install coqide\r\n    The following actions will be performed:\r\n      ∗  install conf-gtksourceview 2             [required by coqide]\r\n      ∗  install lablgtk            2.18.5        [required by coqide]\r\n      ∗  install coqide             8.6   \r\n    ===== ∗  3 =====\r\n    Do you want to continue ? [Y/n] y\r\n\r\n    =-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=\r\n    [coqide] Archive in cache\r\n    [lablgtk] Archive in cache\r\n\r\n    =-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=\r\n    [ERROR] The compilation of conf-gtksourceview failed at \"pkg-config gtksourceview-2.0\".\r\n\r\n    #=== ERROR while installing conf-gtksourceview.2 ==============================#\r\n    # opam-version 1.2.2\r\n    # os           linux\r\n    # command      pkg-config gtksourceview-2.0\r\n    # path         /home/gallais/.opam/4.03.0/build/conf-gtksourceview.2\r\n    # compiler     4.03.0\r\n    # exit-code    1\r\n    # env-file     /home/gallais/.opam/4.03.0/build/conf-gtksourceview.2/conf-gtksourceview-30217-5f1023.env\r\n    # stdout-file  /home/gallais/.opam/4.03.0/build/conf-gtksourceview.2/conf-gtksourceview-30217-5f1023.out\r\n    # stderr-file  /home/gallais/.opam/4.03.0/build/conf-gtksourceview.2/conf-gtksourceview-30217-5f1023.err\r\n\r\n\r\n\r\n    =-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=\r\n    The following actions were aborted\r\n      ∗  install coqide  8.6   \r\n      ∗  install lablgtk 2.18.5\r\n    The following actions failed\r\n      ∗  install conf-gtksourceview 2\r\n    No changes have been performed\r\n\r\n    =-=- conf-gtksourceview.2 troubleshooting -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=\r\n    => This package requires gtksourceview 2.0 development packages installed on your system\r\n"}}
{"actor":{"display_login":"gallais"}}