add_dune_mpfr_flags =================== This command is documented in :doc:`../modules/AddMPFRFlags`. See :cmake:command:`add_dune_mpfr_flags` in the module page AddMPFRFlags.