add_dune_gmp_flagsΒΆ

add_dune_gmp_flags(
     targets 
)
targets

A list of targets to use GMP with.