From: Ian Douglas <ian@vionia.com>
Subject: Re: Some questions about GPS
Date: Tue, 24 Jul 2018 13:01:08 -0700 (PDT)
Date: 2018-07-24T13:01:08-07:00 [thread overview]
Message-ID: <4168fe08-6d06-4779-937a-b6acbfca1d68@googlegroups.com> (raw)
In-Reply-To: <9f8bc09e-14a6-47a4-8083-caa1857ec6e9@googlegroups.com>
FWIW, I tried to update to 2018 version of GPS but it fails to compile. (It is marked "unstable" in Gentoo, despite being "recommended" version".)
So tried updating other bits of Ada to 2018, some worked, some still wanted 2017 stuff, so gave up and tried to undo. Not sure how well :)
End result is that somehow it dropped me back to 2015 version of GPS, which does not have the line number or "select highlight" issues that the 2017 version has. Does have slightly dated interface but I can live with that.
Have mailed the package maintainer for an ETA on when 2018 version will be working properly.
Thanks again for the help.
Cheers, Ian
next prev parent reply other threads:[~2018-07-24 20:01 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-07-23 18:26 Some questions about GPS Ian Douglas
2018-07-23 19:01 ` Jacob Sparre Andersen
2018-07-23 20:17 ` Ian Douglas
2018-07-23 19:02 ` Dmitry A. Kazakov
2018-07-23 19:09 ` Niklas Holsti
2018-07-23 21:10 ` Jeffrey R. Carter
2018-07-24 20:01 ` Ian Douglas [this message]
2018-07-26 13:33 ` Patrick Noffke
2018-07-27 10:03 ` Ian Douglas
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox