This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Propose PR 6160 as high priority
Alexandre Oliva <aoliva@redhat.com> writes:
>> 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.
>
> Couldn't it just test that gnatgcc and gnatbind have the same version
> identifiers? (assuming such version identifiers exist)
Such identifiers do exist, but there doesn't seem to be an easy way to
extract them:
"gnatgcc -x ada -gnatv /dev/null" yields:
|
| GNAT 3.14p (20010503) Copyright 1992-2001 Free Software Foundation, Inc.
| gnat1: Cannot find: null
"gnatbind -v /dev/null" yields:
|
| GNATBIND 3.14p (20010503) Copyright 1995-2001 Free Software Foundation, Inc.
|
| Binding: null.ali
| gnatbind: Cannot find: null.ali
Shall I write a sed script which extracts the version identifier?
Shall it include the date?