From d1a32fd0b00c34e2757425bb3c4a108d5dcda5fb Mon Sep 17 00:00:00 2001
From: Dario Izzo <dario.izzo@gmail.com>
Date: Mon, 25 Jun 2018 17:21:08 +0200
Subject: [PATCH] fixed change in mpfr link policy

---
 tools/install_docker.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/install_docker.sh b/tools/install_docker.sh
index c0a6b5ec..0bfdfe2e 100644
--- a/tools/install_docker.sh
+++ b/tools/install_docker.sh
@@ -49,7 +49,7 @@ sh bootstrap.sh --with-python=/opt/python/${PYTHON_DIR}/bin/python > /dev/null
 cd ..
 
 # Install gmp (before mpfr as its used by it)
-curl https://gmplib.org/download/gmp/gmp-6.1.2.tar.bz2 > gmp-6.1.2.tar.bz2
+curl -L https://gmplib.org/download/gmp/gmp-6.1.2.tar.bz2 > gmp-6.1.2.tar.bz2
 tar xvf gmp-6.1.2.tar.bz2  > /dev/null 2>&1
 cd gmp-6.1.2 > /dev/null 2>&1
 ./configure --enable-fat > /dev/null 2>&1
@@ -58,7 +58,7 @@ make install > /dev/null 2>&1
 cd ..
 
 # Install mpfr
-curl http://www.mpfr.org/mpfr-3.1.6/mpfr-3.1.6.tar.gz > mpfr-3.1.6.tar.gz
+curl -L http://www.mpfr.org/mpfr-3.1.6/mpfr-3.1.6.tar.gz > mpfr-3.1.6.tar.gz
 tar xvf mpfr-3.1.6.tar.gz > /dev/null 2>&1
 cd mpfr-3.1.6
 ./configure > /dev/null 2>&1