Re: GNAT GPL gprbuild problems and crashes

Rob Groen <[email protected]> Sat, 29 Jul 2017 12:47:11 +0200
Newsgroups	gmane.comp.ide.gps.user
Message-ID	<[email protected]>
This is a multi-part message in MIME format.
--===============6349897282684102854==
Content-Type: multipart/alternative;
 boundary="------------E10B6FD1D02CE643C48FDBCB"
Content-Language: en-GB

This is a multi-part message in MIME format.
--------------E10B6FD1D02CE643C48FDBCB
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit

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
>
>


--------------E10B6FD1D02CE643C48FDBCB
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: 7bit

<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <p><font face="Arial">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.</font></p>
    <p><font face="Arial">Rob<br>
      </font></p>
    <br>
    <div class="moz-cite-prefix">On 28-Jul-17 20:20, Gautier de
      Montmollin wrote:<br>
    </div>
    <blockquote type="cite" cite="mid:%[email protected]%3E">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.
      <br>
      G.
      <br>
      _____________________________________________________________
      <br>
      A free online game in Ada: <a class="moz-txt-link-freetext" href="http://pasta.phyrama.com/game.html">http://pasta.phyrama.com/game.html</a>
      <br>
      <br>
      <br>
    </blockquote>
    <br>
  </body>
</html>

--------------E10B6FD1D02CE643C48FDBCB--

--===============6349897282684102854==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
gps-users mailing list
[email protected]
http://lists.adacore.com/mailman/listinfo/gps-users

--===============6349897282684102854==--