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>
     1 # CLooG options
     2 
     3 choice
     4     bool
     5     prompt "CLooG/ppl version"
     6 # Don't remove next line
     7 # CT_INSERT_VERSION_BELOW
     8 
     9 config CLOOG_V_0_15_11
    10     bool
    11     prompt "0.15.11 (EXPERIMENTAL)"
    12     depends on EXPERIMENTAL
    13 
    14 config CLOOG_V_0_15_10
    15     bool
    16     prompt "0.15.10"
    17 
    18 config CLOOG_V_0_15_9
    19     bool
    20     prompt "0.15.9"
    21 
    22 config CLOOG_V_0_15_8
    23     bool
    24     prompt "0.15.8"
    25 
    26 config CLOOG_V_0_15_7
    27     bool
    28     prompt "0.15.7"
    29 
    30 config CLOOG_V_0_15_6
    31     bool
    32     prompt "0.15.6"
    33 
    34 endchoice
    35 
    36 config CLOOG_VERSION
    37     string
    38 # Don't remove next line
    39 # CT_INSERT_VERSION_STRING_BELOW
    40     default "0.15.11" if CLOOG_V_0_15_11
    41     default "0.15.10" if CLOOG_V_0_15_10
    42     default "0.15.9" if CLOOG_V_0_15_9
    43     default "0.15.8" if CLOOG_V_0_15_8
    44     default "0.15.7" if CLOOG_V_0_15_7
    45     default "0.15.6" if CLOOG_V_0_15_6
    46     default "0.15.5" if CLOOG_V_0_15_5
    47     default "0.15.4" if CLOOG_V_0_15_4
    48     default "0.15.3" if CLOOG_V_0_15_3