gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

gnat10, gnat9, gnat6: drop the packages

Browse Source 
They haven't succeeded for half a year and people don't seem
to miss them, so let's reduce the clutter on Hydra, etc.
https://hydra.nixos.org/job/nixpkgs/trunk/gnat10.x86_64-linux/all
This commit is contained in:
Vladimír Čunát
2023-01-13 18:35:51 +01:00
parent befc83905c
commit 474e29c66f
1 changed files with 0 additions and 49 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/top-level/all-packages.nix
-49
View File
@@ -14439,55 +14439,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;