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\