{"action":"created","issue":{"url":"https://api.github.com/repos/AbsInt/CompCert/issues/223","repository_url":"https://api.github.com/repos/AbsInt/CompCert","labels_url":"https://api.github.com/repos/AbsInt/CompCert/issues/223/labels{/name}","comments_url":"https://api.github.com/repos/AbsInt/CompCert/issues/223/comments","events_url":"https://api.github.com/repos/AbsInt/CompCert/issues/223/events","html_url":"https://github.com/AbsInt/CompCert/issues/223","id":300352698,"number":223,"title":"CompCert 3.2.0 and Coq 8.7.2","user":{"login":"lastland","id":848550,"avatar_url":"https://avatars2.githubusercontent.com/u/848550?v=4","gravatar_id":"","url":"https://api.github.com/users/lastland","html_url":"https://github.com/lastland","followers_url":"https://api.github.com/users/lastland/followers","following_url":"https://api.github.com/users/lastland/following{/other_user}","gists_url":"https://api.github.com/users/lastland/gists{/gist_id}","starred_url":"https://api.github.com/users/lastland/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lastland/subscriptions","organizations_url":"https://api.github.com/users/lastland/orgs","repos_url":"https://api.github.com/users/lastland/repos","events_url":"https://api.github.com/users/lastland/events{/privacy}","received_events_url":"https://api.github.com/users/lastland/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-02-26T18:49:13Z","updated_at":"2018-02-26T19:10:15Z","closed_at":null,"author_association":"NONE","body":"The Makefile of CompCert 3.2.0 does not support Coq 8.7.2 (though it seems simply adding the 8.7.2 version number to the Makefile would make it work?). This causes problems for people who are using Coq 8.7.2 and CompCert 3.2.0, especially if they install CompCert using opam.\r\n\r\nIs it possible to make a release of CompCert that supports Coq 8.7.2? Maybe 3.2.1?"},"comment":{"url":"https://api.github.com/repos/AbsInt/CompCert/issues/comments/368613869","html_url":"https://github.com/AbsInt/CompCert/issues/223#issuecomment-368613869","issue_url":"https://api.github.com/repos/AbsInt/CompCert/issues/223","id":368613869,"user":{"login":"lastland","id":848550,"avatar_url":"https://avatars2.githubusercontent.com/u/848550?v=4","gravatar_id":"","url":"https://api.github.com/users/lastland","html_url":"https://github.com/lastland","followers_url":"https://api.github.com/users/lastland/followers","following_url":"https://api.github.com/users/lastland/following{/other_user}","gists_url":"https://api.github.com/users/lastland/gists{/gist_id}","starred_url":"https://api.github.com/users/lastland/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lastland/subscriptions","organizations_url":"https://api.github.com/users/lastland/orgs","repos_url":"https://api.github.com/users/lastland/repos","events_url":"https://api.github.com/users/lastland/events{/privacy}","received_events_url":"https://api.github.com/users/lastland/received_events","type":"User","site_admin":false},"created_at":"2018-02-26T19:10:14Z","updated_at":"2018-02-26T19:10:14Z","author_association":"NONE","body":"Hi @m-schmidt,\r\n\r\nThanks for the reply! I am aware that the current master has properly supported Coq 8.7.2. However, it would be more convenient if we can just install a compatible release from opam.\r\n\r\nIf the only thing we need to make the CompCert 3.2.0 release support Coq 8.7.2 is passing the `-ignore-coq-version` option, there is a simple fix: just add that option to the `configure` part in the `opam` file [here](https://github.com/coq/opam-coq-archive/blob/master/released/packages/coq-compcert/coq-compcert.3.2.0/opam). Would you recommend that we do that?"}}
{"actor":{"display_login":"lastland"}}