# GMP options
config GMP_EXTRA_CFLAGS
    string "extra target CFLAGS"
    default "-std=gnu17" if GCC_15_or_later
    help
        Extra target CFLAGS to use when building.