4 Commits

Author	SHA1	Message	Date
Adam Joseph	451b68f344	Merge pull request #226179 from amjoseph-nixpkgs/pr/gnat-bootstrap/cleanup ... gnat-bootstrap: parameterize better	2023-08-23 23:39:32 +00:00
Adam Joseph	1d1d5d2724	gnat-bootstrap: add meta.sourceProvenance ... This package downloads binaries for bootstrapping; it should be marked as such.	2023-04-28 11:54:11 +00:00
Adam Joseph	605ccc8296	gnat-bootstrap: parameterize better ... This commit makes `url` dependent on the gnat version, and allows for `alireRevision` to be empty (in which case no hyphen is added after ${gccVersion} in `version`). This should cause no changes to eval on `gnat11` or `gnat12`. This is submitted in order to reduce the size of #225191	2023-04-16 15:31:02 -07:00
Manuel Mendez	31d6802773	gnatboot: rename to gnat-bootstrap ... Most other bootstrap compilers are named -bootstrap so lets follow that pattern.	2023-04-15 18:52:14 -04:00