config/companion_libs/cloog.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Aug 02 18:26:53 2011 +0200 (2011-08-02)
changeset 2592 4908eb2b6f17
parent 2206 2b5f5173daa0
child 2758 47199f966983
permissions -rw-r--r--
scripts/functions: cvs retrieval first tries the mirror for tarballs

The cvs download helper looks for the local tarballs dir to see if it
can find a pre-downloaded tarball, and if it does not find it, does
the actual fetch to upstream via cvs.

In the process, it does not even try to get a tarball from the local
mirror, which can be useful if the mirror has been pre-populated
manually (or with a previously downloaded tree).

Fake a tarball get with the standard tarball-download helper, but
without specifying any upstream URL, which makes the helper directly
try the LAN mirror.

Of course, if no mirror is specified, no URL wil be available, and
the standard cvs retrieval will kick in.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
yann@1380
     1
# CLooG options
yann@1380
     2
yann@1380
     3
choice
yann@1380
     4
    bool
yann@1380
     5
    prompt "CLooG/ppl version"
yann@1535
     6
# Don't remove next line
yann@1535
     7
# CT_INSERT_VERSION_BELOW
yann@1380
     8
yann@2435
     9
config CLOOG_V_0_15_11
yann@2435
    10
    bool
yann@2435
    11
    prompt "0.15.11 (EXPERIMENTAL)"
yann@2435
    12
    depends on EXPERIMENTAL
yann@2435
    13
yann@2157
    14
config CLOOG_V_0_15_10
yann@2157
    15
    bool
yann@2157
    16
    prompt "0.15.10"
yann@2157
    17
yann@1873
    18
config CLOOG_V_0_15_9
yann@1873
    19
    bool
yann@1873
    20
    prompt "0.15.9"
yann@1873
    21
yann@1873
    22
config CLOOG_V_0_15_8
yann@1873
    23
    bool
yann@1873
    24
    prompt "0.15.8"
yann@1873
    25
yann@1534
    26
config CLOOG_V_0_15_7
yann@1380
    27
    bool
yann@1534
    28
    prompt "0.15.7"
yann@1534
    29
yann@1534
    30
config CLOOG_V_0_15_6
yann@1534
    31
    bool
yann@1534
    32
    prompt "0.15.6"
yann@1534
    33
yann@1380
    34
endchoice
yann@1380
    35
yann@1380
    36
config CLOOG_VERSION
yann@1380
    37
    string
yann@1535
    38
# Don't remove next line
yann@1535
    39
# CT_INSERT_VERSION_STRING_BELOW
yann@2435
    40
    default "0.15.11" if CLOOG_V_0_15_11
yann@2157
    41
    default "0.15.10" if CLOOG_V_0_15_10
yann@1873
    42
    default "0.15.9" if CLOOG_V_0_15_9
yann@1873
    43
    default "0.15.8" if CLOOG_V_0_15_8
yann@1534
    44
    default "0.15.7" if CLOOG_V_0_15_7
yann@1534
    45
    default "0.15.6" if CLOOG_V_0_15_6
yann@1534
    46
    default "0.15.5" if CLOOG_V_0_15_5
yann@1534
    47
    default "0.15.4" if CLOOG_V_0_15_4
yann@1380
    48
    default "0.15.3" if CLOOG_V_0_15_3