{"action":"opened","issue":{"url":"https://api.github.com/repos/coq/coq/issues/10565","repository_url":"https://api.github.com/repos/coq/coq","labels_url":"https://api.github.com/repos/coq/coq/issues/10565/labels{/name}","comments_url":"https://api.github.com/repos/coq/coq/issues/10565/comments","events_url":"https://api.github.com/repos/coq/coq/issues/10565/events","html_url":"https://github.com/coq/coq/issues/10565","id":472550629,"node_id":"MDU6SXNzdWU0NzI1NTA2Mjk=","number":10565,"title":"coq_makefile should let .coqdeps file be configurable","user":{"login":"mattam82","id":98373,"node_id":"MDQ6VXNlcjk4Mzcz","avatar_url":"https://avatars1.githubusercontent.com/u/98373?v=4","gravatar_id":"","url":"https://api.github.com/users/mattam82","html_url":"https://github.com/mattam82","followers_url":"https://api.github.com/users/mattam82/followers","following_url":"https://api.github.com/users/mattam82/following{/other_user}","gists_url":"https://api.github.com/users/mattam82/gists{/gist_id}","starred_url":"https://api.github.com/users/mattam82/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mattam82/subscriptions","organizations_url":"https://api.github.com/users/mattam82/orgs","repos_url":"https://api.github.com/users/mattam82/repos","events_url":"https://api.github.com/users/mattam82/events{/privacy}","received_events_url":"https://api.github.com/users/mattam82/received_events","type":"User","site_admin":false},"labels":[{"id":723611231,"node_id":"MDU6TGFiZWw3MjM2MTEyMzE=","url":"https://api.github.com/repos/coq/coq/labels/kind:%20enhancement","name":"kind: enhancement","color":"0e8a16","default":false},{"id":723364180,"node_id":"MDU6TGFiZWw3MjMzNjQxODA=","url":"https://api.github.com/repos/coq/coq/labels/part:%20tools","name":"part: tools","color":"dddddd","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2019-07-24T21:43:41Z","updated_at":"2019-07-24T21:43:41Z","closed_at":null,"author_association":"MEMBER","body":"<!-- Thank you for reporting a bug to Coq! -->\r\n\r\n#### Description of the problem\r\n\r\nThe `coq_makefile` tool does not allow setting a specific dependency file. This prevents the use of multiple _*Project files in the same directory. My setup is that I need first to extract code from a first bunch of .v files, the compile some ML code and finally compile another bunch of .v files depending on those. Everything works fine except the hardcoded VDFILE variable in the generated Makefiles makes that the two makefiles have a data race at it, whereas I would like to let the second bunch of files use another dependency file. I guess a `VDFILES =? .coqdeps.d` change would be enough to make this configurable.\r\n#### Coq Version\r\n\r\n8.8.2"}}
{"actor":{"display_login":"mattam82"}}