comp.lang.ada
 help / color / mirror / Atom feed
From: mockturtle <framefritti@gmail.com>
Subject: GNAT on Raspberry Pi?
Date: Thu, 19 Oct 2017 13:13:22 -0700 (PDT)
Date: 2017-10-19T13:13:22-07:00	[thread overview]
Message-ID: <f0077633-90c0-4a78-8e4b-eb4cc62c951c@googlegroups.com> (raw)

Dear all,
I just got a Raspberry Pi 3.  It works nicely and I wanted to install GNAT tools.  I went to the libreada site, selected the ARM binary, downloaded it and installed it, but in the end I get a

  Bad exec format

Calling "file" on gps_exe it says that gps_exe is for 80386, not for ARM, despite the fact that the name of the archive is

   gnat-gpl-2017-arm-...

so, I guess, it should be for ARM.  I also tried the 2016 Raspberry 2 specific version  (there is not the 2017 release) and also the 2015 one, but still file says that the files are for 80386.  Now I am trying with the 2015 release for ARM-linux, but I have little hope...

Any suggestion?

Thanks,

Riccardo


             reply	other threads:[~2017-10-19 20:13 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-10-19 20:13 mockturtle [this message]
2017-10-19 20:28 ` GNAT on Raspberry Pi? mockturtle
2017-10-20  0:03   ` Anh Vo
2017-10-20  1:22 ` Dennis Lee Bieber
2017-10-20  7:28 ` Dmitry A. Kazakov
2017-10-20 10:31   ` mockturtle
2017-10-20 10:57     ` Simon Wright
2017-10-20 20:21       ` mockturtle
2017-10-20 10:32 ` mockturtle
2017-10-20 11:58   ` Dmitry A. Kazakov
2017-10-20 14:35     ` Björn Lundin

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