add_dune_gmp_flagsΒΆ

add_dune_gmp_flags(
                    targets 
)
targets
A list of targets to use GMP with.