# Exit on error:
set -e

wget http://ftpmirror.gnu.org/gmp/gmp-5.1.3.tar.bz2
tar xf gmp-5.1.3.tar.bz2
cd gmp-5.1.3

CC=/static/bin/musl-gcc \
    LDFLAGS='-s -L/static/lib -static -static-libgcc' \
    ./configure --prefix=/static \
    --enable-shared=no

make install
cd ..
rm -rf gmp-5.1.3
rm gmp-5.1.3.tar.bz2

exit 0