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

To: 881938@bugs.debian.org
Subject: Bug#881938: gnat: gnatmake should call gcc/g++ with system_type prefix
From: Nicolas Boulenguez <nicolas@debian.org>
Date: Wed, 17 Jul 2019 12:53:02 +0200
Message-id: <[🔎] 20190717105302.GA8194@nicolasthinkpad>
Reply-to: Nicolas Boulenguez <nicolas@debian.org>, 881938@bugs.debian.org
References: <CAKcpw6VjDUwxcDYPFvG1eawNBpOJdSUmn4OUWwvKOfRLNCjF5Q@mail.gmail.com>

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?

Reply to: