From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: gprbuild install error (2019)
Date: Wed, 25 Dec 2019 15:58:33 -0800 (PST)
Date: 2019-12-25T15:58:33-08:00 [thread overview]
Message-ID: <c1b31acd-3cd5-4492-8a34-cbcede34dd0b@googlegroups.com> (raw)
In-Reply-To: <ccc815ea-3912-4520-b6e6-57eb47630350@googlegroups.com>
On Wednesday, December 25, 2019 at 12:27:15 AM UTC-8, George J wrote:
> Hi all! Yesterday i tried to install gprbuild from github ( i need a new version to use gnatcoll ). Platform wnd 10 X64.
Just use the binary install from https://www.adacore.com/download
next prev parent reply other threads:[~2019-12-25 23:58 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-12-25 8:27 gprbuild install error (2019) George J
2019-12-25 23:58 ` Stephen Leake [this message]
2019-12-26 8:12 ` George J
2020-01-10 20:09 ` mario.blunk.gplus
2020-01-11 15:12 ` Jere
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox