diff --git a/bin/build_dependencies_unix.sh b/bin/build_dependencies_unix.sh index 7f807a9f..2324b10d 100755 --- a/bin/build_dependencies_unix.sh +++ b/bin/build_dependencies_unix.sh @@ -284,7 +284,8 @@ cd flint-$FLINTVER ./configure --prefix=$PREFIX\ $FLINTARB_WITHGMP\ --with-mpfr=$PREFIX\ - --disable-static + --disable-static\ + --disable-debug make -j6 make install cd ..