From f8d72a0583b8b799617c4420c64b42bce5ccc20a Mon Sep 17 00:00:00 2001 From: Victor Martinez Date: Thu, 2 Jun 2016 09:38:51 +0200 Subject: [PATCH] libgmp: added overlayed port --- libgmp/.footprint | 15 +++++++++++++++ libgmp/.md5sum | 1 + libgmp/Pkgfile | 20 ++++++++++++++++++++ 3 files changed, 36 insertions(+) create mode 100644 libgmp/.footprint create mode 100644 libgmp/.md5sum create mode 100644 libgmp/Pkgfile diff --git a/libgmp/.footprint b/libgmp/.footprint new file mode 100644 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 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 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 +} -- 2.26.2