tools/mpfr: Update to 4.0.2
authorDaniel Engberg <daniel.engberg.lists@pyret.net>
Sun, 10 Feb 2019 11:32:19 +0000 (11:32 +0000)
committerHans Dedecker <dedeckeh@gmail.com>
Sun, 10 Feb 2019 19:51:09 +0000 (20:51 +0100)
commit93034bf7f0a246cd99ca9bfa7c8961ae26989a37
tree6f2525145816848454ef04aafac4983589f356ab
parenta3383e4b016478c73cf149ae7f42ad8f9b87ffbb
tools/mpfr: Update to 4.0.2

Update mpfr to 4.0.2
Use official site as last resort
Force thread-safety functionality
Refresh patches

Signed-off-by: Daniel Engberg <daniel.engberg.lists@pyret.net>
tools/mpfr/Makefile
tools/mpfr/patches/100-freebsd-compat.patch