{"action":"created","issue":{"url":"https://api.github.com/repos/fredrik-johansson/arb/issues/24","labels_url":"https://api.github.com/repos/fredrik-johansson/arb/issues/24/labels{/name}","comments_url":"https://api.github.com/repos/fredrik-johansson/arb/issues/24/comments","events_url":"https://api.github.com/repos/fredrik-johansson/arb/issues/24/events","html_url":"https://github.com/fredrik-johansson/arb/issues/24","id":40413831,"number":24,"title":"flint.h or flint/flint.h?","user":{"login":"bluescarni","id":623038,"avatar_url":"https://avatars.githubusercontent.com/u/623038?v=3","gravatar_id":"","url":"https://api.github.com/users/bluescarni","html_url":"https://github.com/bluescarni","followers_url":"https://api.github.com/users/bluescarni/followers","following_url":"https://api.github.com/users/bluescarni/following{/other_user}","gists_url":"https://api.github.com/users/bluescarni/gists{/gist_id}","starred_url":"https://api.github.com/users/bluescarni/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bluescarni/subscriptions","organizations_url":"https://api.github.com/users/bluescarni/orgs","repos_url":"https://api.github.com/users/bluescarni/repos","events_url":"https://api.github.com/users/bluescarni/events{/privacy}","received_events_url":"https://api.github.com/users/bluescarni/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":30,"created_at":"2014-08-16T16:08:07Z","updated_at":"2016-01-16T13:54:07Z","closed_at":null,"body":"Currently, some files in Arb (e.g., ``fmpr.h``) include the FLINT headers as ``#include \"flint.h\"``. I am wondering if this should be ``#include \"flint/flint.h\"`` instead, as it seems that FLINT headers are commonly installed in a ``flint/`` subdirectory (e.g., ``/usr/include/flint/flint.h`` on my setup).\r\n\r\nThe current way of including ``flint.h`` essentially prevents to compile files including the Arb headers without adding extra ``-I`` switches to the compiler command line. Or am I missing something?"},"comment":{"url":"https://api.github.com/repos/fredrik-johansson/arb/issues/comments/172208448","html_url":"https://github.com/fredrik-johansson/arb/issues/24#issuecomment-172208448","issue_url":"https://api.github.com/repos/fredrik-johansson/arb/issues/24","id":172208448,"user":{"login":"SnarkBoojum","id":4647429,"avatar_url":"https://avatars.githubusercontent.com/u/4647429?v=3","gravatar_id":"","url":"https://api.github.com/users/SnarkBoojum","html_url":"https://github.com/SnarkBoojum","followers_url":"https://api.github.com/users/SnarkBoojum/followers","following_url":"https://api.github.com/users/SnarkBoojum/following{/other_user}","gists_url":"https://api.github.com/users/SnarkBoojum/gists{/gist_id}","starred_url":"https://api.github.com/users/SnarkBoojum/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SnarkBoojum/subscriptions","organizations_url":"https://api.github.com/users/SnarkBoojum/orgs","repos_url":"https://api.github.com/users/SnarkBoojum/repos","events_url":"https://api.github.com/users/SnarkBoojum/events{/privacy}","received_events_url":"https://api.github.com/users/SnarkBoojum/received_events","type":"User","site_admin":false},"created_at":"2016-01-16T13:54:07Z","updated_at":"2016-01-16T13:54:07Z","body":"I've already debian packages for ARB 2.7.0 available here: http://mentors.debian.net/package/arb\r\n\r\nI'm mostly waiting to see how the dust settles on the issue of header files before I propose them officially."}}