config/companion_libs/cloog.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Mon Mar 29 00:15:32 2010 +0200 (2010-03-29)
changeset 1864 758d5137fe87
parent 1535 073d351bdcd3
child 1873 4477403726db
permissions -rw-r--r--
scripts/populate: optimise search loop

Curently, populate will iterate over all ELF (shared objects|executables)
to look for missing NEEDED DSOs, adding to the list at every iterations
of the search loop.

Instead of looking again at previously handled ELF files, recursively
resolve every ELf files.

Also, in case there are a whole lot of files (more than the shell can
accept as arguments list, or creating a command line longer than the
shell can cope with), use a temporary file with the list of files
to search for missing dependencies.
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@1534
     9
config CLOOG_V_0_15_7
yann@1380
    10
    bool
yann@1534
    11
    prompt "0.15.7"
yann@1534
    12
yann@1534
    13
config CLOOG_V_0_15_6
yann@1534
    14
    bool
yann@1534
    15
    prompt "0.15.6"
yann@1534
    16
yann@1534
    17
config CLOOG_V_0_15_5
yann@1534
    18
    bool
yann@1615
    19
    prompt "0.15.5 (OBSOLETE)"
yann@1615
    20
    depends on OBSOLETE
yann@1380
    21
yann@1522
    22
config CLOOG_V_0_15_4
yann@1522
    23
    bool
yann@1615
    24
    prompt "0.15.4 (OBSOLETE)"
yann@1615
    25
    depends on OBSOLETE
yann@1522
    26
yann@1534
    27
config CLOOG_V_0_15_3
yann@1522
    28
    bool
yann@1615
    29
    prompt "0.15.3 (OBSOLETE)"
yann@1615
    30
    depends on OBSOLETE
yann@1522
    31
yann@1380
    32
endchoice
yann@1380
    33
yann@1380
    34
config CLOOG_VERSION
yann@1380
    35
    string
yann@1535
    36
# Don't remove next line
yann@1535
    37
# CT_INSERT_VERSION_STRING_BELOW
yann@1534
    38
    default "0.15.7" if CLOOG_V_0_15_7
yann@1534
    39
    default "0.15.6" if CLOOG_V_0_15_6
yann@1534
    40
    default "0.15.5" if CLOOG_V_0_15_5
yann@1534
    41
    default "0.15.4" if CLOOG_V_0_15_4
yann@1380
    42
    default "0.15.3" if CLOOG_V_0_15_3