{"action":"created","issue":{"url":"https://api.github.com/repos/math-comp/math-comp/issues/77","repository_url":"https://api.github.com/repos/math-comp/math-comp","labels_url":"https://api.github.com/repos/math-comp/math-comp/issues/77/labels{/name}","comments_url":"https://api.github.com/repos/math-comp/math-comp/issues/77/comments","events_url":"https://api.github.com/repos/math-comp/math-comp/issues/77/events","html_url":"https://github.com/math-comp/math-comp/issues/77","id":182757111,"number":77,"title":"`make` is not idempotent","user":{"login":"RalfJung","id":330628,"avatar_url":"https://avatars.githubusercontent.com/u/330628?v=3","gravatar_id":"","url":"https://api.github.com/users/RalfJung","html_url":"https://github.com/RalfJung","followers_url":"https://api.github.com/users/RalfJung/followers","following_url":"https://api.github.com/users/RalfJung/following{/other_user}","gists_url":"https://api.github.com/users/RalfJung/gists{/gist_id}","starred_url":"https://api.github.com/users/RalfJung/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/RalfJung/subscriptions","organizations_url":"https://api.github.com/users/RalfJung/orgs","repos_url":"https://api.github.com/users/RalfJung/repos","events_url":"https://api.github.com/users/RalfJung/events{/privacy}","received_events_url":"https://api.github.com/users/RalfJung/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/math-comp/math-comp/labels/help%20wanted","name":"help wanted","color":"159818"}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":7,"created_at":"2016-10-13T10:52:07Z","updated_at":"2016-10-13T12:46:56Z","closed_at":null,"body":"After running\r\n* `git clean -xfd && git reset --hard HEAD`\r\n* `make && make install`\r\n\r\n`git diff` shows\r\n```\r\ndiff --git a/mathcomp/ssreflect/Make b/mathcomp/ssreflect/Make\r\nindex a10b9c5..993c0a7 100644\r\n--- a/mathcomp/ssreflect/Make\r\n+++ b/mathcomp/ssreflect/Make\r\n@@ -22,3 +22,4 @@ ssreflect.ml4\r\n \r\n -I .\r\n -R . mathcomp.ssreflect\r\n+ssreflect_plugin.mlpack\r\n```\r\n\r\nThe build process should not modify files that are under version control. This can lead, for example, to strange build failures after upgrades of Coq and/or ssreflect (see #75)."},"comment":{"url":"https://api.github.com/repos/math-comp/math-comp/issues/comments/253502928","html_url":"https://github.com/math-comp/math-comp/issues/77#issuecomment-253502928","issue_url":"https://api.github.com/repos/math-comp/math-comp/issues/77","id":253502928,"user":{"login":"gares","id":1013846,"avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=3","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false},"created_at":"2016-10-13T12:46:56Z","updated_at":"2016-10-13T12:46:56Z","body":"Tested with 8.6 and 8.4, and pushed."}}
{"actor":{"display_login":"gares"}}