genode/repos/libports/ports/mpfr.port

20 lines
474 B
Plaintext
Raw Normal View History

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