diff --git a/pkgs/development/ada-modules/gprbuild/boot.nix b/pkgs/development/ada-modules/gprbuild/boot.nix index 0f8227d50d35..f23628f37b7a 100644 --- a/pkgs/development/ada-modules/gprbuild/boot.nix +++ b/pkgs/development/ada-modules/gprbuild/boot.nix @@ -110,5 +110,11 @@ stdenv.mkDerivation { license = lib.licenses.gpl3Plus; maintainers = [ lib.maintainers.sternenseemann ]; platforms = lib.platforms.all; + # gprbuild-boot builds on darwin, but `gprconfig` stack overflows whenever + # it runs during the enumeration of available toolchains + # This doesn't seem to be a problem with our compiler definition `./nixpkgs-gnat.xml` + # as a gprbuild system without that configuration also stack faults. + # Maybe a linker issue? + broken = stdenv.hostPlatform.isDarwin; }; }