From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.50.142.39 with SMTP id rt7mr236938igb.5.1435186782976;
 Wed, 24 Jun 2015 15:59:42 -0700 (PDT)
X-Received: by 10.140.91.181 with SMTP id z50mr84210qgd.5.1435186782811; Wed,
 24 Jun 2015 15:59:42 -0700 (PDT)
Path: 
 buffer2.nntp.dca1.giganews.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!h15no8162217igd.0!news-out.google.com!4ni2679qgh.1!nntp.google.com!q107no3149815qgd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 24 Jun 2015 15:59:42 -0700 (PDT)
In-Reply-To: <lypp4k68g0.fsf@pushface.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=83.99.95.58;
 posting-account=sDyr7QoAAAA7hiaifqt-gaKY2K7OZ8RQ
NNTP-Posting-Host: 83.99.95.58
References: <9894cde7-2cf8-4060-be65-857812ad7b09@googlegroups.com>
 <mm7310$4jk$1@dont-email.me>
 <17436268-aceb-461f-bdcf-eee8436cd0e6@googlegroups.com>
 <mm9e4f$n4e$2@dont-email.me>
 <fa1fea48-bdb6-446c-8a41-a2f34a55ed16@googlegroups.com>
 <d65db4db-ada4-4705-8cec-37a994536f8b@googlegroups.com>
 <86y4jaqzdx.fsf@stephe-leake.org>
 <dddbc06b-c30f-4923-85b6-f3a378982238@googlegroups.com>
 <b6dfc2ca-979c-4f16-8eca-8d4439c84db8@googlegroups.com>
 <edda2110-5468-4c8a-8679-4f1edf96b01e@googlegroups.com>
 <01ac6d30-fa93-4868-aa31-3dbec93e9a21@googlegroups.com>
 <c8272b03-abf4-4aee-b828-5b616ce7700e@googlegroups.com>
 <9b539536-f385-434d-ad0c-a48e8877e23b@googlegroups.com>
 <99d819fa-148e-4e20-b7e1-c509b16ca093@googlegroups.com>
 <lypp4k68g0.fsf@pushface.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f5d4d901-fb45-4f83-8661-1f8551502bd1@googlegroups.com>
Subject: Re: What do you think about this?
From: Laurent <lutgenl@icloud.com>
Injection-Date: Wed, 24 Jun 2015 22:59:42 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: number.nntp.giganews.com comp.lang.ada:193774
Date: 2015-06-24T15:59:42-07:00
List-Id: <comp.lang.ada>

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 can interpret the 3 first lines. For the rest I will ask my cat(s).

Good night