There are multiple distributions under different licenses. If you compile this source (CE) - yes your code must be GPL. Adacore's distribution is the most up

There are multiple distributions under different licenses. If you compile this source (CE) - yes your code must be GPL. Adacore's distribution is the most up to date. The FSF distribution has the normal gcc exceptions. The FSF distribution is normally what's shipped with linux distros. It tends to be slightly older.