diff options
| -rw-r--r-- | .SRCINFO | 22 | ||||
| -rw-r--r-- | .gitignore | 6 | ||||
| -rw-r--r-- | PKGBUILD | 66 |
3 files changed, 94 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..21304d5dfdaf --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,22 @@ +pkgbase = android-armv7a-eabi-mpfr + pkgdesc = Multiple-precision floating-point library (Android armv7a-eabi) + pkgver = 4.2.1 + pkgrel = 1 + url = https://www.mpfr.org/ + arch = any + license = GPL-3.0-or-later + license = LGPL-3.0-or-later + makedepends = android-configure + depends = android-armv7a-eabi-gmp + options = !strip + options = !buildflags + options = staticlibs + options = !emptydirs + source = https://ftp.gnu.org/gnu/mpfr/mpfr-4.2.1.tar.xz + source = https://ftp.gnu.org/gnu/mpfr/mpfr-4.2.1.tar.xz.sig + validpgpkeys = 07F3DBBECC1A39605078094D980C197698C3739D + validpgpkeys = A534BE3F83E241D918280AEB5831D11A0D4DB02A + md5sums = 523c50c6318dde6f9dc523bc0244690a + md5sums = SKIP + +pkgname = android-armv7a-eabi-mpfr diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..b5b03b115225 --- /dev/null +++ b/.gitignore @@ -0,0 +1,6 @@ +pkg +src +*.tar.xz +*.tar.gz +*.tar.bz2 +*.asc diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..e3e3760563ac --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,66 @@ +# Maintainer: Gonzalo Exequiel Pedone <hipersayan DOT x AT gmail DOT com> +# Contributor: David Runge <dvzrv@archlinux.org> +# Contributor: Antonio Rojas <arojas@archlinux.org> +# Contributor: Allan McRae <allan@archlinux.org> +# Contributor: damir <damir@archlinux.org> + +_android_arch=armv7a-eabi + +pkgname=android-${_android_arch}-mpfr +_pkgver=4.2.1 +_patchver=0 + +if (( _patchver == 0 )); then + pkgver=$_pkgver +else + pkgver=$_pkgver.p$_patchver +fi + +pkgrel=1 +arch=('any') +pkgdesc="Multiple-precision floating-point library (Android ${_android_arch})" +url='https://www.mpfr.org/' +license=('GPL-3.0-or-later' + 'LGPL-3.0-or-later') +depends=("android-${_android_arch}-gmp") +makedepends=('android-configure') +options=(!strip !buildflags staticlibs !emptydirs) +# NOTE: download potentially existing patches from upstream: +# `curl patches.diff -o https://www.mpfr.org/mpfr-${_pkgver}/allpatches` +source=("https://ftp.gnu.org/gnu/mpfr/mpfr-$_pkgver.tar.xz"{,.sig}) +md5sums=('523c50c6318dde6f9dc523bc0244690a' + 'SKIP') +validpgpkeys=('07F3DBBECC1A39605078094D980C197698C3739D' + 'A534BE3F83E241D918280AEB5831D11A0D4DB02A') # Vincent Lefevre <vincent@vinc17.net> + +prepare() { + cd "${srcdir}/mpfr-${_pkgver}" + source android-env ${_android_arch} + + for src in "${source[@]}"; do + [[ "$src" == *.diff ]] || [[ "$src" == *.patch ]] || continue + printf "Applying patch %s...\n" "$src" + patch -Np1 -i "../$src" + done + + autoreconf -fiv +} + +build() { + cd "${srcdir}/mpfr-${_pkgver}" + source android-env ${_android_arch} + + android-${_android_arch}-configure \ + --enable-thread-safe + make $MAKEFLAGS +} + +package() { + cd "${srcdir}/mpfr-${_pkgver}" + source android-env ${_android_arch} + + make DESTDIR="$pkgdir" install + rm -rf "${pkgdir}/${ANDROID_PREFIX_SHARE}" + ${ANDROID_STRIP} -g --strip-unneeded "${pkgdir}/${ANDROID_PREFIX_LIB}"/*.so + ${ANDROID_STRIP} -g "${pkgdir}/${ANDROID_PREFIX_LIB}"/*.a +} |