Re: What do you think about this?

[Anh Vo <anhvofrcaus@gmail.com>]

On Wednesday, June 24, 2015 at 3:59:43 PM UTC-7, Laurent wrote:
> On Thursday, 25 June 2015 00:35:44 UTC+2, Simon Wright  wrote:
> > Anh Vo <anhvofrcausatgmail.com> writes:
> > 
> > > Make sure to pass switch -E to your build option.
> > 
> > This -E is a gnatbind option.
> > 
> > Either, on the command line
> > 
> >   $ gprbuild <existing arguments> -bargs -E
> > 
> > (-bargs introduces arguments to gnatbind) or in your GPR
> > 
> >    package Binder is
> >       for Default_Switches ("ada") use ("-E");
> >    end Binder;
> > 
> > I'm pretty sure you need to have compiled for debug (-g) as well.
> > 
> > (What machine are you building on? getting and interpreting stack dumps
> > is less straightforward on Macs than on Linux or Windows)
> 
> ok added to gpr . -g is active. Of course I am building on Mac. On Linux would be too easy and windows the temptation is too big to launch a game instead of GPS.
> 
> Houston we have a problem: Exception name: SYSTEM.ASSERTIONS.ASSERT_FAILURE
> Message: failed precondition from common_defs_bci.ads:19
> Load address: 0x1070dc000
> Call stack traceback locations:
> 0x107111931 0x1070e35f1 0x1070ddf8c 0x1070de763 0x1070de147 0x1070df063
> 
> 0x0000000107111931
> 0x00000001070E35F1
> 0x00000001070DDF8C
> 0x00000001070DE763
> 0x00000001070DE147
> 0x00000001070DF063

I could see that addr2line tool was not bundled with GNAT for MAC OS. Does this tool exist in MAC OS itself at all? I am afraid that the answer is no.