From 16ac47470c2f7c0ac7b5ce0e509920105d965e02 Mon Sep 17 00:00:00 2001
From: Edgar Costa <edgarc@mit.edu>
Date: Mon, 22 Jul 2024 13:15:27 -0400
Subject: [PATCH] add host to flint

---
 bin/build_dependencies_unix.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/bin/build_dependencies_unix.sh b/bin/build_dependencies_unix.sh
index 2324b10d..49dd606b 100755
--- a/bin/build_dependencies_unix.sh
+++ b/bin/build_dependencies_unix.sh
@@ -285,7 +285,8 @@ cd flint-$FLINTVER
     $FLINTARB_WITHGMP\
     --with-mpfr=$PREFIX\
     --disable-static\
-    --disable-debug
+    --disable-debug\
+    --host=$HOST_ARG
   make -j6
   make install
 cd ..