optional_depends gmp '--enable-gmp'  \
                     '--disable-gmp' \
                     'use GNU MP library'

