ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update MPFR port URL 

Ref #3028
This commit is contained in:
Emery Hemingway 2018-10-30 13:11:08 +01:00 committed by Christian Helmuth
parent 63b6e04dae
commit 15039f3ae8
2 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/libports/ports/mpfr.hash
View File

@ -1 +1 @@
ae2dea819f3ac4a00ddb9d5815161107bac18572
9055b2ad7de47518b84a4e213c65d43d4ffd146b

7
repos/libports/ports/mpfr.port
View File

@ -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 $@