GDC CI

[wjoe]

On Wednesday, 16 September 2020 at 21:05:27 UTC, Iain Buclaw 
wrote:
>
> You should be able to get yourself down to about ~30MB. ;-)
>
> I'll see if there's any miscellaneous tweaks you can do, but 
> the most obvious one is `strip --strip-debug`.

`make install-strip` should do the trick.

Also, the final installation docs [1] advise against stripping 
the GNAT runtime, as this would break certain features of the 
debugger that depend on this debugging information (catching Ada 
exceptions for instance). Is that relevant ?

[1] https://gcc.gnu.org/install/finalinstall.html