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 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.linkpendium.com!news.linkpendium.com!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!nntp.earthlink.com!news.earthlink.com.POSTED!not-for-mail NNTP-Posting-Date: Thu, 19 Oct 2017 20:22:44 -0500 From: Dennis Lee Bieber Newsgroups: comp.lang.ada Subject: Re: GNAT on Raspberry Pi? Date: Thu, 19 Oct 2017 21:22:45 -0400 Organization: IISS Elusive Unicorn Message-ID: References: User-Agent: ForteAgent/8.00.32.1272 X-No-Archive: YES MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Usenet-Provider: http://www.giganews.com NNTP-Posting-Host: 108.68.177.50 X-Trace: sv3-TQKdhTtfKXdCp/eKjk36QXWd4K8BHX9x5qeFKut5MLEN6uUApZG1H5hVIlJlQx7OGCO9tZ2ThDaevoV!5ycFDZHQGrFxmhUj4mCwP9icE5U28MpSimGjacGuZ8NePi8eCf9Ro1wGGxgzfjQ6HaluBUbzduNr!+9B0yfeyXZ8H/Hd/8Zevy0MO7hU= X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 X-Original-Bytes: 2281 Xref: news.eternal-september.org comp.lang.ada:48523 Date: 2017-10-19T21:22:45-04:00 List-Id: On Thu, 19 Oct 2017 13:13:22 -0700 (PDT), mockturtle declaimed the following: >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... > I suspect those builds are /cross-compiler/ toolchains, not native, since the description says "hosted on ...". For the RPi-3, I'd suggest seeing if the GCC build is available in apt repositories (if you have the graphical environment running, "add/remove programs", search for GNAT) -- Wulfraed Dennis Lee Bieber AF6VN wlfraed@ix.netcom.com HTTP://wlfraed.home.netcom.com/