gnat-bootstrap16: init at 16.1.0-1

This commit is contained in:
sempiternal-aurora 2026-06-28 21:01:29 +10:00
commit 57b3c44a08
2 changed files with 34 additions and 2 deletions

View file

@ -112,6 +112,33 @@ stdenv.mkDerivation (
};
}
.${stdenv.hostPlatform.system} or throwUnsupportedSystem;
"16" = {
gccVersion = "16.1.0";
alireRevision = "1";
}
// {
x86_64-darwin = {
inherit url;
hash = "sha256-u/cYFKqWLTaFADTscDxnrkYSoemKrfKpNIZ8XPlTbLI=";
upstreamTriplet = "x86_64-apple-darwin24.6.0";
};
x86_64-linux = {
inherit url;
hash = "sha256-5bKYPJnXDGa80BtAogLE82X0zTuYKdN2cKh503oMeic=";
upstreamTriplet = "x86_64-pc-linux-gnu";
};
aarch64-linux = {
inherit url;
hash = "sha256-jJnqDJGBOjqbT4hDW0nRpV0oA3RXxJhvI7BuvQkPDQI=";
upstreamTriplet = "aarch64-linux-gnu";
};
aarch64-darwin = {
inherit url;
hash = "sha256-TJlV/Ngq6SwpIgGkwamTN3aRGP2BnEzJyBGovtWb6Y0=";
upstreamTriplet = "aarch64-apple-darwin24.6.0";
};
}
.${stdenv.hostPlatform.system} or throwUnsupportedSystem;
};
inherit (versionMap.${majorVersion}) gccVersion alireRevision upstreamTriplet;
in

View file

@ -3562,7 +3562,7 @@ with pkgs;
# If we are cross-compiling GNAT, we may as well do the same.
gnat-bootstrap =
if stdenv.hostPlatform == stdenv.targetPlatform && stdenv.buildPlatform == stdenv.hostPlatform then
buildPackages.gnat-bootstrap15
buildPackages.gnat-bootstrap16
else
buildPackages.gnat16;
stdenv =
@ -3571,7 +3571,7 @@ with pkgs;
&& stdenv.buildPlatform == stdenv.hostPlatform
&& stdenv.buildPlatform.isDarwin
then
overrideCC gccStdenv gnat-bootstrap15
overrideCC gccStdenv gnat-bootstrap16
else
stdenv;
}
@ -3593,6 +3593,11 @@ with pkgs;
isAlireGNAT = true;
};
gnat-bootstrap16 = wrapCCWith {
cc = callPackage ../development/compilers/gnat-bootstrap { majorVersion = "16"; };
isAlireGNAT = true;
};
gnat13Packages = recurseIntoAttrs (callPackage ./ada-packages.nix { gnat = buildPackages.gnat13; });
gnat14Packages = recurseIntoAttrs (callPackage ./ada-packages.nix { gnat = buildPackages.gnat14; });
gnat15Packages = recurseIntoAttrs (callPackage ./ada-packages.nix { gnat = buildPackages.gnat15; });