Bug#881938: gnat: gnatmake should call gcc/g++ with system_type prefix

[Nicolas Boulenguez]

Hello.
It seems that debian/patches/ada-gcc-name.diff in gnat-8/8.3.0-6
applies your suggestion.
Do you confirm that this bug can be closed?