Mikael Pettersson writes: > Laurent GUERBY writes: > > On Sat, 2009-08-22 at 23:33 +0200, Laurent GUERBY wrote: > > > On Mon, 2009-08-17 at 12:00 +0200, Mikael Pettersson wrote: > > > > On Wed, 12 Aug 2009 23:08:00 +0200, Matthias Klose <d...@debian.org> > wrote: > > > > >On 12.08.2009 23:07, Martin Guy wrote: > > > > >> On 8/12/09, Joel Sherrill<joel.sherr...@oarcorp.com> wrote: > > > > >>> So any ACATS results from any other ARM target would be > > > > >>> appreciated. > > > > >> > > > > >> I looked into gnat-arm for the new Debian port and the conclusion > was > > > > >> that it has never been bootstrapped onto ARM. The closest I have > seen > > > > >> is Adacore's GNATPro x86->xscale cross-compiler hosted on Windows > and > > > > >> targetting Nucleus OS (gak!) > > > > >> > > > > >> The community feeling was that it would "just go" given a prodigal > > > > >> burst of cross-compiling, but I never got achieved sufficiently > high > > > > >> blood pressure to try it... > > > > > > > > > >is there any arm-linx-gnueabi gnat binary that could be used to > bootstrap an > > > > >initial gnat-4.4 package for debian? > > > > > > > > > > Matthias > > > > > > > > Yes, see <http://user.it.uu.se/~mikpe/linux/arm-eabi-ada/>. > > > > > > Nice work! > > > > > > Looks like Ada exception propagation (setjmp/longjmp based) is broken at > > > least in some cases (see below), that might explain the high number of > > > ACATS failure. > > > > > > My understanding is that > > > > > > EH_MECHANISM=-gcc > > > > > > is not correct for sjlj exceptions so I removed this line from the patch > > > and I'm currently testing with trunk. > > > > With this change plus the gcc/ada/gcc-interface/targtyps.c one > > I get very good native arm ACATS and gnat.dg results: > > Thanks Laurent. I've extracted an incremental diff for the Makefile > and targtyps.c changes and applied it to my gcc-4.4.1 version. When > it has finished its rebuild I'll see if this lets me eliminate the > xsinfo.adb exception handling workaround.
It did, so exceptions do seem to be working now. I've uploaded an updated bootstrap compiler for armel and two new patches. The patch kit now is: gcc-4.4.1-arm-eabi-ada-1.patch: initial patch gcc-4.4.1-arm-eabi-ada-2.patch: update copyright and licence text gcc-4.4.1-arm-eabi-ada-3.patch: make SJLJ exceptions work, fix a warning gcc-4.4.1-arm-eabi-ada-4.patch: revert xsinfo.adb dont-use-exceptions kludge For those with a compiler based on the initial patch only, apply patches 2 and 3 first, rebuild, then apply patch 4. /Mikael