c4patino/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-07-06 17:13:24 -05:00
Code Issues Projects Releases Packages Wiki Activity

gnat: 13.4.0 -> 15.2.0

Browse source
This commit is contained in:
sempiternal-aurora 2026-05-02 18:02:16 +10:00
commit 54c6361175
1 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -3467,7 +3467,7 @@ with pkgs;
enableLTO = false;
};
gnat = gnat13; # When changing this, update also gnatPackages
gnat = pkgs."gnat${toString default-gcc-version}"; # When changing this, update also gnatPackages
gnat13 = wrapCC (
gcc13.cc.override {
@ -3577,7 +3577,8 @@ with pkgs;
}
);
gnat-bootstrap = gnat-bootstrap13;
gnat-bootstrap = pkgs."gnat-bootstrap${toString default-gcc-version}";
gnat-bootstrap13 = wrapCCWith {
cc = callPackage ../development/compilers/gnat-bootstrap { majorVersion = "13"; };
isAlireGNAT = true;
@ -3602,7 +3603,7 @@ with pkgs;
gnat14Packages = recurseIntoAttrs (callPackage ./ada-packages.nix { gnat = buildPackages.gnat14; });
gnat15Packages = recurseIntoAttrs (callPackage ./ada-packages.nix { gnat = buildPackages.gnat15; });
gnat16Packages = recurseIntoAttrs (callPackage ./ada-packages.nix { gnat = buildPackages.gnat16; });
gnatPackages = gnat13Packages;
gnatPackages = pkgs."gnat${toString default-gcc-version}Packages";
inherit (gnatPackages)
gprbuild