{"action":"created","issue":{"url":"https://api.github.com/repos/AbsInt/CompCert/issues/232","repository_url":"https://api.github.com/repos/AbsInt/CompCert","labels_url":"https://api.github.com/repos/AbsInt/CompCert/issues/232/labels{/name}","comments_url":"https://api.github.com/repos/AbsInt/CompCert/issues/232/comments","events_url":"https://api.github.com/repos/AbsInt/CompCert/issues/232/events","html_url":"https://github.com/AbsInt/CompCert/pull/232","id":326722179,"number":232,"title":"Install Coq development (.vo files) if requested","user":{"login":"xavierleroy","id":3845810,"avatar_url":"https://avatars0.githubusercontent.com/u/3845810?v=4","gravatar_id":"","url":"https://api.github.com/users/xavierleroy","html_url":"https://github.com/xavierleroy","followers_url":"https://api.github.com/users/xavierleroy/followers","following_url":"https://api.github.com/users/xavierleroy/following{/other_user}","gists_url":"https://api.github.com/users/xavierleroy/gists{/gist_id}","starred_url":"https://api.github.com/users/xavierleroy/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/xavierleroy/subscriptions","organizations_url":"https://api.github.com/users/xavierleroy/orgs","repos_url":"https://api.github.com/users/xavierleroy/repos","events_url":"https://api.github.com/users/xavierleroy/events{/privacy}","received_events_url":"https://api.github.com/users/xavierleroy/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-05-26T08:47:22Z","updated_at":"2018-05-28T14:33:39Z","closed_at":null,"author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/AbsInt/CompCert/pulls/232","html_url":"https://github.com/AbsInt/CompCert/pull/232","diff_url":"https://github.com/AbsInt/CompCert/pull/232.diff","patch_url":"https://github.com/AbsInt/CompCert/pull/232.patch"},"body":"This PR addresses #227 and is an alternative to #228.\r\n\r\n`.vo` files are installed if configure options `-install-coqdev` or `-clightgen` or `-coqdevdir` are given.\r\n\r\nInstallation directory is `$(PREFIX)/lib/compcert/coq` by default and can be changed by configure option `-coqdevdir`.\r\n\r\nAll `.vo` files are installed, not just those useful for `clightgen`-generated Coq files, because other projects may use other parts of CompCert.\r\n"},"comment":{"url":"https://api.github.com/repos/AbsInt/CompCert/issues/comments/392542967","html_url":"https://github.com/AbsInt/CompCert/pull/232#issuecomment-392542967","issue_url":"https://api.github.com/repos/AbsInt/CompCert/issues/232","id":392542967,"user":{"login":"bschommer","id":6874733,"avatar_url":"https://avatars3.githubusercontent.com/u/6874733?v=4","gravatar_id":"","url":"https://api.github.com/users/bschommer","html_url":"https://github.com/bschommer","followers_url":"https://api.github.com/users/bschommer/followers","following_url":"https://api.github.com/users/bschommer/following{/other_user}","gists_url":"https://api.github.com/users/bschommer/gists{/gist_id}","starred_url":"https://api.github.com/users/bschommer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bschommer/subscriptions","organizations_url":"https://api.github.com/users/bschommer/orgs","repos_url":"https://api.github.com/users/bschommer/repos","events_url":"https://api.github.com/users/bschommer/events{/privacy}","received_events_url":"https://api.github.com/users/bschommer/received_events","type":"User","site_admin":false},"created_at":"2018-05-28T14:33:39Z","updated_at":"2018-05-28T14:33:39Z","author_association":"MEMBER","body":"Works for our internal build and can be merged."}}
{"actor":{"display_login":"bschommer"}}