This command is documented in AddMPFRFlags.
See add_dune_mpfr_flags() in the module page AddMPFRFlags.
add_dune_mpfr_flags()
add_dune_metis_flags
add_dune_mpi_flags