{"action":"created","issue":{"url":"https://api.github.com/repos/leanprover/lean/issues/797","labels_url":"https://api.github.com/repos/leanprover/lean/issues/797/labels{/name}","comments_url":"https://api.github.com/repos/leanprover/lean/issues/797/comments","events_url":"https://api.github.com/repos/leanprover/lean/issues/797/events","html_url":"https://github.com/leanprover/lean/issues/797","id":101044524,"number":797,"title":"out of memory problem","user":{"login":"soonhokong","id":403281,"avatar_url":"https://avatars.githubusercontent.com/u/403281?v=3","gravatar_id":"","url":"https://api.github.com/users/soonhokong","html_url":"https://github.com/soonhokong","followers_url":"https://api.github.com/users/soonhokong/followers","following_url":"https://api.github.com/users/soonhokong/following{/other_user}","gists_url":"https://api.github.com/users/soonhokong/gists{/gist_id}","starred_url":"https://api.github.com/users/soonhokong/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/soonhokong/subscriptions","organizations_url":"https://api.github.com/users/soonhokong/orgs","repos_url":"https://api.github.com/users/soonhokong/repos","events_url":"https://api.github.com/users/soonhokong/events{/privacy}","received_events_url":"https://api.github.com/users/soonhokong/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/leanprover/lean/labels/build","name":"build","color":"fbca04"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-08-14T16:12:40Z","updated_at":"2015-08-14T16:47:51Z","closed_at":null,"body":"@leodemoura, here is the error message that I get.\r\n\r\nEnvironment\r\n-----------------\r\n\r\n - Machine: 2GB Ram, 2CPU, 40GB SSD (digitalocean.com)\r\n - OS: Ubuntu 14.04\r\n - Compiler: `g++ (Ubuntu 4.8.4-2ubuntu1~14.04) 4.8.4`\r\n - CMake Option: `cmake ../src`\r\n - Make Option: `make VERBOSE=1 -j`\r\n\r\nError Message\r\n--------------------\r\n\r\n - https://gist.github.com/soonhokong/dc8dd0dde13e47ba7768\r\n\r\nNote\r\n------\r\n - `ninja -j` works without a problem.\r\n - I think this issue has very priority. Please feel free to close it."},"comment":{"url":"https://api.github.com/repos/leanprover/lean/issues/comments/131176577","html_url":"https://github.com/leanprover/lean/issues/797#issuecomment-131176577","issue_url":"https://api.github.com/repos/leanprover/lean/issues/797","id":131176577,"user":{"login":"leodemoura","id":2778936,"avatar_url":"https://avatars.githubusercontent.com/u/2778936?v=3","gravatar_id":"","url":"https://api.github.com/users/leodemoura","html_url":"https://github.com/leodemoura","followers_url":"https://api.github.com/users/leodemoura/followers","following_url":"https://api.github.com/users/leodemoura/following{/other_user}","gists_url":"https://api.github.com/users/leodemoura/gists{/gist_id}","starred_url":"https://api.github.com/users/leodemoura/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/leodemoura/subscriptions","organizations_url":"https://api.github.com/users/leodemoura/orgs","repos_url":"https://api.github.com/users/leodemoura/repos","events_url":"https://api.github.com/users/leodemoura/events{/privacy}","received_events_url":"https://api.github.com/users/leodemoura/received_events","type":"User","site_admin":false},"created_at":"2015-08-14T16:47:51Z","updated_at":"2015-08-14T16:47:51Z","body":"Thanks for investigating the problem. \r\n\r\n@dselsam I remember you had a similar problem at CICM. \r\nWhat did you do to workaround it?\r\n"}}