#!/bin/bash
# compile user library gmp
#-----------------------------------------------------------------------------
${MAKE} gmp || exit 1
#-----------------------------------------------------------------------------
# End of GMP
