diff options
author | tamasmeszaros <meszaros.q@gmail.com> | 2019-12-18 13:57:21 +0300 |
---|---|---|
committer | tamasmeszaros <meszaros.q@gmail.com> | 2019-12-18 13:58:39 +0300 |
commit | 4220124658dc544308ac14f715b15dda3753e5d8 (patch) | |
tree | 00382aab9e21e7b0730f7e02ec857c86c55ad8e3 /deps | |
parent | c97aacd2d8e984e09e24e8e353e0016e1f1e3d6c (diff) |
Add mpfr download mirror
Diffstat (limited to 'deps')
-rw-r--r-- | deps/MPFR/MPFR.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/deps/MPFR/MPFR.cmake b/deps/MPFR/MPFR.cmake index 7873bc0d6..17ac283ea 100644 --- a/deps/MPFR/MPFR.cmake +++ b/deps/MPFR/MPFR.cmake @@ -19,7 +19,7 @@ if (MSVC) else () ExternalProject_Add(dep_MPFR - URL https://www.mpfr.org/mpfr-3.1.6/mpfr-3.1.6.tar.bz2 + URL http://ftp.vim.org/ftp/gnu/mpfr/mpfr-3.1.6.tar.bz2 https://www.mpfr.org/mpfr-3.1.6/mpfr-3.1.6.tar.bz2 # mirrors are allowed BUILD_IN_SOURCE ON CONFIGURE_COMMAND ./configure --prefix=${DESTDIR}/usr/local --with-gmp=${DESTDIR}/usr/local --with-pic BUILD_COMMAND make -j |