mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 06:57:51 +00:00
72cb71c827
Now SHA256 has been shown to be an adequate replacement for SHA1, use SHA256 for verifying all port downloads. Ref #2767
20 lines
474 B
Plaintext
20 lines
474 B
Plaintext
LICENSE := GPLv3
|
|
VERSION := 3.0.0
|
|
DOWNLOADS := mpfr.archive
|
|
|
|
URL(mpfr) := http://www.mpfr.org/mpfr-$(VERSION)/mpfr-$(VERSION).tar.gz
|
|
SHA(mpfr) := 71333528c0e7f0e86383a618151edc28e745a9fb5dd64e4893aa6e925601d540
|
|
SIG(mpfr) := ${URL(mpfr)}.asc
|
|
KEY(mpfr) := GNU
|
|
DIR(mpfr) := src/lib/mpfr
|
|
|
|
DIRS := include/mpfr
|
|
DIR_CONTENT(include/mpfr) := src/lib/mpfr/mpfr.h
|
|
|
|
default: include/mpfr/mparam.h
|
|
|
|
include/mpfr/mparam.h: _dirs
|
|
@$(MSG_INSTALL)$@
|
|
@cp src/lib/mpfr/mparam_h.in $@
|
|
|