config/companion_libs/cloog.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Mon May 25 17:26:21 2009 +0000 (2009-05-25)
branchgcc-4.4
changeset 1383 46658e3fc781
child 1386 7995942261f2
permissions -rw-r--r--
/devel/gcc-4.4:
- GMP: unconditionnaly build the C++ wrappers and use exceptions

-------- diffstat follows --------
/devel/gcc-4.4/scripts/build/companion_libs/gmp.sh | 11 2 9 0 ++---------
1 file changed, 2 insertions(+), 9 deletions(-)
     1 # CLooG options
     2 
     3 choice
     4     bool
     5     prompt "CLooG/ppl version"
     6 
     7 config CLOOG_V_0_15_3
     8     bool
     9     prompt "0.15.3"
    10 
    11 # CT_INSERT_VERSION_ABOVE
    12 # Don't remove above line!
    13 endchoice
    14 
    15 config CLOOG_VERSION
    16     string
    17     default "0.15.3" if CLOOG_V_0_15_3
    18 # CT_INSERT_VERSION_STRING_ABOVE
    19 # Don't remove above line!
    20 
    21 config CLOOG_CHECK
    22     bool
    23     prompt "Check CLooG (!!! README !!!)"
    24     default n
    25     help
    26       It is highly recommended to check the newly built CLooG library.
    27       Unfortunately, this is a very intensive task, and takes a loooong time.
    28       
    29       Checking CLooG is thus disabled by default.
    30       
    31       If you suspect that your CLooG library is the cause for incorrectly
    32       generated code, you should answer 'Y' here.