diff options
author | 2017-07-13 07:38:03 (GMT) | |
---|---|---|
committer | 2017-07-13 07:38:03 (GMT) | |
commit | 45c5bb0f484cba724be2c6105801dcce9a1a82d9 (patch) | |
tree | 8fd1c8eaa2ef203009d72b6ca6348611dcc5ee1c /config/companion_libs/gmp.in | |
parent | 8f8e131d566af1f577d8fb6e62e6f121b7955472 (diff) | |
parent | b32fcf7c1eea890a2bd3f88487f818ba241aabb1 (diff) |
Merge pull request #767 from stilor/packages
Packages
Diffstat (limited to 'config/companion_libs/gmp.in')
-rw-r--r-- | config/companion_libs/gmp.in | 83 |
1 files changed, 0 insertions, 83 deletions
diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in deleted file mode 100644 index 167c772..0000000 --- a/config/companion_libs/gmp.in +++ /dev/null @@ -1,83 +0,0 @@ -# GMP options - -choice - bool - prompt "GMP version" -# Don't remove next line -# CT_INSERT_VERSION_BELOW - -config GMP_V_6_1_2 - bool - prompt "6.1.2" - select GMP_5_0_2_or_later - -config GMP_V_6_1_0 - bool - prompt "6.1.0 (OBSOLETE)" - select GMP_5_0_2_or_later - depends on OBSOLETE - -config GMP_V_6_0_0 - bool - prompt "6.0.0a (OBSOLETE)" - select GMP_5_0_2_or_later - depends on OBSOLETE - -config GMP_V_5_1_3 - bool - prompt "5.1.3 (OBSOLETE)" - select GMP_5_0_2_or_later - depends on OBSOLETE - -config GMP_V_5_1_1 - bool - prompt "5.1.1 (OBSOLETE)" - select GMP_5_0_2_or_later - depends on OBSOLETE - -config GMP_V_5_0_2 - bool - prompt "5.0.2 (OBSOLETE)" - select GMP_5_0_2_or_later - depends on OBSOLETE - -config GMP_V_5_0_1 - bool - prompt "5.0.1 (OBSOLETE)" - depends on OBSOLETE - -config GMP_V_4_3_2 - bool - prompt "4.3.2 (OBSOLETE)" - depends on OBSOLETE - -config GMP_V_4_3_1 - bool - prompt "4.3.1 (OBSOLETE)" - depends on OBSOLETE - -config GMP_V_4_3_0 - bool - prompt "4.3.0 (OBSOLETE)" - depends on OBSOLETE - -endchoice - -# To disable --enable-mpbsd -config GMP_5_0_2_or_later - bool - -config GMP_VERSION - string -# Don't remove next line -# CT_INSERT_VERSION_STRING_BELOW - default "6.1.2" if GMP_V_6_1_2 - default "6.1.0" if GMP_V_6_1_0 - default "6.0.0a" if GMP_V_6_0_0 - default "5.1.3" if GMP_V_5_1_3 - default "5.1.1" if GMP_V_5_1_1 - default "5.0.2" if GMP_V_5_0_2 - default "5.0.1" if GMP_V_5_0_1 - default "4.3.2" if GMP_V_4_3_2 - default "4.3.1" if GMP_V_4_3_1 - default "4.3.0" if GMP_V_4_3_0 |