This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Propose PR 6160 as high priority


"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.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]