Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 916310 - dev-lang/gnat-gpl AdaCore no longer supports GNAT GPL
Summary: dev-lang/gnat-gpl AdaCore no longer supports GNAT GPL
Status: RESOLVED INVALID
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Linux bug wranglers
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2023-10-26 21:06 UTC by Jeff Gazso
Modified: 2023-10-26 22:28 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Jeff Gazso 2023-10-26 21:06:19 UTC 
As of May 2022, AdaCore no longer supports GNAT GPL. This has two consequences for the dev-lang/gnat-gpl ebuild:

1. The <http://libre.adacore.com> site referenced in the ebuild HOMEPAGE variable appears to be deprecated in favor of <https://www.getadanow.com>. 
2. As near as I can tell, the proper upstream source code repository is now
<https://sourceforge.net/projects/gnuada>; but I'm not 100% positive.
Comment 1 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2023-10-26 21:10:37 UTC 
The upstream code repository remains gcc.git. Both links you gave are unofficial binaries.
Comment 2 Jeff Gazso 2023-10-26 22:16:26 UTC 
My bad. Disregard. Closing.
Comment 3 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2023-10-26 22:28:00 UTC 
It's not wrong that we need to do _something_ to have a better bootstrap path for Ada (once you have a binary, you can build gcc[ada], and then you have your own binary, and you never need another one off the internet again).

But it's not really as simple as just changing HOMEPAGE in there.