diff options
Diffstat (limited to 'extra/mpfr')
-rwxr-xr-x | extra/mpfr/build | 8 | ||||
-rw-r--r-- | extra/mpfr/checksums | 1 | ||||
-rw-r--r-- | extra/mpfr/depends | 1 | ||||
-rw-r--r-- | extra/mpfr/meta | 3 | ||||
-rw-r--r-- | extra/mpfr/sources | 1 | ||||
-rw-r--r-- | extra/mpfr/version | 1 |
6 files changed, 0 insertions, 15 deletions
diff --git a/extra/mpfr/build b/extra/mpfr/build deleted file mode 100755 index 9e85cfce..00000000 --- a/extra/mpfr/build +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/sh -e - -./configure \ - --prefix=/usr \ - --enable-shared - -make -make DESTDIR="$1" install diff --git a/extra/mpfr/checksums b/extra/mpfr/checksums deleted file mode 100644 index fe27d868..00000000 --- a/extra/mpfr/checksums +++ /dev/null @@ -1 +0,0 @@ -0c98a3f1732ff6ca4ea690552079da9c597872d30e96ec28414ee23c95558a7f mpfr-4.1.0.tar.xz diff --git a/extra/mpfr/depends b/extra/mpfr/depends deleted file mode 100644 index a0a04787..00000000 --- a/extra/mpfr/depends +++ /dev/null @@ -1 +0,0 @@ -gmp diff --git a/extra/mpfr/meta b/extra/mpfr/meta deleted file mode 100644 index bdb73fa0..00000000 --- a/extra/mpfr/meta +++ /dev/null @@ -1,3 +0,0 @@ -description: GNU MPFR library -license: LGPL-3.0-or-later -maintainer: Cem Keylan <cem@carbslinux.org> diff --git a/extra/mpfr/sources b/extra/mpfr/sources deleted file mode 100644 index a68892a8..00000000 --- a/extra/mpfr/sources +++ /dev/null @@ -1 +0,0 @@ -https://www.mpfr.org/mpfr-current/mpfr-4.1.0.tar.xz diff --git a/extra/mpfr/version b/extra/mpfr/version deleted file mode 100644 index 1bc2766f..00000000 --- a/extra/mpfr/version +++ /dev/null @@ -1 +0,0 @@ -4.1.0 1 |