config/companion_libs/gmp.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sat Jun 04 17:43:49 2011 +0200 (2011-06-04)
changeset 2505 f87f02b00cc7
parent 1912 bcc0d5943bfa
child 2651 a171c274bc12
permissions -rw-r--r--
Makefile: make it work for auto-completion

The latest autocompletion calls 'make -qp' to get all the possible
targets. This currently fails, as our makefile is calling itself
again and again ad-libitum.

Fix it by detecting that the recursion level is not 0, and bail out
if so. It works so well that it has the side effect of showing only
the 'public' target, and hide our internal ones! :-)

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
yann@466
     1
# GMP options
yann@466
     2
yann@466
     3
choice
yann@466
     4
    bool
yann@466
     5
    prompt "GMP version"
yann@1535
     6
# Don't remove next line
yann@1535
     7
# CT_INSERT_VERSION_BELOW
yann@466
     8
yann@1873
     9
config GMP_V_5_0_1
yann@1873
    10
    bool
yann@1984
    11
    prompt "5.0.1 (EXPERIMENTAL)"
yann@1912
    12
    depends on EXPERIMENTAL
yann@1873
    13
yann@1873
    14
config GMP_V_4_3_2
yann@1873
    15
    bool
yann@1873
    16
    prompt "4.3.2"
yann@1873
    17
yann@1534
    18
config GMP_V_4_3_1
yann@466
    19
    bool
yann@1534
    20
    prompt "4.3.1"
yann@1534
    21
yann@1534
    22
config GMP_V_4_3_0
yann@1534
    23
    bool
yann@1534
    24
    prompt "4.3.0"
yann@466
    25
yann@902
    26
config GMP_V_4_2_4
yann@902
    27
    bool
yann@1615
    28
    prompt "4.2.4 (OBSOLETE)"
yann@1615
    29
    depends on OBSOLETE
yann@902
    30
yann@1534
    31
config GMP_V_4_2_2
yann@1440
    32
    bool
yann@1615
    33
    prompt "4.2.2 (OBSOLETE)"
yann@1615
    34
    depends on OBSOLETE
yann@1440
    35
yann@466
    36
endchoice
yann@466
    37
yann@466
    38
config GMP_VERSION
yann@466
    39
    string
yann@1535
    40
# Don't remove next line
yann@1535
    41
# CT_INSERT_VERSION_STRING_BELOW
yann@1873
    42
    default "5.0.1" if GMP_V_5_0_1
yann@1873
    43
    default "4.3.2" if GMP_V_4_3_2
yann@1534
    44
    default "4.3.1" if GMP_V_4_3_1
yann@1534
    45
    default "4.3.0" if GMP_V_4_3_0
yann@1534
    46
    default "4.2.4" if GMP_V_4_2_4
yann@466
    47
    default "4.2.2" if GMP_V_4_2_2