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.107.70.1 with SMTP id t1mr1745426ioa.101.1508444002270; Thu, 19 Oct 2017 13:13:22 -0700 (PDT) X-Received: by 10.157.8.51 with SMTP id 48mr118293oty.11.1508444002245; Thu, 19 Oct 2017 13:13:22 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.fcku.it!peer03.fr7!futter-mich.highwinds-media.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!l196no2178583itl.0!news-out.google.com!u132ni30ita.0!nntp.google.com!k70no2186129itk.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 19 Oct 2017 13:13:22 -0700 (PDT) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=93.41.2.250; posting-account=9fwclgkAAAD6oQ5usUYhee1l39geVY99 NNTP-Posting-Host: 93.41.2.250 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: GNAT on Raspberry Pi? From: mockturtle Injection-Date: Thu, 19 Oct 2017 20:13:22 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Body-CRC: 1593310036 X-Received-Bytes: 1829 Xref: news.eternal-september.org comp.lang.ada:48519 Date: 2017-10-19T13:13:22-07:00 List-Id: 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, d= espite 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 speci= fic version (there is not the 2017 release) and also the 2015 one, but sti= ll file says that the files are for 80386. Now I am trying with the 2015 r= elease for ARM-linux, but I have little hope... Any suggestion? Thanks, Riccardo