{"action":"created","issue":{"url":"https://api.github.com/repos/pkg-php/php/issues/3","repository_url":"https://api.github.com/repos/pkg-php/php","labels_url":"https://api.github.com/repos/pkg-php/php/issues/3/labels{/name}","comments_url":"https://api.github.com/repos/pkg-php/php/issues/3/comments","events_url":"https://api.github.com/repos/pkg-php/php/issues/3/events","html_url":"https://github.com/pkg-php/php/issues/3","id":167844372,"number":3,"title":"Unable to compile on Ubuntu due to tidy header file name","user":{"login":"allardhoeve","id":1262726,"avatar_url":"https://avatars.githubusercontent.com/u/1262726?v=3","gravatar_id":"","url":"https://api.github.com/users/allardhoeve","html_url":"https://github.com/allardhoeve","followers_url":"https://api.github.com/users/allardhoeve/followers","following_url":"https://api.github.com/users/allardhoeve/following{/other_user}","gists_url":"https://api.github.com/users/allardhoeve/gists{/gist_id}","starred_url":"https://api.github.com/users/allardhoeve/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/allardhoeve/subscriptions","organizations_url":"https://api.github.com/users/allardhoeve/orgs","repos_url":"https://api.github.com/users/allardhoeve/repos","events_url":"https://api.github.com/users/allardhoeve/events{/privacy}","received_events_url":"https://api.github.com/users/allardhoeve/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-07-27T12:44:06Z","updated_at":"2016-07-27T14:32:40Z","closed_at":"2016-07-27T14:32:40Z","body":"When using `libtidy-dev` from Ubuntu, the compile fails with:\r\n\r\n```\r\n/tmp/buildd/php7.0-7.0.9/ext/tidy/tidy.c:34:24: fatal error: tidybuffio.h: No such file or directory\r\ncompilation terminated.\r\n```\r\n\r\nThis is due to the fact that `libtidy-dev` does not ship tidybuffio.h like Debian does. It only ships `buffio.h`."},"comment":{"url":"https://api.github.com/repos/pkg-php/php/issues/comments/235603813","html_url":"https://github.com/pkg-php/php/issues/3#issuecomment-235603813","issue_url":"https://api.github.com/repos/pkg-php/php/issues/3","id":235603813,"user":{"login":"allardhoeve","id":1262726,"avatar_url":"https://avatars.githubusercontent.com/u/1262726?v=3","gravatar_id":"","url":"https://api.github.com/users/allardhoeve","html_url":"https://github.com/allardhoeve","followers_url":"https://api.github.com/users/allardhoeve/followers","following_url":"https://api.github.com/users/allardhoeve/following{/other_user}","gists_url":"https://api.github.com/users/allardhoeve/gists{/gist_id}","starred_url":"https://api.github.com/users/allardhoeve/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/allardhoeve/subscriptions","organizations_url":"https://api.github.com/users/allardhoeve/orgs","repos_url":"https://api.github.com/users/allardhoeve/repos","events_url":"https://api.github.com/users/allardhoeve/events{/privacy}","received_events_url":"https://api.github.com/users/allardhoeve/received_events","type":"User","site_admin":false},"created_at":"2016-07-27T14:32:40Z","updated_at":"2016-07-27T14:32:40Z","body":"Sorry, just found the issue. After disabling `debian/patches/0047-Adjust-tidy-extension-for-tidy-html5.patch`, things work as intended."}}
{"actor":{"display_login":"allardhoeve"}}