summaryrefslogtreecommitdiff
path: root/libre/gmp-static
diff options
context:
space:
mode:
Diffstat (limited to 'libre/gmp-static')
-rw-r--r--libre/gmp-static/PKGBUILD41
1 files changed, 41 insertions, 0 deletions
diff --git a/libre/gmp-static/PKGBUILD b/libre/gmp-static/PKGBUILD
new file mode 100644
index 000000000..a62b4b1a7
--- /dev/null
+++ b/libre/gmp-static/PKGBUILD
@@ -0,0 +1,41 @@
+# Maintainer: Márcio Silva <coadde@parabola.nu>
+# based of gmp
+
+_pkgname=gmp
+pkgname=gmp-static
+pkgver=6.1.0
+pkgrel=3
+pkgdesc="A free library for arbitrary precision arithmetic (static libraries only)"
+arch=('i686' 'x86_64' 'armv7h')
+url="http://gmplib.org/"
+depends=('gcc-libs-static' 'gmp')
+license=('LGPL3' 'GPL')
+options=('staticlibs')
+source=(https://gmplib.org/download/gmp/gmp-${pkgver}.tar.xz{,.sig})
+md5sums=('a9868ef2556ad6a2909babcd1428f3c7'
+ 'SKIP')
+validpgpkeys=('5972C48224C1E7E62AA0275D1150EE33C1A000B0') # Marco Bodrato
+
+build() {
+ cd "${srcdir}/${_pkgname}-${pkgver}"
+
+ ./configure --build=${CHOST} \
+ --prefix=/usr \
+ --enable-cxx
+ # do not --enable-fat - see https://bugs.archlinux.org/task/47284
+ make
+}
+
+check() {
+ cd "${srcdir}/${_pkgname}-${pkgver}"
+ make check
+}
+
+package() {
+ cd "${srcdir}/${_pkgname}-${pkgver}"
+ make DESTDIR="${pkgdir}" install
+
+ # remove unused files
+ rm -vr ${pkgdir}/usr/{include,share}
+ rm -v ${pkgdir}/usr/lib/libgmp*.so*
+}