--- configure.orig	2026-05-09 10:04:13
+++ configure	2026-05-09 10:05:36
@@ -32920,7 +32920,7 @@
 LIBHACL_LDFLAGS=  # for now, no specific linker flags are needed
 
 
-if test "$UNIVERSAL_ARCHS" = "universal2" -o \
+if test \( "${UNIVERSALSDK}" != "/" -a "$dep_target_major" -ge 11 \) -o \
    \( "$build_cpu" = "aarch64" -a "$build_vendor" = "apple" \)
 then
   use_hacl_universal2_impl=yes