pkgname=gmp
version=6.1.2
distfiles="http://gmplib.org/download/${pkgname}/${pkgname}-${version}.tar.xz"