From b871a3e45bb7fcbb08464729a4b8d52fbd1e9c33 Mon Sep 17 00:00:00 2001 From: Michael Daniels Date: Sun, 22 Feb 2026 13:33:12 -0500 Subject: [PATCH] gnat{,-bootstrap}14: fix gnat14 build on aarch64-linux --- pkgs/development/compilers/gnat-bootstrap/default.nix | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/pkgs/development/compilers/gnat-bootstrap/default.nix b/pkgs/development/compilers/gnat-bootstrap/default.nix index dffb81bb47ee..ef7ed876e583 100644 --- a/pkgs/development/compilers/gnat-bootstrap/default.nix +++ b/pkgs/development/compilers/gnat-bootstrap/default.nix @@ -209,6 +209,12 @@ stdenv.mkDerivation ( fi done + '' + + # x86_64-darwin needs this for the reason above, and aarch64-linux needs it + # to avoid https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118009, + # but x86_64-linux doesn't seem to need it. + + lib.optionalString (stdenv.hostPlatform.system != "x86_64-linux") '' "$out"/libexec/gcc/${upstreamTriplet}/${gccVersion}/install-tools/mkheaders -v -v \ "$out" "${stdenv.cc.libc}" '';