···128128++ optional (atLeast12 && stdenv.isDarwin && langAda) ./ada-cctools-as-detection-configure.patch
129129130130# Use absolute path in GNAT dylib install names on Darwin
131131-++ optional (atLeast12 && stdenv.isDarwin && langAda) ./gnat-darwin-dylib-install-name.patch
131131+++ optionals (stdenv.isDarwin && langAda) ({
132132+ "13" = [ ./gnat-darwin-dylib-install-name-13.patch ];
133133+ "12" = [ ./gnat-darwin-dylib-install-name.patch ];
134134+}.${majorVersion} or [])
132135133136# We only apply this patch when building a native toolchain for aarch64-darwin, as it breaks building
134137# a foreign one: https://github.com/iains/gcc-12-branch/issues/18