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!feeder.eternal-september.org!aioe.org!.POSTED.5KOhvU7rvC1XMEx3z4b/QQ.user.gioia.aioe.org!not-for-mail From: russ lyttle Newsgroups: comp.lang.ada Subject: Re: Ada in command / control systems Date: Mon, 25 Feb 2019 14:21:00 -0500 Organization: Aioe.org NNTP Server Message-ID: References: <2199b15b-d704-403f-a6c4-00fab29792d5@googlegroups.com> NNTP-Posting-Host: 5KOhvU7rvC1XMEx3z4b/QQ.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.4.0 Content-Language: en-US X-Notice: Filtered by postfilter v. 0.9.2 Xref: reader01.eternal-september.org comp.lang.ada:55660 Date: 2019-02-25T14:21:00-05:00 List-Id: On 2/25/19 10:25 AM, Simon Wright wrote: > russ lyttle writes: > >> There is some support for STM (thanks Simon Wright) but has anyone >> tried to write an Ada program for an AT Tiny? > > Probably: see https://sourceforge.net/projects/avr-ada/ > Is there a recent update to Avr-Ada? It seems the last update was 3 years ago. My first targets are ATtimy and ATmega328. >> Have you noticed how many *.py files are in the Ada_Drivers_Library? > > 12. > > I am a bit disheartened by the way that the build system for tools like > GNATColl is migrating towards Python. What's wrong with Make? (I do draw > the line at autotools, though) > > On the other hand, I do quite understand _why_ people write tools in > Python; I've done it myself. > Python is better than C++ for one-off programs that don't have to be proven correct. I have the problem of showing that the Ada_Drivers_Library can be built without using any of the python code and using either Make or gnatmake. This doesn't look like a big stumbling block, but it is one of many. I'm looking for a tutorial for writing gpr files that goes beyond the trivial and isn't Windows specific ( -Xlinker Wl,--stack=... for example). >> Or how horrible gnat is on memory management? > > I'm not sure how horrible it is? I know it was an effort to squeeze a > slightly complex demo into a BBC:microbit (16k ram). > I have the problem of writing code only in Ada, for multiple targets with limited resources. The software has to be maintainable and re-usable for 25 years. Stack and heap space needs to be specified for each task at compile time. Some items need to be specified to be allocated to EEPROM, some to RAM, etc. Ideal would be to do this programatically with a *.ads configuration file. Right now I can't get gnat make to accept a stack size on Ubuntu 18.10. That "-Xlinker Wl,--stack=" idiom only works on Windows. Again thanks for the good work.