{"action":"created","issue":{"url":"https://api.github.com/repos/ocaml/opam-repository/issues/3651","labels_url":"https://api.github.com/repos/ocaml/opam-repository/issues/3651/labels{/name}","comments_url":"https://api.github.com/repos/ocaml/opam-repository/issues/3651/comments","events_url":"https://api.github.com/repos/ocaml/opam-repository/issues/3651/events","html_url":"https://github.com/ocaml/opam-repository/pull/3651","id":59670166,"number":3651,"title":"Install coq with camlp4 only if camlp5 is not installed","user":{"login":"chambart","id":2196625,"avatar_url":"https://avatars.githubusercontent.com/u/2196625?v=3","gravatar_id":"","url":"https://api.github.com/users/chambart","html_url":"https://github.com/chambart","followers_url":"https://api.github.com/users/chambart/followers","following_url":"https://api.github.com/users/chambart/following{/other_user}","gists_url":"https://api.github.com/users/chambart/gists{/gist_id}","starred_url":"https://api.github.com/users/chambart/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/chambart/subscriptions","organizations_url":"https://api.github.com/users/chambart/orgs","repos_url":"https://api.github.com/users/chambart/repos","events_url":"https://api.github.com/users/chambart/events{/privacy}","received_events_url":"https://api.github.com/users/chambart/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-03-03T16:51:22Z","updated_at":"2015-03-09T13:21:03Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/ocaml/opam-repository/pulls/3651","html_url":"https://github.com/ocaml/opam-repository/pull/3651","diff_url":"https://github.com/ocaml/opam-repository/pull/3651.diff","patch_url":"https://github.com/ocaml/opam-repository/pull/3651.patch"},"body":"related to issue https://github.com/ocaml/opam-repository/issues/3631"},"comment":{"url":"https://api.github.com/repos/ocaml/opam-repository/issues/comments/77851375","html_url":"https://github.com/ocaml/opam-repository/pull/3651#issuecomment-77851375","issue_url":"https://api.github.com/repos/ocaml/opam-repository/issues/3651","id":77851375,"user":{"login":"chambart","id":2196625,"avatar_url":"https://avatars.githubusercontent.com/u/2196625?v=3","gravatar_id":"","url":"https://api.github.com/users/chambart","html_url":"https://github.com/chambart","followers_url":"https://api.github.com/users/chambart/followers","following_url":"https://api.github.com/users/chambart/following{/other_user}","gists_url":"https://api.github.com/users/chambart/gists{/gist_id}","starred_url":"https://api.github.com/users/chambart/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/chambart/subscriptions","organizations_url":"https://api.github.com/users/chambart/orgs","repos_url":"https://api.github.com/users/chambart/repos","events_url":"https://api.github.com/users/chambart/events{/privacy}","received_events_url":"https://api.github.com/users/chambart/received_events","type":"User","site_admin":false},"created_at":"2015-03-09T13:21:03Z","updated_at":"2015-03-09T13:21:03Z","body":"To summarize the current situation with coq:\r\nCoq can build with camlp4 or camlp5 but:\r\n* camlp5 is not available on trunk\r\n* coq built with camlp4 cannot be linked with why3 ( I do not know if it is a packaging problem or a why3 problem )\r\n* And I don't know any syntax accepted in opam 1.1.0 to build with camlp4 only if camlp5 is not available. \r\n\r\nOne solution would be to have 2 coq package, one for trunk using camlp4 and one for other versions using camlp5 (using the 'available' field). But this is kind of ugly an may have an heavy maintenance cost.\r\n@samoht, @avsm do you see any other reasonable solution for this ?\r\n"}}