mpfr: move out of tree

2025-03-27 16:22:46 -06:00 · 2019-08-05 10:12:48 +03:00 · 2019-08-05 10:12:48 +03:00 · 86416abb02
commit 86416abb02
parent b03066d39c
5 changed files with 0 additions and 15 deletions
--- a/extra/mpfr/build
+++ b/extra/mpfr/build
@ -1,11 +0,0 @@
-#!/bin/sh -e
-
-./configure \
-    --prefix=/usr \
-    --enable-shared
-
-make
-make DESTDIR="$1" install
-
-# Remove all info files.
-rm -rf "$1/usr/share/info"
--- a/extra/mpfr/checksums
+++ b/extra/mpfr/checksums
@ -1 +0,0 @@
-1d3be708604eae0e42d578ba93b390c2a145f17743a744d8f3f8c2ad5855a38a  mpfr-4.0.2.tar.xz
--- a/extra/mpfr/depends
+++ b/extra/mpfr/depends
@ -1 +0,0 @@
-gmp
--- a/extra/mpfr/sources
+++ b/extra/mpfr/sources
@ -1 +0,0 @@
-http://www.mpfr.org/mpfr-4.0.2/mpfr-4.0.2.tar.xz
--- a/extra/mpfr/version
+++ b/extra/mpfr/version
@ -1 +0,0 @@
-4.0.2 1
				`@ -1 +0,0 @@`
				`1d3be708604eae0e42d578ba93b390c2a145f17743a744d8f3f8c2ad5855a38a mpfr-4.0.2.tar.xz`
				`@ -1 +0,0 @@`
				`http://www.mpfr.org/mpfr-4.0.2/mpfr-4.0.2.tar.xz`