b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Merge pull request #210564 from vcunat/p/gnat-drop-old

Browse source 
gnat10, gnat9, gnat6: drop the packages
This commit is contained in:
Jörg Thalheim 2023-01-16 01:35:15 +01:00 committed by GitHub
parent a404818598 474e29c66f
commit 283b4c25f4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 49 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

49
pkgs/top-level/all-packages.nix
View file

@ -14463,55 +14463,6 @@ with pkgs;
gnat = gnat12;
gnat6 = wrapCC (gcc6.cc.override {
name = "gnat";
langC = true;
langCC = false;
langAda = true;
profiledCompiler = false;
# As per upstream instructions building a cross compiler
# should be done with a (native) compiler of the same version.
# If we are cross-compiling GNAT, we may as well go the same
# route (especially as gnatboot can't cross-compile).
gnatboot =
if stdenv.hostPlatform == stdenv.targetPlatform
&& stdenv.buildPlatform == stdenv.hostPlatform
then buildPackages.gnatboot
else buildPackages.gnat6;
});
gnat9 = wrapCC (gcc9.cc.override {
name = "gnat";
langC = true;
langCC = false;
langAda = true;
profiledCompiler = false;
# As per upstream instructions building a cross compiler
# should be done with a (native) compiler of the same version.
# If we are cross-compiling GNAT, we may as well do the same.
gnatboot =
if stdenv.hostPlatform == stdenv.targetPlatform
&& stdenv.buildPlatform == stdenv.hostPlatform
then buildPackages.gnatboot
else buildPackages.gnat9;
});
gnat10 = wrapCC (gcc10.cc.override {
name = "gnat";
langC = true;
langCC = false;
langAda = true;
profiledCompiler = false;
# As per upstream instructions building a cross compiler
# should be done with a (native) compiler of the same version.
# If we are cross-compiling GNAT, we may as well do the same.
gnatboot =
if stdenv.hostPlatform == stdenv.targetPlatform
&& stdenv.buildPlatform == stdenv.hostPlatform
then buildPackages.gnatboot
else buildPackages.gnat10;
});
gnat11 = wrapCC (gcc11.cc.override {
name = "gnat";
langC = true;