libgmp: added overlayed port

diff --git a/libgmp/.footprint b/libgmp/.footprint
new file mode 100644 (file)
index 0000000..f88c541
--- /dev/null
+++ b/libgmp/.footprint
@@ -0,0 +1,15 @@
+drwxr-xr-x     root/root       usr/
+drwxr-xr-x     root/root       usr/include/
+-rw-r--r--     root/root       usr/include/gmp.h
+-rw-r--r--     root/root       usr/include/gmpxx.h
+drwxr-xr-x     root/root       usr/lib/
+-rw-r--r--     root/root       usr/lib/libgmp.a
+-rwxr-xr-x     root/root       usr/lib/libgmp.la
+lrwxrwxrwx     root/root       usr/lib/libgmp.so -> libgmp.so.10.3.0
+lrwxrwxrwx     root/root       usr/lib/libgmp.so.10 -> libgmp.so.10.3.0
+-rwxr-xr-x     root/root       usr/lib/libgmp.so.10.3.0
+-rw-r--r--     root/root       usr/lib/libgmpxx.a
+-rwxr-xr-x     root/root       usr/lib/libgmpxx.la
+lrwxrwxrwx     root/root       usr/lib/libgmpxx.so -> libgmpxx.so.4.5.0
+lrwxrwxrwx     root/root       usr/lib/libgmpxx.so.4 -> libgmpxx.so.4.5.0
+-rwxr-xr-x     root/root       usr/lib/libgmpxx.so.4.5.0

diff --git a/libgmp/.md5sum b/libgmp/.md5sum
new file mode 100644 (file)
index 0000000..e44cd1b
--- /dev/null
+++ b/libgmp/.md5sum
@@ -0,0 +1 @@
+a9868ef2556ad6a2909babcd1428f3c7  gmp-6.1.0.tar.xz

diff --git a/libgmp/Pkgfile b/libgmp/Pkgfile
new file mode 100644 (file)
index 0000000..aa8778a
--- /dev/null
+++ b/libgmp/Pkgfile
@@ -0,0 +1,20 @@
+# Description: Free library for arbitrary precision arithmetic
+# URL: http://gmplib.org/
+# Maintainer: CRUX System Team, core-ports at crux dot nu
+# Arch Maintainer: CRUX-ARM System Team, devel at crux-arm dot nu
+# Depends on:
+
+name=libgmp
+version=6.1.0
+release=1
+source=(ftp://ftp.gmplib.org/pub/gmp-${version%a}/gmp-$version.tar.xz)
+
+build() {
+  cd gmp-${version%a}
+  ./configure --prefix=/usr \
+              --enable-cxx \
+              --build=aarch64-unknown-linux-gnueabi
+  make
+  make DESTDIR=$PKG install
+  rm -r $PKG/usr/share
+}