From 116b80cf91504877a4a6ffe3bc88e10bfe1dba96 Mon Sep 17 00:00:00 2001 From: Thomas Krijnen Date: Wed, 16 Jan 2019 14:41:34 +0100 Subject: [PATCH] Fix MPFR download location --- nix/build-all.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/nix/build-all.py b/nix/build-all.py index 0118d2df6b..b7c10d50a6 100644 --- a/nix/build-all.py +++ b/nix/build-all.py @@ -653,7 +653,7 @@ if "icu" in targets: if "cgal" in targets: build_dependency(name="gmp-%s" % (GMP_VERSION,), mode="autoconf", build_tool_args=["--disable-shared", "--with-pic"], download_url="https://ftp.gnu.org/gnu/gmp/", download_name="gmp-%s.tar.bz2" % (GMP_VERSION,)) - build_dependency(name="mpfr-%s" % (MPFR_VERSION,), mode="autoconf", build_tool_args=["--disable-shared", "--with-gmp=%s/install/gmp-%s" % (DEPS_DIR, GMP_VERSION)], download_url="http://www.mpfr.org/mpfr-current/", download_name="mpfr-%s.tar.bz2" % (MPFR_VERSION,)) + build_dependency(name="mpfr-%s" % (MPFR_VERSION,), mode="autoconf", build_tool_args=["--disable-shared", "--with-gmp=%s/install/gmp-%s" % (DEPS_DIR, GMP_VERSION)], download_url="http://www.mpfr.org/mpfr-%s/" % (MPFR_VERSION,), download_name="mpfr-%s.tar.bz2" % (MPFR_VERSION,)) OLD_BUILD_CFG = BUILD_CFG if BUILD_CFG != "Debug":