{"action":"created","issue":{"url":"https://api.github.com/repos/banacorn/language-agda/issues/8","repository_url":"https://api.github.com/repos/banacorn/language-agda","labels_url":"https://api.github.com/repos/banacorn/language-agda/issues/8/labels{/name}","comments_url":"https://api.github.com/repos/banacorn/language-agda/issues/8/comments","events_url":"https://api.github.com/repos/banacorn/language-agda/issues/8/events","html_url":"https://github.com/banacorn/language-agda/issues/8","id":331467939,"node_id":"MDU6SXNzdWUzMzE0Njc5Mzk=","number":8,"title":"tree-sitter-agda build error","user":{"login":"zraffer","id":8678430,"node_id":"MDQ6VXNlcjg2Nzg0MzA=","avatar_url":"https://avatars0.githubusercontent.com/u/8678430?v=4","gravatar_id":"","url":"https://api.github.com/users/zraffer","html_url":"https://github.com/zraffer","followers_url":"https://api.github.com/users/zraffer/followers","following_url":"https://api.github.com/users/zraffer/following{/other_user}","gists_url":"https://api.github.com/users/zraffer/gists{/gist_id}","starred_url":"https://api.github.com/users/zraffer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/zraffer/subscriptions","organizations_url":"https://api.github.com/users/zraffer/orgs","repos_url":"https://api.github.com/users/zraffer/repos","events_url":"https://api.github.com/users/zraffer/events{/privacy}","received_events_url":"https://api.github.com/users/zraffer/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":7,"created_at":"2018-06-12T07:25:30Z","updated_at":"2018-06-12T09:45:19Z","closed_at":"2018-06-12T08:07:33Z","author_association":"NONE","body":"> tree-sitter-agda@1.0.4 install /tmp/apm-install-dir-118512-10784-1xgowtg.0030x80k9/node_modules/language-agda/node_modules/tree-sitter-agda\r\n> node-gyp rebuild\r\n\r\nmake: Entering directory '/tmp/apm-install-dir-118512-10784-1xgowtg.0030x80k9/node_modules/language-agda/node_modules/tree-sitter-agda/build'\r\n  CC(target) Release/obj.target/tree_sitter_agda_binding/src/parser.o\r\n  CXX(target) Release/obj.target/tree_sitter_agda_binding/src/binding.o\r\n  CXX(target) Release/obj.target/tree_sitter_agda_binding/src/scanner.o\r\ntree_sitter_agda_binding.target.mk:101: recipe for target 'Release/obj.target/tree_sitter_agda_binding/src/scanner.o' failed\r\nmake: Leaving directory '/tmp/apm-install-dir-118512-10784-1xgowtg.0030x80k9/node_modules/language-agda/node_modules/tree-sitter-agda/build'\r\n\r\n../src/scanner.cc: In member function ‘void {anonymous}::Scanner::printValidSymbols(const bool*)’:\r\n../src/scanner.cc:53:17: error: ‘printf’ was not declared in this scope\r\n                 printf(\"<dedent> \");\r\n                 ^~~~~~\r\n../src/scanner.cc:53:17: note: suggested alternative: ‘uint’\r\n                 printf(\"<dedent> \");\r\n                 ^~~~~~\r\n                 uint\r\n../src/scanner.cc:56:17: error: ‘printf’ was not declared in this scope\r\n                 printf(\"<indent> \");\r\n                 ^~~~~~\r\n../src/scanner.cc:56:17: note: suggested alternative: ‘uint’\r\n                 printf(\"<indent> \");\r\n                 ^~~~~~\r\n                 uint\r\n../src/scanner.cc:59:17: error: ‘printf’ was not declared in this scope\r\n                 printf(\"<newline> \");\r\n                 ^~~~~~\r\n../src/scanner.cc:59:17: note: suggested alternative: ‘uint’\r\n                 printf(\"<newline> \");\r\n                 ^~~~~~\r\n                 uint\r\n../src/scanner.cc:61:13: error: ‘printf’ was not declared in this scope\r\n             printf(\"\\n\");\r\n             ^~~~~~\r\n../src/scanner.cc:61:13: note: suggested alternative: ‘uint’\r\n             printf(\"\\n\");\r\n             ^~~~~~\r\n             uint\r\nmake: *** [Release/obj.target/tree_sitter_agda_binding/src/scanner.o] Error 1\r\ngyp ERR! build error \r\ngyp ERR! stack Error: `make` failed with exit code: 2\r\ngyp ERR! stack     at ChildProcess.onExit (/usr/share/atom-beta/resources/app/apm/node_modules/node-gyp/lib/build.js:276:23)\r\ngyp ERR! stack     at emitTwo (events.js:106:13)\r\ngyp ERR! stack     at ChildProcess.emit (events.js:191:7)\r\ngyp ERR! stack     at Process.ChildProcess._handle.onexit (internal/child_process.js:215:12)\r\ngyp ERR! System Linux 4.17.1-041701-generic\r\ngyp ERR! command \"/usr/share/atom-beta/resources/app/apm/bin/node\" \"/usr/share/atom-beta/resources/app/apm/node_modules/.bin/node-gyp\" \"rebuild\"\r\ngyp ERR! cwd /tmp/apm-install-dir-118512-10784-1xgowtg.0030x80k9/node_modules/language-agda/node_modules/tree-sitter-agda\r\ngyp ERR! node -v v6.9.5\r\ngyp ERR! node-gyp -v v3.4.0\r\ngyp ERR! not ok \r\nnpm WARN enoent ENOENT: no such file or directory, open '/tmp/apm-install-dir-118512-10784-1xgowtg.0030x80k9/package.json'\r\nnpm WARN apm-install-dir-118512-10784-1xgowtg.0030x80k9 No description\r\nnpm WARN apm-install-dir-118512-10784-1xgowtg.0030x80k9 No repository field.\r\nnpm WARN apm-install-dir-118512-10784-1xgowtg.0030x80k9 No README data\r\nnpm WARN apm-install-dir-118512-10784-1xgowtg.0030x80k9 No license field.\r\nnpm ERR! Linux 4.17.1-041701-generic\r\nnpm ERR! argv \"/usr/share/atom-beta/resources/app/apm/bin/node\" \"/usr/share/atom-beta/resources/app/apm/node_modules/npm/bin/npm-cli.js\" \"--globalconfig\" \"/home/me/.atom/.apm/.apmrc\" \"--userconfig\" \"/home/me/.atom/.apmrc\" \"install\" \"/tmp/d-118512-10784-1sva741.ifxui0be29/package.tgz\" \"--runtime=electron\" \"--target=2.0.1\" \"--arch=x64\" \"--global-style\"\r\nnpm ERR! node v6.9.5\r\nnpm ERR! npm  v3.10.10\r\nnpm ERR! code ELIFECYCLE\r\n\r\nnpm ERR! tree-sitter-agda@1.0.4 install: `node-gyp rebuild`\r\nnpm ERR! Exit status 1\r\nnpm ERR! \r\nnpm ERR! Failed at the tree-sitter-agda@1.0.4 install script 'node-gyp rebuild'.\r\nnpm ERR! Make sure you have the latest version of node.js and npm installed.\r\nnpm ERR! If you do, this is most likely a problem with the tree-sitter-agda package,\r\nnpm ERR! not with npm itself.\r\nnpm ERR! Tell the author that this fails on your system:\r\nnpm ERR!     node-gyp rebuild\r\nnpm ERR! You can get information on how to open an issue for this project with:\r\nnpm ERR!     npm bugs tree-sitter-agda\r\nnpm ERR! Or if that isn't available, you can get their info via:\r\nnpm ERR!     npm owner ls tree-sitter-agda\r\nnpm ERR! There is likely additional logging output above.\r\n\r\nnpm ERR! Please include the following file with any support request:\r\nnpm ERR!     /tmp/apm-install-dir-118512-10784-1xgowtg.0030x80k9/npm-debug.log"},"comment":{"url":"https://api.github.com/repos/banacorn/language-agda/issues/comments/396531463","html_url":"https://github.com/banacorn/language-agda/issues/8#issuecomment-396531463","issue_url":"https://api.github.com/repos/banacorn/language-agda/issues/8","id":396531463,"node_id":"MDEyOklzc3VlQ29tbWVudDM5NjUzMTQ2Mw==","user":{"login":"banacorn","id":797844,"node_id":"MDQ6VXNlcjc5Nzg0NA==","avatar_url":"https://avatars1.githubusercontent.com/u/797844?v=4","gravatar_id":"","url":"https://api.github.com/users/banacorn","html_url":"https://github.com/banacorn","followers_url":"https://api.github.com/users/banacorn/followers","following_url":"https://api.github.com/users/banacorn/following{/other_user}","gists_url":"https://api.github.com/users/banacorn/gists{/gist_id}","starred_url":"https://api.github.com/users/banacorn/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/banacorn/subscriptions","organizations_url":"https://api.github.com/users/banacorn/orgs","repos_url":"https://api.github.com/users/banacorn/repos","events_url":"https://api.github.com/users/banacorn/events{/privacy}","received_events_url":"https://api.github.com/users/banacorn/received_events","type":"User","site_admin":false},"created_at":"2018-06-12T09:45:19Z","updated_at":"2018-06-12T09:45:19Z","author_association":"OWNER","body":"That's quite possible!"}}
{"actor":{"display_login":"banacorn"}}