From 15039f3ae896cac05c80881fea0e7dd754f8ccb4 Mon Sep 17 00:00:00 2001 From: Emery Hemingway Date: Tue, 30 Oct 2018 13:11:08 +0100 Subject: [PATCH] Update MPFR port URL Ref #3028 --- repos/libports/ports/mpfr.hash | 2 +- repos/libports/ports/mpfr.port | 7 ++++--- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/repos/libports/ports/mpfr.hash b/repos/libports/ports/mpfr.hash index adf59adbfe..3121556507 100644 --- a/repos/libports/ports/mpfr.hash +++ b/repos/libports/ports/mpfr.hash @@ -1 +1 @@ -ae2dea819f3ac4a00ddb9d5815161107bac18572 +9055b2ad7de47518b84a4e213c65d43d4ffd146b diff --git a/repos/libports/ports/mpfr.port b/repos/libports/ports/mpfr.port index 09d46327cb..cd9ca8e46d 100644 --- a/repos/libports/ports/mpfr.port +++ b/repos/libports/ports/mpfr.port @@ -2,12 +2,14 @@ LICENSE := GPLv3 VERSION := 3.0.0 DOWNLOADS := mpfr.archive -URL(mpfr) := http://www.mpfr.org/mpfr-$(VERSION)/mpfr-$(VERSION).tar.gz -SHA(mpfr) := 71333528c0e7f0e86383a618151edc28e745a9fb5dd64e4893aa6e925601d540 +URL(mpfr) := https://gforge.inria.fr/frs/download.php/file/27104/mpfr-3.0.0.tar.xz +SHA(mpfr) := 22de51fee8ccfae75eaea85938acf8c9d8e9415269d9abb7ced52ebf0a29b5d8 SIG(mpfr) := ${URL(mpfr)}.asc KEY(mpfr) := GNU DIR(mpfr) := src/lib/mpfr +TAR_OPT(mpfr) := --strip-components=1 + DIRS := include/mpfr DIR_CONTENT(include/mpfr) := src/lib/mpfr/mpfr.h @@ -16,4 +18,3 @@ default: include/mpfr/mparam.h include/mpfr/mparam.h: _dirs @$(MSG_INSTALL)$@ @cp src/lib/mpfr/mparam_h.in $@ -