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*
+}