C++ compiler for stm32f4discovery

Hi,

we are trying to compile c++ code for the stm32f4discovery. Our implementation requires the exception_ptr.h include in the STL exception header, which is only defined if the ATOMIC_INT_LOCK_FREE flag is greater than 1. This is not the case in the gcc4.8 compiler found on launchpad.

Does anyone know how to circumvent this problem or where we could find an alternative compiler?

Thanks Raphael