minigp32 don't work under linux.
I wrote a tutorial on how to install the arm gcc cross toolchain under a linux distribution. It is quite easy.
It is also easy to add the SDL lib from Chui to the linux gcc environement.
If i have time i will post a tutorial on where to put exactly the lib, include.
But as i said it is not very hard. You have to make the good links into your makefile.
good luck