config/companion_libs/ppl.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Jul 28 23:55:10 2010 +0200 (2010-07-28)
changeset 2043 efb1058baa31
parent 1386 7995942261f2
child 2072 72b3996ba3e6
permissions -rw-r--r--
cc/gcc: add option to enable/disable libmudflap

For some scenarii, libmudflap is not very usefull
or can break the build. Make in an optioon that
defaults to 'N' to be on the safe side.

For the core gcc-s, there is absolutely no need
to build libmidflap.

Idea from: Bernhard Pfund <bernhard@chapter7.ch>
     1 # PPL options
     2 
     3 choice
     4     bool
     5     prompt "PPL version"
     6 # Don't remove next line
     7 # CT_INSERT_VERSION_BELOW
     8 
     9 config PPL_V_0_10_2
    10     bool
    11     prompt "0.10.2"
    12 
    13 endchoice
    14 
    15 config PPL_VERSION
    16     string
    17 # Don't remove next line
    18 # CT_INSERT_VERSION_STRING_BELOW
    19     default "0.10.2" if PPL_V_0_10_2