[gps-users] GNAT GPL gprbuild problems and crashes

[Rob Groen]

Thanks, that is what I have done now (2016 version). Allows also for a 
bit of experimenting with 2017 version. BTW, deleting all the files in 
the .gps config dir also helps a bit. Must see if the 2017 version can 
use its own .gps dir.

Rob


On 28-Jul-17 20:20, Gautier de Montmollin wrote:
> If you have trouble with the 2017 edition, you can use the 2016 one 
> (or 2015) by setting it first in the PATH, but still use the fancy new 
> 2017 GPS.
> G.
> _____________________________________________________________
> A free online game in Ada: http://pasta.phyrama.com/game.html
>
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/gps-users/attachments/20170729/bef4c991/attachment.html>