# GMP options

choice
    bool
    prompt "GMP version"

config GMP_V_4_2_2
    bool
    prompt "4.2.2"

config GMP_V_4_2_4
    bool
    prompt "4.2.4"

# CT_INSERT_VERSION_ABOVE
# Don't remove above line!
endchoice

config GMP_VERSION
    string
    default "4.2.2" if GMP_V_4_2_2
    default "4.2.4" if GMP_V_4_2_4
# CT_INSERT_VERSION_STRING_ABOVE
# Don't remove above line!

config GMP_CHECK
    bool
    prompt "Check GMP (!!! README !!!)"
    default n
    help
      It is highly recommended to check the newly built GMP library.
      Unfortunately, this is a very intensive task, and takes a loooong time.

      Checking GMP is thus disabled by default.

      If you suspect that your GMP library is the cause for incorrectly
      generated code, you should answer 'Y' here.