optional_depends gmp '--with-gmp'  \
                     '--without-gmp' \
                     'use GNU MP library'

