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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Received: by 2002:a6b:8d8e:: with SMTP id p136-v6mr14420253iod.32.1527018023646; Tue, 22 May 2018 12:40:23 -0700 (PDT) X-Received: by 2002:a9d:5c8d:: with SMTP id a13-v6mr312830oti.0.1527018023345; Tue, 22 May 2018 12:40:23 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.166.216.MISMATCH!v8-v6no80437itc.0!news-out.google.com!b185-v6ni24itb.0!nntp.google.com!v8-v6no80434itc.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 22 May 2018 12:40:22 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=76.113.16.86; posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC NNTP-Posting-Host: 76.113.16.86 References: <5c2523c1-9ea5-453c-b80e-9cb0dcd16de0@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <9381c59b-311f-4265-8d52-fd6386ccc1db@googlegroups.com> Subject: Re: DragonEgg has been revived From: Shark8 Injection-Date: Tue, 22 May 2018 19:40:23 +0000 Content-Type: text/plain; charset="UTF-8" Xref: reader02.eternal-september.org comp.lang.ada:52593 Date: 2018-05-22T12:40:22-07:00 List-Id: On Tuesday, May 22, 2018 at 6:29:10 AM UTC-6, Simon Clubley wrote: > > What I would like to see is an Ada compiler that can generate code > for a wide range of targets without any GPL restrictions on the > generated code. I'm getting ready to restart work on Byron. I figure that perhaps an Implementation Manual/Design Document would help explain the design underneath it and welcome new contributors. > > I'm not really bothered how that happens but LLVM seems like an > interesting option. I have mixed feelings on LLVM -- it would be nice to grab all the targets for it, but I also think it's a stupid idea to build the compiler specifically for it. > > The real question however is will this Ada compiler still work with > the versions of the toolchains available 2-5 years from now or will > it fall into disuse just like DragonEgg did ? > > There's a confidence problem here. I can write C and C++ code in 2018 > for some random embedded target knowing there's a very very good chance > I will still be able to compile that code on the freely available > toolchains which will exist 5 years from now. > > I don't currently have that confidence with the Ada compilers which are > available in 2018. Yeah; that's one of the big problems Byron [Ada 2012 in Ada 2012] is intended to address; the other big one is to escape the stupid morass of licensing issues. > > As I have said before, the language is _really_ good, but the compiler > situation is lousy. Very much agreed. I really wish I had the capital to realize my vision of a complete Integrated Development Environment (in the APSE sense) fully formally verified for both Ada and VHDL -- I think that has a LOT of potential for whole-systems.