Re: QtAda & Debian

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

Gour writes:
>> or c) modify the sources of QtAda 3.1 to work around the bug in GNAT.
> 
> I do not know much about Ada's toolchain, so not sure how much I could
> do.
> 
>> Quite often, it is easy to work around compiler bugs with only very
>> small changes to the sources.  
> 
> For now I can tell that gprbuild is not aware of gcc-4.7 so gprconfig
> does not detect 4.7.x gcc compiler and would have to be updated.

This time you misunderstood me.  I was not suggesting you change
anything to the toolchain; I was suggesting you change QtAda slightly so
it compiles with the existing toolchain.

> > gcc-4.6 -c -g -O2 -gnat05 -gnatW8 -I- -gnatA
> /home/gour/tmp/qtada-gpl-3.1.0/examples/qt_ada/tasking/jobs.adb
> +===========================GNAT BUG DETECTED==============================+
> | 4.6.3 (x86_64-pc-linux-gnu) Assert_Failure sem_ch3.adb:13325             |
> | Error detected at qt_ada-object_unchecked_deallocation.ads:34:9 [jobs.adb:37:7]|

So my suggestion was to change the file jobs.adb around line 37 and
recompile.  You don't need to know how gprbuild or gnatmake works, or
how to change them.  Like I said, quite often a small change to the
sources suffices to work around the compiler bug.

-- 
Ludovic Brenta.