Restore static linking of hacl*

Author: zanieb

cpython-unix/build-cpython.sh

@@ -58,6 +58,12 @@ cat Makefile.extra
 
 pushd Python-${PYTHON_VERSION}
 
+if [ -n PYTHON_MEETS_MINIMUM_VERSION_3_14 ]; then
+    # CPython only allows HACL* to be statically linked on WASI by default, undo that
+    # See https://github.com/python/cpython/pull/132438
+    patch -p1 -i ${ROOT}/patch-static-hacl-3.14.patch
+fi
+
 # configure doesn't support cross-compiling on Apple. Teach it.
 if [ "${PYBUILD_PLATFORM}" = "macos" ]; then
     if [ -n "${PYTHON_MEETS_MINIMUM_VERSION_3_13}" ]; then

cpython-unix/patch-static-hacl-3.14.patch

@@ -0,0 +1,13 @@
+diff --git a/configure.ac b/configure.ac
+index a7b2f62579b..3703dbb1f96 100644
+--- a/configure.ac
++++ b/configure.ac
+@@ -7959,7 +7959,7 @@ AC_SUBST([LIBHACL_BLAKE2_SIMD256_OBJS])
+ # HACL*-based cryptographic primitives
+ 
+ AC_MSG_CHECKING([for HACL* library linking type])
+-if test "$ac_sys_system" = "WASI"; then
++if true; then
+   LIBHACL_LDEPS_LIBTYPE=STATIC
+   AC_MSG_RESULT([static])
+ else