Bug#759038: gnat-4.9: gnat1 and libgnatvsn-dev versions differ

2014-10-21 Thread Ludovic Brenta
I tried my proposed patch but reverted it. The patch did not solve the problem because the problem was actually simpler; in asis, A4G.GNAT_Int.Tree_In_With_Version_Check would raise an exception whenever Gnatvsn.Gnat_Version_String did *not* contain an opening paren (. ASIS did not actually

Bug#759038: gnat-4.9: gnat1 and libgnatvsn-dev versions differ

2014-10-16 Thread Ludovic Brenta
I have committed a proposed change to gcc-base-version.diff as revision 7691. I will try to experiment with this and gnat-4.9 when I have time and will not upload before doko approves of this change. -- Ludovic Brenta. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org

Bug#759038: gnat-4.9: gnat1 and libgnatvsn-dev versions differ

2014-08-24 Thread Matthias Klose
Am 24.08.2014 um 01:14 schrieb Nicolas Boulenguez: Package: gnat-4.9 Version: 4.9.1-1 Severity: normal Hello. The sources in libgnatvsn-dev do not match the embedded data in the compiler executable. The version_string embedded in libgnatvsn-dev is 4.9, as show by -- tmp.c #include

Bug#759038: gnat-4.9: gnat1 and libgnatvsn-dev versions differ

2014-08-24 Thread Nicolas Boulenguez
There seems to be two different issues. - gcc -dumpversion should answer 4.9.1 instead of 4.9 - gnat1 should be linked with gnatvsn. Your last commit fixes the former, but I would like this bug to remain open as long as the latter is not clarified. -- To UNSUBSCRIBE, email to

Bug#759038: gnat-4.9: gnat1 and libgnatvsn-dev versions differ

2014-08-24 Thread Matthias Klose
Am 24.08.2014 um 11:07 schrieb Nicolas Boulenguez: There seems to be two different issues. - gcc -dumpversion should answer 4.9.1 instead of 4.9 - gnat1 should be linked with gnatvsn. Your last commit fixes the former, but I would like this bug to remain open as long as the latter is not

Bug#759038: gnat-4.9: gnat1 and libgnatvsn-dev versions differ

2014-08-23 Thread Nicolas Boulenguez
Package: gnat-4.9 Version: 4.9.1-1 Severity: normal Hello. The sources in libgnatvsn-dev do not match the embedded data in the compiler executable. The version_string embedded in libgnatvsn-dev is 4.9, as show by -- tmp.c #include stdio.h extern const char version_string []; int main (void) {