config/companion_libs/gmp.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Aug 30 00:57:40 2009 +0200 (2009-08-30)
changeset 1495 2542421e3321
parent 1386 7995942261f2
child 1534 d4ddf19a1968
permissions -rw-r--r--
tools wrapper: introduce the silent WRAPPER_NEEDED config option

Add the WRAPPER_NEEDED silent config option, that can be selected by
components that require it (companion libs so far).
Rely on this config option when deciding to install the wrapper,
instead of checking GMP/MPFR or PPL/CLoog/MPC.
     1 # GMP options
     2 
     3 choice
     4     bool
     5     prompt "GMP version"
     6 
     7 config GMP_V_4_2_2
     8     bool
     9     prompt "4.2.2"
    10 
    11 config GMP_V_4_2_4
    12     bool
    13     prompt "4.2.4"
    14 
    15 config GMP_V_4_3_0
    16     bool
    17     prompt "4.3.0"
    18 
    19 config GMP_V_4_3_1
    20     bool
    21     prompt "4.3.1"
    22 
    23 # CT_INSERT_VERSION_ABOVE
    24 # Don't remove above line!
    25 endchoice
    26 
    27 config GMP_VERSION
    28     string
    29     default "4.2.2" if GMP_V_4_2_2
    30     default "4.2.4" if GMP_V_4_2_4
    31     default "4.3.0" if GMP_V_4_3_0
    32     default "4.3.1" if GMP_V_4_3_1
    33 # CT_INSERT_VERSION_STRING_ABOVE
    34 # Don't remove above line!