From: fabien.chouteau@gmail.com
Subject: Re: There's a problem with gnatclean on Windows GNAT Community 2018
Date: Tue, 12 Jun 2018 11:04:12 -0700 (PDT)
Date: 2018-06-12T11:04:12-07:00 [thread overview]
Message-ID: <5005d44e-0137-4f46-bde1-489912334ef7@googlegroups.com> (raw)
In-Reply-To: <pfotec$1bpv$1@gioia.aioe.org>
On Tuesday, June 12, 2018 at 6:47:11 PM UTC+2, Dmitry A. Kazakov wrote:
> When does this happen? I am asking because I did clean projects from the
> GPS, I suppose that in the end it calls gnatclean too. No installation
> files were deleted to me.
When gnatclean is used, in your case it was probably gprclean which is not impacted by this problem.
>
> P.S. What about 32-bit Windows GNAT 2018. Is it dropped?
>
Yes, we switched to 64-bit because it was requested a lot.
> P.P.S. Is Win32Ada dropped?
>
Win32Ada is not in the Community release.
Regards,
next prev parent reply other threads:[~2018-06-12 18:04 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-06-12 16:26 There's a problem with gnatclean on Windows GNAT Community 2018 fabien.chouteau
2018-06-12 16:47 ` Dmitry A. Kazakov
2018-06-12 18:04 ` fabien.chouteau [this message]
2018-06-12 18:49 ` Anh Vo
2018-06-12 19:04 ` Simon Wright
2018-06-19 11:47 ` juan.delapuente
2018-06-19 15:26 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox