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 ..