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.
     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_7
    10     bool
    11     prompt "0.15.7"
    12 
    13 config CLOOG_V_0_15_6
    14     bool
    15     prompt "0.15.6"
    16 
    17 config CLOOG_V_0_15_5
    18     bool
    19     prompt "0.15.5 (OBSOLETE)"
    20     depends on OBSOLETE
    21 
    22 config CLOOG_V_0_15_4
    23     bool
    24     prompt "0.15.4 (OBSOLETE)"
    25     depends on OBSOLETE
    26 
    27 config CLOOG_V_0_15_3
    28     bool
    29     prompt "0.15.3 (OBSOLETE)"
    30     depends on OBSOLETE
    31 
    32 endchoice
    33 
    34 config CLOOG_VERSION
    35     string
    36 # Don't remove next line
    37 # CT_INSERT_VERSION_STRING_BELOW
    38     default "0.15.7" if CLOOG_V_0_15_7
    39     default "0.15.6" if CLOOG_V_0_15_6
    40     default "0.15.5" if CLOOG_V_0_15_5
    41     default "0.15.4" if CLOOG_V_0_15_4
    42     default "0.15.3" if CLOOG_V_0_15_3