Kodi Headers for Archlinux.

Hello,
Where can I find the kodi headers for ARchlinux ?

I try to compile the midi addon support :
http://forum.kodi.tv/showthread.php?tid=306436

I did ask (in case) here :
https://forums.archlinux.fr/viewtopic.php?f=13&t=18913

Thanks in advance.