Does Raspberry Pi 2 have a working version of native GNAT

Does Raspberry Pi 2 have a working version of native GNAT

[Jere]

I've seen some threads here about installing and using a native GNAT on the Raspberry Pi running linux, but haven't seen much on the Pi 2.  Is there a working version of GNAT that can be installed and run on the Pi 2?  I'm not looking for a cross compiler in this case.

Re: Does Raspberry Pi 2 have a working version of native GNAT

[David Botton]

Install one of the linuxes and sudo apt-get install which ever version of gnat comes with the distro.

David Botton

Re: Does Raspberry Pi 2 have a working version of native GNAT

[Jere]

On Monday, December 7, 2015 at 2:22:16 PM UTC-5, David Botton wrote:
> Install one of the linuxes and sudo apt-get install which ever version of gnat comes with the distro.
> 
> David Botton

At the moment I unfortunately do not have one.  I wanted to make sure before I purchased one, so that I could do some Ada development on it.  If not, then I would get the older PI instead.  I assume it can be done, but just wanted to make sure so I didn't purchase the wrong one.

From your answer, am I ok to assume GNAT does work on the PI2 then?

Re: Does Raspberry Pi 2 have a working version of native GNAT

[David Botton]

As the new and the old use the same software / distros I can't see why not, I have a Pi and run gnat on it to test Gnoga there on occasion.

David Botton

Re: Does Raspberry Pi 2 have a working version of native GNAT

[Jere]

On Monday, December 7, 2015 at 2:45:57 PM UTC-5, David Botton wrote:
> As the new and the old use the same software / distros I can't see why not, I have a Pi and run gnat on it to test Gnoga there on occasion.
> 
> David Botton

My concern is that the PI2 runs on a different processor (Quad core m7 vs a single core m6 on the older PI).  I wasn't sure if that made the distros technically different or not.  

Sorry if this is a silly question.  I'm just not as well versed in the Arm processor family nor Linux nor how tightly coupled GNAT is to the actual processor vs the OS.  Figured it could be a good learning tool form me.

Re: Does Raspberry Pi 2 have a working version of native GNAT

[Dmitry A. Kazakov]

On Mon, 7 Dec 2015 12:00:02 -0800 (PST), Jere wrote:

> My concern is that the PI2 runs on a different processor (Quad core m7 vs
> a single core m6 on the older PI).  I wasn't sure if that made the distros
> technically different or not.  

I have two RPi 2. One runs Debian armhf (testing) another Fedora 22
armv7hl. Both have GNAT FSF 5 installed. There is no problems with GNAT.
Moreover, I have also compiled and installed GtkAda 3.8.3.

-------------------
One problem though not directly related to GNAT, if you per chance actively
use swap, e.g. compiling with -j0 switch, then RPi 2 freezes, no matter
which linux version. I believe the problem is with the SD card (any
vendor). So if you want to compile large projects on RPi 2 (it has only
1GB) you should move the system to a SSD or a normal HD. You will still
boot from SD, but then continue to the external USB disk.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: Does Raspberry Pi 2 have a working version of native GNAT

[Paul Rubin]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> use swap, e.g. compiling with -j0 switch, then RPi 2 freezes, no matter
> which linux version. I believe the problem is with the SD card (any
> vendor). 

There's apparently a big difference between card brands:

http://www.midwesternmac.com/blogs/jeff-geerling/raspberry-pi-microsd-card

Re: Does Raspberry Pi 2 have a working version of native GNAT

[Jere]

On Monday, December 7, 2015 at 4:37:46 PM UTC-5, Dmitry A. Kazakov wrote:
> On Mon, 7 Dec 2015 12:00:02 -0800 (PST), Jere wrote:
> 
> > My concern is that the PI2 runs on a different processor (Quad core m7 vs
> > a single core m6 on the older PI).  I wasn't sure if that made the distros
> > technically different or not.  
> 
> I have two RPi 2. One runs Debian armhf (testing) another Fedora 22
> armv7hl. Both have GNAT FSF 5 installed. There is no problems with GNAT.
> Moreover, I have also compiled and installed GtkAda 3.8.3.
> 
> -------------------
> One problem though not directly related to GNAT, if you per chance actively
> use swap, e.g. compiling with -j0 switch, then RPi 2 freezes, no matter
> which linux version. I believe the problem is with the SD card (any
> vendor). So if you want to compile large projects on RPi 2 (it has only
> 1GB) you should move the system to a SSD or a normal HD. You will still
> boot from SD, but then continue to the external USB disk.
> 
> -- 
> Regards,
> Dmitry A. Kazakov
> http://www.dmitry-kazakov.de

Thank you!

Re: Does Raspberry Pi 2 have a working version of native GNAT

[Simon Wright]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> One problem though not directly related to GNAT, if you per chance
> actively use swap, e.g. compiling with -j0 switch, then RPi 2 freezes,
> no matter which linux version.

-j<number of CPUs - 1> is safer! I've had a Mac need power cycling with
-j0 (might be better now with 16 GB RAM, I only had 4 GB then)

Re: Does Raspberry Pi 2 have a working version of native GNAT

[Dmitry A. Kazakov]

On Mon, 07 Dec 2015 22:11:04 +0000, Simon Wright wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> 
>> One problem though not directly related to GNAT, if you per chance
>> actively use swap, e.g. compiling with -j0 switch, then RPi 2 freezes,
>> no matter which linux version.
> 
> -j<number of CPUs - 1> is safer!

Right. Though more important is not to run out of memory.

> I've had a Mac need power cycling with
> -j0 (might be better now with 16 GB RAM, I only had 4 GB then)

2GB for ARM is normally sufficient. E.g. Odroid equipped with 2GB is a good
GNAT compilation platform to target RPi.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: Does Raspberry Pi 2 have a working version of native GNAT

[Dmitry A. Kazakov]

On Mon, 07 Dec 2015 13:40:13 -0800, Paul Rubin wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>> use swap, e.g. compiling with -j0 switch, then RPi 2 freezes, no matter
>> which linux version. I believe the problem is with the SD card (any
>> vendor). 
> 
> There's apparently a big difference between card brands:
> 
> http://www.midwesternmac.com/blogs/jeff-geerling/raspberry-pi-microsd-card

Sure. I suspect that the more performant is the card the worse. E.g. some
mp3 players vendors recommend Kingston (down in the list) over SanDisk. I
experimented with Samsung and SanDisk with no significant difference.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: Does Raspberry Pi 2 have a working version of native GNAT

[Dennis Lee Bieber]

On Tue, 8 Dec 2015 09:40:29 +0100, "Dmitry A. Kazakov"
<mailbox@dmitry-kazakov.de> declaimed the following:

>On Mon, 07 Dec 2015 13:40:13 -0800, Paul Rubin wrote:
>
>> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>>> use swap, e.g. compiling with -j0 switch, then RPi 2 freezes, no matter
>>> which linux version. I believe the problem is with the SD card (any
>>> vendor). 
>> 
>> There's apparently a big difference between card brands:
>> 
>> http://www.midwesternmac.com/blogs/jeff-geerling/raspberry-pi-microsd-card
>
>Sure. I suspect that the more performant is the card the worse. E.g. some
>mp3 players vendors recommend Kingston (down in the list) over SanDisk. I
>experimented with Samsung and SanDisk with no significant difference.

	Class 10 cards are rated based upon a large single file streaming, to a
freshly formatted card. Optimized for video recording

	Class 2/4/6 cards are rated based upon multiple small files and
fragmented file system. What one might get from a still image camera from
which the user has erased some images and then continued shooting.

	I'd expect the better card brands to not have too much of a difference
between high speed stream vs fragmented multi-files. Cheaper brand class
10s, OTOH, may be much slower when fragmentation sets in (internal sector
sizes may be such that nearly any write operation requires buffering lots
of data while the sector is erased and rewritten).
-- 
	Wulfraed                 Dennis Lee Bieber         AF6VN
    wlfraed@ix.netcom.com    HTTP://wlfraed.home.netcom.com/