diff options
Diffstat (limited to 'config/companion_libs/gmp.in')
| -rw-r--r-- | config/companion_libs/gmp.in | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in index a87f417..5a8c78c 100644 --- a/config/companion_libs/gmp.in +++ b/config/companion_libs/gmp.in @@ -4,21 +4,21 @@ choice bool prompt "GMP version" -config GMP_V_4_2_2 - bool - prompt "4.2.2" - -config GMP_V_4_2_4 +config GMP_V_4_3_1 bool - prompt "4.2.4" + prompt "4.3.1" config GMP_V_4_3_0 bool prompt "4.3.0" -config GMP_V_4_3_1 +config GMP_V_4_2_4 bool - prompt "4.3.1" + prompt "4.2.4" + +config GMP_V_4_2_2 + bool + prompt "4.2.2" # CT_INSERT_VERSION_ABOVE # Don't remove above line! @@ -26,9 +26,9 @@ 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 - default "4.3.0" if GMP_V_4_3_0 default "4.3.1" if GMP_V_4_3_1 + default "4.3.0" if GMP_V_4_3_0 + default "4.2.4" if GMP_V_4_2_4 + default "4.2.2" if GMP_V_4_2_2 # CT_INSERT_VERSION_STRING_ABOVE # Don't remove above line! |