Use FLINT 3.5.0

Author: oscarbenjamin

bin/build_variables.sh

@@ -19,4 +19,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.2.2
-FLINTVER=3.4.0
+FLINTVER=3.5.0

bin/install_latest_flint_ubuntu.sh

@@ -7,8 +7,9 @@ source bin/build_variables.sh
 sudo apt-get update
 sudo apt-get install libgmp-dev libmpfr-dev xz-utils ninja-build
 
-git clone https://github.com/flintlib/flint
-cd flint && ./bootstrap.sh && ./configure --disable-static && make -j$(expr $(nproc) + 1) && sudo make install
+curl -O -L https://github.com/flintlib/flint/releases/download/v$FLINTVER/flint-$FLINTVER.tar.gz
+tar -xzf flint-$FLINTVER.tar.gz
+cd flint-$FLINTVER && ./configure --disable-static && make -j$(expr $(nproc) + 1) && sudo make install
 
 ls -l /usr/local/lib
 sudo ldconfig /usr/local/lib