This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Propose PR 6160 as high priority
- From: Florian Weimer <fw at deneb dot enyo dot de>
- To: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- Cc: Robert Dewar <dewar at gnat dot com>, <kenner at vlsi1 dot ultra dot nyu dot edu>, <lucier at math dot purdue dot edu>, <gcc at gcc dot gnu dot org>
- Date: Tue, 16 Apr 2002 22:54:00 +0200
- Subject: Re: Propose PR 6160 as high priority
- References: <Pine.LNX.4.33.0204152117040.8673-100000@kern.srcf.societies.cam.ac.uk>
"Joseph S. Myers" <jsm28@cam.ac.uk> writes:
>> Not clear what test would accomplish this.
>
> At least there should be a version check, that the version of GNAT is
> sufficiently recent (>= 3.13), so that the build doesn't fail on systems
> (such as Debian stable) with 3.12 or older versions installed.
PR 6160 is the result of an incoherent build system (gnatgcc is
present, but gnatbind does not match it).
In order to detect such situations reliably, configure would have to
build a test program---not by invoking gnatmake, but using the
run-time library that ships the with the GCC sources.