{"action":"created","issue":{"url":"https://api.github.com/repos/seL4/sel4test-manifest/issues/2","repository_url":"https://api.github.com/repos/seL4/sel4test-manifest","labels_url":"https://api.github.com/repos/seL4/sel4test-manifest/issues/2/labels{/name}","comments_url":"https://api.github.com/repos/seL4/sel4test-manifest/issues/2/comments","events_url":"https://api.github.com/repos/seL4/sel4test-manifest/issues/2/events","html_url":"https://github.com/seL4/sel4test-manifest/issues/2","id":188914163,"number":2,"title":"make: missing the symbolic link for \"libsel4sync\"","user":{"login":"yenWu","id":11289349,"avatar_url":"https://avatars.githubusercontent.com/u/11289349?v=3","gravatar_id":"","url":"https://api.github.com/users/yenWu","html_url":"https://github.com/yenWu","followers_url":"https://api.github.com/users/yenWu/followers","following_url":"https://api.github.com/users/yenWu/following{/other_user}","gists_url":"https://api.github.com/users/yenWu/gists{/gist_id}","starred_url":"https://api.github.com/users/yenWu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/yenWu/subscriptions","organizations_url":"https://api.github.com/users/yenWu/orgs","repos_url":"https://api.github.com/users/yenWu/repos","events_url":"https://api.github.com/users/yenWu/events{/privacy}","received_events_url":"https://api.github.com/users/yenWu/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-11-12T14:25:02Z","updated_at":"2016-11-12T15:09:45Z","closed_at":"2016-11-12T15:09:45Z","body":"Following the instructions mentioned in [Getting Started](https://wiki.sel4.systems/Getting%20started):\r\n```\r\nmkdir seL4test\r\ncd seL4test\r\nrepo init -u https://github.com/seL4/sel4test-manifest.git\r\nrepo sync\r\nmake ia32_simulator_release_xml_defconfig\r\n``` \r\nthe step \"make ia32_simulator_release_xml_defconfig\"  failed and compiained:\r\n```\r\nKconfig:45: can't open file \"libs/libsel4sync/Kconfig\"\r\n```\r\n\r\nI noticed that it was just a missing symbolic link directory.\r\nAnd I fixed it by\r\n```\r\nln -s projects/seL4_libs/libsel4sync/ libs/libsel4sync/\r\n```"},"comment":{"url":"https://api.github.com/repos/seL4/sel4test-manifest/issues/comments/260127302","html_url":"https://github.com/seL4/sel4test-manifest/issues/2#issuecomment-260127302","issue_url":"https://api.github.com/repos/seL4/sel4test-manifest/issues/2","id":260127302,"user":{"login":"yenWu","id":11289349,"avatar_url":"https://avatars.githubusercontent.com/u/11289349?v=3","gravatar_id":"","url":"https://api.github.com/users/yenWu","html_url":"https://github.com/yenWu","followers_url":"https://api.github.com/users/yenWu/followers","following_url":"https://api.github.com/users/yenWu/following{/other_user}","gists_url":"https://api.github.com/users/yenWu/gists{/gist_id}","starred_url":"https://api.github.com/users/yenWu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/yenWu/subscriptions","organizations_url":"https://api.github.com/users/yenWu/orgs","repos_url":"https://api.github.com/users/yenWu/repos","events_url":"https://api.github.com/users/yenWu/events{/privacy}","received_events_url":"https://api.github.com/users/yenWu/received_events","type":"User","site_admin":false},"created_at":"2016-11-12T15:09:45Z","updated_at":"2016-11-12T15:09:45Z","body":"I pushed the patch that modified the manifest for this issue."}}
{"actor":{"display_login":"yenWu"}}