{"action":"created","issue":{"url":"https://api.github.com/repos/facebook/infer/issues/429","repository_url":"https://api.github.com/repos/facebook/infer","labels_url":"https://api.github.com/repos/facebook/infer/issues/429/labels{/name}","comments_url":"https://api.github.com/repos/facebook/infer/issues/429/comments","events_url":"https://api.github.com/repos/facebook/infer/issues/429/events","html_url":"https://github.com/facebook/infer/pull/429","id":169713286,"number":429,"title":"Fixes/updates to build on linux.","user":{"login":"ronin13","id":271234,"avatar_url":"https://avatars.githubusercontent.com/u/271234?v=3","gravatar_id":"","url":"https://api.github.com/users/ronin13","html_url":"https://github.com/ronin13","followers_url":"https://api.github.com/users/ronin13/followers","following_url":"https://api.github.com/users/ronin13/following{/other_user}","gists_url":"https://api.github.com/users/ronin13/gists{/gist_id}","starred_url":"https://api.github.com/users/ronin13/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ronin13/subscriptions","organizations_url":"https://api.github.com/users/ronin13/orgs","repos_url":"https://api.github.com/users/ronin13/repos","events_url":"https://api.github.com/users/ronin13/events{/privacy}","received_events_url":"https://api.github.com/users/ronin13/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/facebook/infer/labels/CLA%20Signed","name":"CLA Signed","color":"009900"}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2016-08-05T23:19:06Z","updated_at":"2016-08-09T14:21:42Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/facebook/infer/pulls/429","html_url":"https://github.com/facebook/infer/pull/429","diff_url":"https://github.com/facebook/infer/pull/429.diff","patch_url":"https://github.com/facebook/infer/pull/429.patch"},"body":"a) An update to build-infer.sh to avoid downloading/building 4.02.3\r\nocaml compiler when it is already present.\r\nb) Add the ifdef to avoid this error on glibc systems:\r\n\r\n    clang -c -w libc_basic.c -o libc_basic.o\r\n    libc_basic.c:692:12: error: unknown type name '__WAIT_STATUS'\r\n    pid_t wait(__WAIT_STATUS stat_loc) {\r\n            ^"},"comment":{"url":"https://api.github.com/repos/facebook/infer/issues/comments/238568409","html_url":"https://github.com/facebook/infer/pull/429#issuecomment-238568409","issue_url":"https://api.github.com/repos/facebook/infer/issues/429","id":238568409,"user":{"login":"ronin13","id":271234,"avatar_url":"https://avatars.githubusercontent.com/u/271234?v=3","gravatar_id":"","url":"https://api.github.com/users/ronin13","html_url":"https://github.com/ronin13","followers_url":"https://api.github.com/users/ronin13/followers","following_url":"https://api.github.com/users/ronin13/following{/other_user}","gists_url":"https://api.github.com/users/ronin13/gists{/gist_id}","starred_url":"https://api.github.com/users/ronin13/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ronin13/subscriptions","organizations_url":"https://api.github.com/users/ronin13/orgs","repos_url":"https://api.github.com/users/ronin13/repos","events_url":"https://api.github.com/users/ronin13/events{/privacy}","received_events_url":"https://api.github.com/users/ronin13/received_events","type":"User","site_admin":false},"created_at":"2016-08-09T14:21:42Z","updated_at":"2016-08-09T14:21:42Z","body":"> We create separate opam switch intentionally to not pollute default opam switch (in case someone uses it for other ocaml development). The downside I know about is that ocaml needs to be rebuilt (but only once).\r\n\r\nYes, even with this, it clones a separate compiler but it clones from existing one rather than downloading and building 4.02.3 compiler  again even if it is installed.\r\n\r\nAs you can see from https://gist.github.com/ronin13/5bd675296326c3bfdff9e2e3dfc26a88 it doesn't modify the opam switch.\r\n\r\n> Regarding b)\r\n> Interesting find. Does compilation fail for you without it? What system and which version of gcc are you using?\r\n\r\n```\r\npacman -Q 'glibc' 'gcc-libs-multilib' 'gcc-multilib'\r\nglibc 2.24-2\r\ngcc-libs-multilib 6.1.1-5\r\ngcc-multilib 6.1.1-5\r\n\r\nlsb_release\r\nLSB Version:    1.4\r\n\r\nDistro is Arch Linux.\r\n```\r\n\r\n\r\n  and, yes, compilation fails with:\r\n```\r\n\r\nclang -c -w libc_basic.c -o libc_basic.o\r\nlibc_basic.c:692:12: error: unknown type name '__WAIT_STATUS'\r\npid_t wait(__WAIT_STATUS stat_loc) {\r\n           ^\r\n```"}}
{"actor":{"display_login":"ronin13"}}