comp.lang.ada
 help / color / mirror / Atom feed
From: slos <new.stephane.los@gmail.com>
Subject: Re: ANN: Simple Components for Ada v4.20
Date: Mon, 13 Mar 2017 07:09:35 -0700 (PDT)
Date: 2017-03-13T07:09:35-07:00	[thread overview]
Message-ID: <89053555-596d-4ef9-b6ab-46dabcf83fda@googlegroups.com> (raw)
In-Reply-To: <oa5thf$muf$1@gioia.aioe.org>

Le lundi 13 mars 2017 11:50:25 UTC+1, Dmitry A. Kazakov a écrit :
> On 13/03/2017 11:17, slos wrote:
> 
> > The Raspberry Pi Model 1 B / B+ uses this chip :
> > http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.ddi0301h/index.html
> 
> Is it RPI 1, i.e. without hardware float?
> 
> Where did you get the compiler for it?
> 
> > Could you tell please if "GCC-long-offsets" is the right choice ?
> 
> That looks OK.
> 
> Can you work out a small test to reproduce the problem?
> 
> -- 
> Regards,
> Dmitry A. Kazakov
> http://www.dmitry-kazakov.de

> Is it RPI 1, i.e. without hardware float?

The page :
https://www.raspberrypi.org/documentation/hardware/raspberrypi/bcm2835/README.md

leads to :
http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.ddi0301h/index.html

and so tells that there is indeed a VFP :
http://infocenter.arm.com/help/topic/com.arm.doc.ddi0301h/Cegdejjh.html

> Where did you get the compiler for it?
Well, it runs raspbian and so it has gnat and gnat-gps using synaptic packet manager or apt-get...

> > Could you tell please if "GCC-long-offsets" is the right choice ?
> 
> That looks OK.
But it seems not.

> Can you work out a small test to reproduce the problem?
Your test_http_server looks small enough. It runs fine with "Pragma-atomic" and not with "GCC-long-offsets".

I have reinstalled Gnoga / Simple Components using "Pragma-atomic" and I will soon be able to tell if it works like that or not.

And the result is OK !

Thanks for your help.

BR,
Stéphane


  reply	other threads:[~2017-03-13 14:09 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-03-12  8:39 ANN: Simple Components for Ada v4.20 Dmitry A. Kazakov
2017-03-12 11:49 ` Björn Lundin
2017-03-12 13:16   ` Dmitry A. Kazakov
2017-03-13  8:42     ` slos
2017-03-13  9:20       ` Dmitry A. Kazakov
2017-03-13 10:17         ` slos
2017-03-13 10:50           ` Dmitry A. Kazakov
2017-03-13 14:09             ` slos [this message]
2017-03-13 15:22               ` Dmitry A. Kazakov
2017-03-13 10:44         ` slos
2017-03-13  9:09     ` G.B.
2017-03-13  9:52       ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox