diff --git a/bin/build_dependencies_unix.sh b/bin/build_dependencies_unix.sh index 65b77e72..442d74f4 100755 --- a/bin/build_dependencies_unix.sh +++ b/bin/build_dependencies_unix.sh @@ -277,7 +277,7 @@ echo " building Flint" echo -------------------------------------------- echo -curl -O -L https://www.flintlib.org/flint-$FLINTVER.tar.gz +curl -O -L https://github.com/flintlib/flint/releases/download/v$FLINTVER/flint-$FLINTVER.tar.gz tar xf flint-$FLINTVER.tar.gz cd flint-$FLINTVER ./bootstrap.sh diff --git a/bin/build_variables.sh b/bin/build_variables.sh index 5ed312d0..5b32d1c6 100644 --- a/bin/build_variables.sh +++ b/bin/build_variables.sh @@ -21,4 +21,4 @@ MPIRVER=3.0.0 # MPIR build no longer works (not clear where to download from) # These are the actual dependencies used (at least by default): GMPVER=6.3.0 MPFRVER=4.1.0 -FLINTVER=3.0.0 +FLINTVER=3.0.1