summarylogtreecommitdiffstats
path: root/PKGBUILD
blob: 69528ad93a3f1c61fccf7f8bc1cac86e642feba8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
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=x86

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
}