From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!aioe.org!RKN7TKnHC01q0gdg6EhkbQ.user.46.165.242.75.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: Building the 2021 source release of GnatStudio Date: Fri, 30 Jul 2021 18:07:55 +0100 Organization: Aioe.org NNTP Server Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain Injection-Info: gioia.aioe.org; logging-data="33260"; posting-host="RKN7TKnHC01q0gdg6EhkbQ.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org"; User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (darwin) Cancel-Lock: sha1:pMGQUUkBPmubsFv5xbhpVHlGdmA= X-Notice: Filtered by postfilter v. 0.9.2 Xref: reader02.eternal-september.org comp.lang.ada:62455 List-Id: Emmanuel Briot writes: Good sense. > But building GNATStudio is something only a few people are intended to > do. Others will benefit from their pre-built packages. Those of us on macOS have no CE2021 (at least, from AdaCore :-), and CE2020 has no GNATStudio. We don't know what the future holds for other platforms. Similar position for gnatprove. I don't know how hard it would be to build from the Linux CE2021 sources.