Mercurialcrosstool-ng / file revision
summary | shortlog | changelog | graph | tags | branches | files | changeset | file | latest | revisions | annotate | diff | raw | help
config/companion_libs/ppl.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 1324 48c12c696778
child 1535 073d351bdcd3
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 # PPL options

     2 

     3 choice

     4     bool

     5     prompt "PPL version"

     6 

     7 config PPL_V_0_10_2

     8     bool

     9     prompt "0.10.2"

    10 

    11 # CT_INSERT_VERSION_ABOVE

    12 # Don't remove above line!

    13 endchoice

    14 

    15 config PPL_VERSION

    16     string

    17     default "0.10.2" if PPL_V_0_10_2

    18 # CT_INSERT_VERSION_STRING_ABOVE

    19 # Don't remove above line!
crosstool-ng