Hi Rei,
Thank you for letting me know,
anyway I have already modified the Adafruit GFX library so it now runs on the CC3200,
I will publish it as soon as I finish some last cleanups,
During the process, I have learned about some compilation differences between Arduino and Energia which I'd be happy to share if there is any interest
Thanks
Guy