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
X-Received: by 10.200.48.149 with SMTP id v21mr8766079qta.22.1500114935317;
        Sat, 15 Jul 2017 03:35:35 -0700 (PDT)
X-Received: by 10.36.3.81 with SMTP id e78mr28356ite.9.1500114935221; Sat, 15
 Jul 2017 03:35:35 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!2.eu.feeder.erje.net!feeder.erje.net!2.us.feeder.erje.net!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!m54no705928qtb.1!news-out.google.com!f200ni5487itc.0!nntp.google.com!188no987903itx.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 15 Jul 2017 03:35:34 -0700 (PDT)
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=98.118.36.167;
 posting-account=NQAzbQoAAAAvGnWYlYt2fXidsCNvm7UM
NNTP-Posting-Host: 98.118.36.167
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <3c47bcd7-8a6c-4c57-833f-45d850e8b49c@googlegroups.com>
Subject: gnat gpl 2017 and raspberry pi 3
From: s@srin.me
Injection-Date: Sat, 15 Jul 2017 10:35:35 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: news.eternal-september.org comp.lang.ada:47418
Date: 2017-07-15T03:35:34-07:00
List-Id: <comp.lang.ada>

all

Looking for ideas on setting up a dev environment with gnat gpl2017 targeting raspberry pi 3. 

Does the download "ARM ELF hosted on linux" for example produce binaries targeting raspberry pi 3? 

other choices?

thanks for any suggestions. srini