This command is documented in AddGMPFlags.
See add_dune_gmp_flags() in the module page AddGMPFlags.
add_dune_gmp_flags()
add_dune_blas_lapack_flags
add_dune_metis_flags