config/backend.in
author Arnaud Lacombe <lacombar@gmail.com>
Thu Aug 05 17:59:49 2010 +0200 (2010-08-05)
changeset 2067 477c7955e6b0
parent 1877 b579a5cb53d1
child 2484 d1a8c2ae7946
permissions -rw-r--r--
complibs/ppl: fix PPL build with GMP 5.x.x

From http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=9c19bc2b318a35016e0189f9552c98910be37f53

Author: Roberto Bagnara <bagnara@cs.unipr.it>
Revision log: Added support for GMP 5.0.

Adapted manually to match and not having to re-generate the configure script.

Signed-off-by: Arnaud Lacombe <lacombar@gmail.com>
yann@1869
     1
# Options specific to crosstool-NG acting as a backend
yann@121
     2
yann@1842
     3
config IS_A_BACKEND
yann@1842
     4
    string
yann@1842
     5
    option env="CT_IS_A_BACKEND"
yann@1842
     6
yann@1842
     7
config BACKEND
yann@1842
     8
    bool
yann@1842
     9
    default y if IS_A_BACKEND =  "y" || IS_A_BACKEND =  "Y"
yann@1842
    10
    default n if IS_A_BACKEND != "y" && IS_A_BACKEND != "Y"
yann@1842
    11
yann@1868
    12
config BACKEND_ARCH
yann@1868
    13
    string
yann@1868
    14
    option env="CT_BACKEND_ARCH"
yann@1868
    15
yann@1868
    16
config BACKEND_KERNEL
yann@1868
    17
    string
yann@1868
    18
    option env="CT_BACKEND_KERNEL"
yann@1878
    19
yann@1878
    20
config BACKEND_LIBC
yann@1878
    21
    string
yann@1878
    22
    option env="CT_BACKEND_LIBC"