gnat-gps for Fedora 25

gnat-gps for Fedora 25

[lyttlec]

Fedora 25 does not have gnat-gps available. Does the doinstall script
from adacore work OK for Fedora 25, or does someone know where an rpm
package is available.
Google only finds pages of 2005 vintage. Dmitry Kazakov had an RPM
posted about then, but the link is now stale.
Thanks

Re: gnat-gps for Fedora 25

[TheGreatest]

On 2017-06-21 16:07, lyttlec wrote:
> Fedora 25 does not have gnat-gps available. Does the doinstall script
> from adacore work OK for Fedora 25, or does someone know where an rpm
> package is available.
> Google only finds pages of 2005 vintage. Dmitry Kazakov had an RPM
> posted about then, but the link is now stale.
> Thanks
> 

Hello!

Re: gnat-gps for Fedora 25

[jrmarino]

On Wednesday, June 21, 2017 at 9:07:32 AM UTC-5, lyttlec wrote:
> Fedora 25 does not have gnat-gps available. Does the doinstall script
> from adacore work OK for Fedora 25, or does someone know where an rpm
> package is available.
> Google only finds pages of 2005 vintage. Dmitry Kazakov had an RPM
> posted about then, but the link is now stale.
> Thanks

I'm working on a cross-platform packing system.
It currently supported DragonFly BSD and Linux (FreeBSD and Solaris coming)
It contains GNAT GPS 2016 (built with GCC FSF 6.3).

It is not RPM based, but if you install it, it should work on your fedora (located at /raven/bin/gps).

see https://github.com/jrmarino/Ravenports/wiki/Ravenusers_Guide
navigate to Quickstart guide for Linux testers 

This has not been announced anywhere yet, but I think it can help you in particular.

John Marino

Re: gnat-gps for Fedora 25

[jrmarino]

On Tuesday, June 27, 2017 at 8:36:48 AM UTC-5, jrmarino wrote:
> On Wednesday, June 21, 2017 at 9:07:32 AM UTC-5, lyttlec wrote:
> > Fedora 25 does not have gnat-gps available. Does the doinstall script
> > from adacore work OK for Fedora 25, or does someone know where an rpm
> > package is available.
> > Google only finds pages of 2005 vintage. Dmitry Kazakov had an RPM
> > posted about then, but the link is now stale.
> > Thanks
> 
> I'm working on a cross-platform packing system.
> It currently supported DragonFly BSD and Linux (FreeBSD and Solaris coming)
> It contains GNAT GPS 2016 (built with GCC FSF 6.3).
> 
> It is not RPM based, but if you install it, it should work on your fedora (located at /raven/bin/gps).
> 
> see https://github.com/jrmarino/Ravenports/wiki/Ravenusers_Guide
> navigate to Quickstart guide for Linux testers 
> 
> This has not been announced anywhere yet, but I think it can help you in particular.
> 
> John Marino

FYI, step 4 you'd do something like "sudo /raven/sbin/pkg install gps-complete-standard" to install the prebuilt package.

List of current linux packages: http://muscles.dragonflybsd.org/misc/Ravenports/Linux%3A2.6.32%3Aamd64/All/

Re: gnat-gps for Fedora 25

[landgraf]

On Wednesday, 21 June 2017 16:07:32 UTC+2, lyttlec  wrote:
> Fedora 25 does not have gnat-gps available. Does the doinstall script
> from adacore work OK for Fedora 25, or does someone know where an rpm
> package is available.
> Google only finds pages of 2005 vintage. Dmitry Kazakov had an RPM
> posted about then, but the link is now stale.
> Thanks

Hello,
GPS is one of the most "nice to have" Ada packages in Fedora. But the problem is neither one of maintainers uses it.. There was at least one attempt [3] to package it but this review is dead ...
You can join [1] to learn more about Ada related things happening in Fedora or monitor [2] for new packages.
Unfortunately GPS will not be available in Fedora 25 nor Fedora 26 due to lack of ASIS and libgpr. We still have chance to push it into F27 but it's summer... Nice weather and vacations :)

[1] https://lists.fedoraproject.org/admin/lists/ada.lists.fedoraproject.org/ 
[2] https://copr.fedorainfracloud.org/coprs/landgraf/ada-testing-repo/
[3] https://bugzilla.redhat.com/show_bug.cgi?id=834747