config/companion_libs/cloog.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 1380 945dc995daa7
child 1522 aab8f20f3795
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.
yann@1380
     1
# CLooG options
yann@1380
     2
yann@1380
     3
choice
yann@1380
     4
    bool
yann@1380
     5
    prompt "CLooG/ppl version"
yann@1380
     6
yann@1380
     7
config CLOOG_V_0_15_3
yann@1380
     8
    bool
yann@1380
     9
    prompt "0.15.3"
yann@1380
    10
yann@1380
    11
# CT_INSERT_VERSION_ABOVE
yann@1380
    12
# Don't remove above line!
yann@1380
    13
endchoice
yann@1380
    14
yann@1380
    15
config CLOOG_VERSION
yann@1380
    16
    string
yann@1380
    17
    default "0.15.3" if CLOOG_V_0_15_3
yann@1380
    18
# CT_INSERT_VERSION_STRING_ABOVE
yann@1380
    19
# Don't remove above line!