Use --host again

flintlib · Mar 5, 2025 · d541d35 · d541d35
1 parent 93204dd
commit d541d35
Showing 1 changed file with 1 addition and 6 deletions.
diff --git 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\