comp.lang.ada
 help / color / mirror / Atom feed
From: "Frédéric PRACA" <frederic.praca@free.fr>
Subject: Re: Build ding a distributed partition
Date: Tue, 24 Apr 2018 02:03:30 -0700 (PDT)
Date: 2018-04-24T02:03:30-07:00	[thread overview]
Message-ID: <5837a90d-2c0c-443a-be41-48f99f68744c@googlegroups.com> (raw)
In-Reply-To: <lyr2ncju8o.fsf@pushface.org>

Le mercredi 18 avril 2018 19:32:24 UTC+2, Simon Wright a écrit :
> "Dmitry A. Kazakov" writes:
> 
> > On 2018-04-17 17:30, Jeffrey R. Carter wrote:
> >> On 04/17/2018 02:50 PM, Dmitry A. Kazakov wrote:
> >>> What are gprbuild/gnatmake switches etc for building a distributed
> >>> partition? I found no word about it.
> >>
> >> I seem to remember something called gnatdist.
> >
> > Yes. I saw references to gnatdist and po_gnatdist. Neither is anywhere
> > to find. (:-()
> >
> > Furthermore, if read descriptions right, both are to generate a
> > gpr-file. Therefore, there must be something in that file to tell that
> > a package is actually "main" of a partition with the ID so and so etc.
> 
> Just saw this: https://twitter.com/adaprogrammers/status/986636433728434179

That's really a good news. In the past few years, finding PolyORB was a pain as it disappeared from AdaCore Website and I had to find the SVN tree in my old archives.
Anyway, last time I tried to build it, it was during last FOSDEM and compilation went well, at least for CORBA application and under Linux (Ubuntu).


      parent reply	other threads:[~2018-04-24  9:03 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-04-17 12:50 Build ding a distributed partition Dmitry A. Kazakov
2018-04-17 15:30 ` Jeffrey R. Carter
2018-04-17 16:01   ` Dmitry A. Kazakov
2018-04-17 23:56     ` Shark8
2018-04-18  7:28       ` Dmitry A. Kazakov
2018-04-18 13:36         ` Shark8
2018-04-18 14:15           ` Dmitry A. Kazakov
2018-04-18 17:32     ` Simon Wright
2018-04-18 17:34       ` Simon Wright
2018-04-24  9:03       ` Frédéric PRACA [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox