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.66.227.167 with SMTP id sb7mr4555058pac.19.1473452049914; Fri, 09 Sep 2016 13:14:09 -0700 (PDT) X-Received: by 10.157.8.10 with SMTP id 10mr381424oty.16.1473452049878; Fri, 09 Sep 2016 13:14:09 -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!news.glorb.com!i184no2232917itf.0!news-out.google.com!w143ni2064itb.0!nntp.google.com!i184no339880itf.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 9 Sep 2016 13:14:09 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=178.208.198.1; posting-account=fX-H8QoAAACmmrhGVTL0Gv8KJqBiCZdc NNTP-Posting-Host: 178.208.198.1 References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <32fc5b51-525f-44ba-8e22-d656a07f47a5@googlegroups.com> Subject: Re: GNAT GPL Edition for 8Bit AVR microcontrollers From: jordanleemauro@gmail.com Injection-Date: Fri, 09 Sep 2016 20:14:09 +0000 Content-Type: text/plain; charset=UTF-8 Xref: news.eternal-september.org comp.lang.ada:31739 Date: 2016-09-09T13:14:09-07:00 List-Id: On Tuesday, September 6, 2016 at 11:30:50 PM UTC+2, jordanl...@gmail.com wrote: > Hi All, > > I am currently working on a Project that involves programming a device (using ATmega328P) using the Ada programming language as well as SPARK Tools or Ravenscar profiles if possible to verify and validate the software. > > Here is my question: > > What version of GNAT must be used for full compatibility of AVR, what other tools are required for a smooth Achievement? > > Thanks Hi guys, Thank you for all your tips, support and interest. I am still very lost on how to build the tool chain. It is very challenging, does any one have any idea on how to build the tool chain as well as, what to watch out for when building this tool chain(what not to do)... I am not new with Ada, but i am new with linux. I currently have gnat 4.9 installed, is this version of GNAT a problem for the support of avr-ada? Ps. not using an arduino, but a simple ATmega328p on a breadboard.