config/companion_libs/ppl.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Fri Oct 08 23:37:12 2010 +0200 (2010-10-08)
branch1.8
changeset 2150 f97a8ad2b172
parent 1386 7995942261f2
child 2072 72b3996ba3e6
permissions -rw-r--r--
cc/gcc: fix C++ headers location

In case we build the C++ compiler, we have to tell gcc where to put the C++
headers, or else it will try to # put it in prefix/tuple/include, which we
make a symlink to sysroot/usr/include during the build, and that we delete
(the symlink!) after the build, but gcc will not look in sysroot/usr/inlcude
for C++ headers by default.

Implements a fix suggested by: Bryan Hundven <bryanhundven@gmail.com>

Reported-by: Anthony Foiani <anthony.foiani@gmail.com>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
(transplanted from a0924619112015bdaa81a0a2313d21ef38607bc2)
yann@1324
     1
# PPL options
yann@1324
     2
yann@1324
     3
choice
yann@1324
     4
    bool
yann@1324
     5
    prompt "PPL version"
yann@1535
     6
# Don't remove next line
yann@1535
     7
# CT_INSERT_VERSION_BELOW
yann@1324
     8
yann@1324
     9
config PPL_V_0_10_2
yann@1324
    10
    bool
yann@1324
    11
    prompt "0.10.2"
yann@1324
    12
yann@1324
    13
endchoice
yann@1324
    14
yann@1324
    15
config PPL_VERSION
yann@1324
    16
    string
yann@1535
    17
# Don't remove next line
yann@1535
    18
# CT_INSERT_VERSION_STRING_BELOW
yann@1324
    19
    default "0.10.2" if PPL_V_0_10_2