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. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
