Hello Paolo,
4. The CC3000 Host driver for Stellaris M4 platform is not supported with CCS IDE.
this is a limitation currently - here is the release notes wiki link:
http://processors.wiki.ti.com/index.php/CC3000_1.10_Release_Notes#Release_limitations: