diff --git a/bin/build_dependencies_unix.sh b/bin/build_dependencies_unix.sh index 7f807a9f..c54dd115 100755 --- a/bin/build_dependencies_unix.sh +++ b/bin/build_dependencies_unix.sh @@ -286,6 +286,7 @@ cd flint-$FLINTVER --with-mpfr=$PREFIX\ --disable-static make -j6 + strip libflint.* make install cd ..