From: Simon Wright <simon@pushface.org>
Subject: Re: Building the 2021 source release of GnatStudio
Date: Fri, 30 Jul 2021 18:07:55 +0100 [thread overview]
Message-ID: <lyh7gbg26s.fsf@pushface.org> (raw)
In-Reply-To: d2396197-9f7d-4be9-bab4-8275d4d11c87n@googlegroups.com
Emmanuel Briot <briot.emmanuel@gmail.com> 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.
next prev parent reply other threads:[~2021-07-30 17:07 UTC|newest]
Thread overview: 34+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-07-28 9:25 Building the 2021 source release of GnatStudio Rod Kay
2021-07-28 10:49 ` Emmanuel Briot
2021-07-28 14:29 ` Simon Wright
2021-07-29 10:29 ` Rod Kay
2021-07-29 0:49 ` Randy Brukardt
2021-07-29 7:49 ` Luke A. Guest
2021-07-29 8:41 ` Dmitry A. Kazakov
2021-07-29 11:33 ` Stéphane Rivière
2021-07-29 11:58 ` Dmitry A. Kazakov
2021-07-30 11:29 ` Stéphane Rivière
2021-07-30 11:51 ` Emmanuel Briot
2021-07-30 16:59 ` Shark8
2021-07-30 17:07 ` Simon Wright [this message]
2021-07-31 9:37 ` Stéphane Rivière
2021-07-31 10:30 ` Dmitry A. Kazakov
2021-07-31 11:58 ` Stéphane Rivière
2021-07-31 12:29 ` Dmitry A. Kazakov
2021-08-03 1:05 ` Shark8
2021-08-03 6:30 ` Dmitry A. Kazakov
2021-08-03 7:20 ` Stéphane Rivière
2021-08-28 0:08 ` Roger Mc
2021-07-30 0:21 ` Randy Brukardt
2021-07-29 10:37 ` Rod Kay
2021-07-29 14:37 ` J-P. Rosen
2021-07-29 17:43 ` Shark8
2021-07-29 17:23 ` Shark8
2021-07-29 1:09 ` Roger Mc
2021-07-29 10:47 ` Rod Kay
2021-08-27 9:58 ` Blady
2021-08-28 0:10 ` Roger Mc
2021-08-28 6:40 ` Jeffrey R. Carter
2021-08-28 7:16 ` Roger Mc
2021-08-28 7:21 ` Simon Wright
2021-08-28 9:14 ` Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox