# Depends on:
name=libgmp
-version=5.1.2
+version=6.1.2
release=1
-source=(ftp://ftp.gnu.org/gnu/gmp/gmp-$version.tar.xz)
+source=(ftp://ftp.gmplib.org/pub/gmp-$version/gmp-$version.tar.xz \
+ gmp.h)
build() {
cd gmp-$version
--enable-cxx
make
make DESTDIR=$PKG install
+ mv $PKG/usr/include/gmp{,-64}.h
+ install -m 0644 $SRC/gmp.h $PKG/usr/include/
rm -r $PKG/usr/share
}