genode/repos/libports/ports/mpfr.port

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 $@
libports: migrate to new ports mechanism Issue #1082 2014-05-07 23:52:52 +02:00			`LICENSE := GPLv3`
			`VERSION := 3.0.0`
			`DOWNLOADS := mpfr.archive`

			`URL(mpfr) := http://www.mpfr.org/mpfr-$(VERSION)/mpfr-$(VERSION).tar.gz`
Replace SHA1 hashes of port downloads with SHA256 Now SHA256 has been shown to be an adequate replacement for SHA1, use SHA256 for verifying all port downloads. Ref #2767 2018-05-07 16:45:50 +02:00			`SHA(mpfr) := 71333528c0e7f0e86383a618151edc28e745a9fb5dd64e4893aa6e925601d540`
libports: migrate to new ports mechanism Issue #1082 2014-05-07 23:52:52 +02:00			`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 $@`