I tried to build the
c-arduino-hello example app for my CC3200 board. It failed when compiling
It seems that part of the files are compiled with GCC and others with TICXX or TICC, and the errors appear when the C++ files are compiled using TICXX.
Is this combination of the Arduino emulation stuff and the CC3200 supposed to work?