{"action":"created","issue":{"url":"https://api.github.com/repos/coq/coq/issues/8862","repository_url":"https://api.github.com/repos/coq/coq","labels_url":"https://api.github.com/repos/coq/coq/issues/8862/labels{/name}","comments_url":"https://api.github.com/repos/coq/coq/issues/8862/comments","events_url":"https://api.github.com/repos/coq/coq/issues/8862/events","html_url":"https://github.com/coq/coq/issues/8862","id":375401333,"node_id":"MDU6SXNzdWUzNzU0MDEzMzM=","number":8862,"title":"Coq Dune-based build fails on current master","user":{"login":"anton-trunov","id":2316541,"node_id":"MDQ6VXNlcjIzMTY1NDE=","avatar_url":"https://avatars0.githubusercontent.com/u/2316541?v=4","gravatar_id":"","url":"https://api.github.com/users/anton-trunov","html_url":"https://github.com/anton-trunov","followers_url":"https://api.github.com/users/anton-trunov/followers","following_url":"https://api.github.com/users/anton-trunov/following{/other_user}","gists_url":"https://api.github.com/users/anton-trunov/gists{/gist_id}","starred_url":"https://api.github.com/users/anton-trunov/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/anton-trunov/subscriptions","organizations_url":"https://api.github.com/users/anton-trunov/orgs","repos_url":"https://api.github.com/users/anton-trunov/repos","events_url":"https://api.github.com/users/anton-trunov/events{/privacy}","received_events_url":"https://api.github.com/users/anton-trunov/received_events","type":"User","site_admin":false},"labels":[{"id":941165222,"node_id":"MDU6TGFiZWw5NDExNjUyMjI=","url":"https://api.github.com/repos/coq/coq/labels/part:%20build","name":"part: build","color":"dddddd","default":false},{"id":723363784,"node_id":"MDU6TGFiZWw3MjMzNjM3ODQ=","url":"https://api.github.com/repos/coq/coq/labels/platform:%20macOS","name":"platform: macOS","color":"6855ba","default":false}],"state":"open","locked":false,"assignee":{"login":"ejgallego","id":7192257,"node_id":"MDQ6VXNlcjcxOTIyNTc=","avatar_url":"https://avatars2.githubusercontent.com/u/7192257?v=4","gravatar_id":"","url":"https://api.github.com/users/ejgallego","html_url":"https://github.com/ejgallego","followers_url":"https://api.github.com/users/ejgallego/followers","following_url":"https://api.github.com/users/ejgallego/following{/other_user}","gists_url":"https://api.github.com/users/ejgallego/gists{/gist_id}","starred_url":"https://api.github.com/users/ejgallego/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ejgallego/subscriptions","organizations_url":"https://api.github.com/users/ejgallego/orgs","repos_url":"https://api.github.com/users/ejgallego/repos","events_url":"https://api.github.com/users/ejgallego/events{/privacy}","received_events_url":"https://api.github.com/users/ejgallego/received_events","type":"User","site_admin":false},"assignees":[{"login":"ejgallego","id":7192257,"node_id":"MDQ6VXNlcjcxOTIyNTc=","avatar_url":"https://avatars2.githubusercontent.com/u/7192257?v=4","gravatar_id":"","url":"https://api.github.com/users/ejgallego","html_url":"https://github.com/ejgallego","followers_url":"https://api.github.com/users/ejgallego/followers","following_url":"https://api.github.com/users/ejgallego/following{/other_user}","gists_url":"https://api.github.com/users/ejgallego/gists{/gist_id}","starred_url":"https://api.github.com/users/ejgallego/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ejgallego/subscriptions","organizations_url":"https://api.github.com/users/ejgallego/orgs","repos_url":"https://api.github.com/users/ejgallego/repos","events_url":"https://api.github.com/users/ejgallego/events{/privacy}","received_events_url":"https://api.github.com/users/ejgallego/received_events","type":"User","site_admin":false}],"milestone":{"url":"https://api.github.com/repos/coq/coq/milestones/16","html_url":"https://github.com/coq/coq/milestone/16","labels_url":"https://api.github.com/repos/coq/coq/milestones/16/labels","id":3512681,"node_id":"MDk6TWlsZXN0b25lMzUxMjY4MQ==","number":16,"title":"8.10+beta1","description":"","creator":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars2.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"open_issues":101,"closed_issues":230,"state":"open","created_at":"2018-07-20T18:48:13Z","updated_at":"2018-11-05T17:40:37Z","due_on":null,"closed_at":null},"comments":6,"created_at":"2018-10-30T09:48:52Z","updated_at":"2018-11-05T17:46:34Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"#### Version\r\n\r\nmaster (0ac673e562c34245e4e48efc428d808e917be79b)\r\n\r\n#### Operating system\r\n\r\nmacOS 10.14 (Mojave)\r\n\r\n#### Description of the problem\r\n\r\nThis issue follows the discussion at coq-community/lemma-overloading#14\r\n\r\n```shell\r\n$ cat .git/HEAD\r\nref: refs/heads/master\r\n$ cat .git/refs/heads/master\r\n0ac673e562c34245e4e48efc428d808e917be79b\r\n$ git clean -dfx\r\n$ make -f Makefile.dune voboot\r\ndune build  @vodeps\r\ndune exec coq_dune _build/default/.vfiles.d\r\n$ dune build -p coq -j2\r\n      coqtop theories/Init/Decimal.vo\r\nWhile loading initial state:\r\nWarning:\r\nCannot open /Users/antontrunov/prj/coq/coq/_build/install/default/theories\r\n[cannot-open-path,filesystem]\r\nWhile loading initial state:\r\nWarning:\r\nCannot open /Users/antontrunov/prj/coq/coq/_build/install/default/plugins\r\n[cannot-open-path,filesystem]\r\n      coqtop theories/Init/Notations.vo (exit 1)\r\n(cd _build/default && ../install/default/bin/coqtop -boot -noinit -R theories Coq -compile theories/Init/Notations.v)\r\nWhile loading initial state:\r\nWarning:\r\nCannot open /Users/antontrunov/prj/coq/coq/_build/install/default/theories\r\n[cannot-open-path,filesystem]\r\nWhile loading initial state:\r\nWarning:\r\nCannot open /Users/antontrunov/prj/coq/coq/_build/install/default/plugins\r\n[cannot-open-path,filesystem]\r\nFile \"./theories/Init/Notations.v\", line 128, characters 0-32:\r\nError:\r\nFile not found on loadpath : ltac_plugin.cmxs\r\nLoadpath: /Users/antontrunov/prj/coq/coq/_build/default\r\n$ ls -l _build/install/bin\r\nls: cannot access '_build/install/bin': No such file or directory\r\n```\r\n\r\nCC @ejgallego "},"comment":{"url":"https://api.github.com/repos/coq/coq/issues/comments/435967862","html_url":"https://github.com/coq/coq/issues/8862#issuecomment-435967862","issue_url":"https://api.github.com/repos/coq/coq/issues/8862","id":435967862,"node_id":"MDEyOklzc3VlQ29tbWVudDQzNTk2Nzg2Mg==","user":{"login":"ejgallego","id":7192257,"node_id":"MDQ6VXNlcjcxOTIyNTc=","avatar_url":"https://avatars2.githubusercontent.com/u/7192257?v=4","gravatar_id":"","url":"https://api.github.com/users/ejgallego","html_url":"https://github.com/ejgallego","followers_url":"https://api.github.com/users/ejgallego/followers","following_url":"https://api.github.com/users/ejgallego/following{/other_user}","gists_url":"https://api.github.com/users/ejgallego/gists{/gist_id}","starred_url":"https://api.github.com/users/ejgallego/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ejgallego/subscriptions","organizations_url":"https://api.github.com/users/ejgallego/orgs","repos_url":"https://api.github.com/users/ejgallego/repos","events_url":"https://api.github.com/users/ejgallego/events{/privacy}","received_events_url":"https://api.github.com/users/ejgallego/received_events","type":"User","site_admin":false},"created_at":"2018-11-05T17:46:33Z","updated_at":"2018-11-05T17:46:33Z","author_association":"MEMBER","body":"@anton-trunov can you check if #8903 fixes this?"}}
{"actor":{"display_login":"ejgallego"}}