Hi Samuele, The gcc-patches list is for submission and review of patches to GCC. For general help, please use the generic gcc mailing-list (gcc@gcc.gnu.org <mailto:gcc@gcc.gnu.org>), and/or file a bug directly at https://gcc.gnu.org/bugzilla/
The issue you’re referring to, a failure to build libgcc_s.1.dylib on macOS 15 for Intel, is https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116809 Best, FX
