Boey Maun Suang 6f7d967e28 gnat11: Fix by building with older gnatboot ... GCC's installation instructions strongly recommend using an older version of GNAT to build GNAT, as "[m]ore recent versions of GNAT than the version built are not guaranteed to work and will often fail during the build with compilation errors." [1] The recent upgrade of gnatboot to a 12.1 release in commit bc640dc unfortunately resulted in such a failure for gnat11 [2], resulting in the same errors as GCC bug 103357 [3], which was marked WONTFIX for the reason above. This patch therefore reverts gnat11 to being built with an earlier 11.x gnatboot version, while keeping the updated 12.1 gnatboot to build gnat12 (which is fine because the latter is currently version 12.2). Fixing gnat11 is also a step towards re-enabling the coreboot-toolchain-* packages to be built with Ada support. To facilitate such explicit version dependencies while retaining the meaning of the existing gnatboot package, and in the fashion of the existing gcc packages, this patch also creates the packages gnatboot11 and gnatboot12 with gnatboot made an alias of gnatboot12. [1]: https://gcc.gnu.org/install/prerequisites.html [2]: https://github.com/NixOS/nixpkgs/pull/182414#issuecomment-1204432909 [3]: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103357		2022-11-25 08:15:10 +01:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	gnat11: Fix by building with older gnatboot	2022-11-25 08:15:10 +01:00
coq-modules	coqPackages.mathcomp-algebra-tactics: init at 1.0.0	2022-11-24 20:41:35 +01:00
dhall-modules
dotnet-modules
em-modules/generic
embedded	teensy-loader-cli: 2.1+unstable=2021-04-10 -> 2.2 (#198461)	2022-11-21 02:55:27 +01:00
gnuradio-modules
guile-modules
haskell-modules
idris-modules
interpreters	wasmtime: 2.0.2 -> 3.0.0	2022-11-23 12:08:11 +00:00
java-modules
libraries	glib: fix build with musl	2022-11-24 23:09:05 +00:00
lisp-modules
lisp-modules-new
lua-modules
misc	brev-cli: 0.6.179 -> 0.6.181	2022-11-23 17:53:09 +00:00
mobile
nim-packages
node-packages	nodePackages.pnpm: 7.14.2 -> 7.17.0	2022-11-20 16:25:29 -08:00
ocaml-modules	ocamlPackages.ocplib-json-typed: remove at 0.7.1	2022-11-24 21:45:24 +01:00
octave-modules
perl-modules
pharo
php-packages	Merge pull request #198037 from SuperSandro2000/php-cleanup	2022-11-21 08:25:31 +01:00
python2-modules
python-modules	Merge pull request #202719 from dotlambda/pgpy-0.6.0	2022-11-24 18:02:56 -08:00
quickemu
r-modules	rPackages.bigmemory: fix evaluation on darwin	2022-11-24 01:46:29 -05:00
ruby-modules
scheme-modules/scheme-bytestructures
skaware-packages
tools	Merge pull request #202757 from siraben/fq-update	2022-11-24 19:32:09 -06:00
web	Merge pull request #201937 from panda2134/master	2022-11-24 13:52:52 +00:00