From d541d35d57105091789f5d1c92f4b3b983b0f3f7 Mon Sep 17 00:00:00 2001
From: Oscar Benjamin <oscar.j.benjamin@gmail.com>
Date: Wed, 5 Mar 2025 17:26:20 +0000
Subject: [PATCH] Use --host again

---
 bin/build_dependencies_unix.sh | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/bin/build_dependencies_unix.sh b/bin/build_dependencies_unix.sh
index 24c5c4fd..6ef70cfd 100755
--- a/bin/build_dependencies_unix.sh
+++ b/bin/build_dependencies_unix.sh
@@ -285,13 +285,8 @@ git clone https://github.com/albinahlback/flint.git
 cd flint
 git checkout machine_vectors_casts
   ./bootstrap.sh
-  # --host=$HOST_ARG\ # host is ignored
-  # --enable-arch works on 3.1.3p1, not available  on HEAD
   ./configure --prefix=$PREFIX\
-    --enable-arch=${HOST_ARG%%-*}\
-    --disable-assembly\
-    --disable-avx2\
-    --disable-avx512\
+    --host=$HOST_ARG\
     $FLINTARB_WITHGMP\
     --with-mpfr=$PREFIX\
     --disable-static\