I just cross compile the button_gpio.c example from your site with MRAA Mapped Pins according to board. Got the following error.
button_gpio.c:1:10: fatal error: mraa.h: No such file or directory
Solutions to your doubts are just one click away. Just select the appropriate category and ask questions. You can also reply to the answers you are already aware.