genode/repos/libports/ports/mpfr.port

21 lines
523 B
Plaintext
Raw Normal View History

LICENSE := GPLv3
VERSION := 3.0.0
DOWNLOADS := mpfr.archive
2018-10-30 12:11:08 +00:00
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
2018-10-30 12:11:08 +00:00
TAR_OPT(mpfr) := --strip-components=1
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 $@