build-gmp.sh

#!/bin/bash -e
#
# Copyright 2016 (c) Yousong Zhou
#
# This is free software, licensed under the GNU General Public License v2.
# See /LICENSE for more information.
#
PKG_NAME=gmp
PKG_VERSION=6.1.0
PKG_SOURCE="$PKG_NAME-$PKG_VERSION.tar.xz"
PKG_SOURCE_URL="https://gmplib.org/download/gmp/$PKG_SOURCE"
PKG_SOURCE_MD5SUM=a9868ef2556ad6a2909babcd1428f3c7

. "$PWD/env.sh"