config/companion_libs/cloog.in
author Bob Dunlop <bob.dunlop@xyzzy.org.uk>
Tue Nov 09 10:44:29 2010 +0100 (2010-11-09)
branch1.9
changeset 2179 6224a410fb7f
parent 1873 4477403726db
child 2206 2b5f5173daa0
permissions -rw-r--r--
libc/eglibc: fix downloading

Since Subversion 1.6.13 was released, it is no longer possible
to checkout/export to the current working directory using '.'
(eg. "svn co bla://blabla/foo/bar ." no longer extracts the content
of bar into ./ but into ./bar).

Fix this by luring Subversion to extract into "$(pwd)", which has
the advantage of working both with all known versions so far.

At the same time, remove the useless redirection.
(transplanted from 42cc9bd0db7ea6d690efab40742881414f7c1277)
     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_10
    10     bool
    11     prompt "0.15.10"
    12 
    13 config CLOOG_V_0_15_9
    14     bool
    15     prompt "0.15.9"
    16 
    17 config CLOOG_V_0_15_8
    18     bool
    19     prompt "0.15.8"
    20 
    21 config CLOOG_V_0_15_7
    22     bool
    23     prompt "0.15.7"
    24 
    25 config CLOOG_V_0_15_6
    26     bool
    27     prompt "0.15.6"
    28 
    29 config CLOOG_V_0_15_5
    30     bool
    31     prompt "0.15.5 (OBSOLETE)"
    32     depends on OBSOLETE
    33 
    34 config CLOOG_V_0_15_4
    35     bool
    36     prompt "0.15.4 (OBSOLETE)"
    37     depends on OBSOLETE
    38 
    39 config CLOOG_V_0_15_3
    40     bool
    41     prompt "0.15.3 (OBSOLETE)"
    42     depends on OBSOLETE
    43 
    44 endchoice
    45 
    46 config CLOOG_VERSION
    47     string
    48 # Don't remove next line
    49 # CT_INSERT_VERSION_STRING_BELOW
    50     default "0.15.10" if CLOOG_V_0_15_10
    51     default "0.15.9" if CLOOG_V_0_15_9
    52     default "0.15.8" if CLOOG_V_0_15_8
    53     default "0.15.7" if CLOOG_V_0_15_7
    54     default "0.15.6" if CLOOG_V_0_15_6
    55     default "0.15.5" if CLOOG_V_0_15_5
    56     default "0.15.4" if CLOOG_V_0_15_4
    57     default "0.15.3" if CLOOG_V_0_15_3