Bug#856274: removal of ada-gcc-name patch causes build failures for non default gnat builds

To: Debian Bug Tracking System <856274@bugs.debian.org>
Subject: Bug#856274: removal of ada-gcc-name patch causes build failures for non default gnat builds
From: Nicolas Boulenguez <nicolas@debian.org>
Date: Mon, 26 Jun 2017 19:29:43 +0200
Message-id: <[🔎] 20170626172943.q72zdhkadw7flupe@pegase>
Reply-to: Nicolas Boulenguez <nicolas@debian.org>, 856274@bugs.debian.org

Package: gnat-5,gnat-6,gnat-7
Followup-For: Bug #856274

On gnat-7/7.1.0-7,  the work-around has no effect.
ARCH-gcc-7-7 is searched but not found.

Reply to:

Follow-Ups:
- Bug#856274: removal of ada-gcc-name patch causes build failures for non default gnat builds
  - From: Matthias Klose <doko@debian.org>