config/global/build-behave.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Jan 12 19:24:03 2010 +0100 (2010-01-12)
changeset 1761 88020b2c3246
parent 1459 aec371a30cf3
child 1866 1539194a1877
permissions -rw-r--r--
scripts/functions: change handling of nochdir

- 'nochdir' must be the first option
- have systematic pushd/popd, even if nochdir
     1 # Options related to how the build behaves
     2 
     3 comment "Build behavior"
     4 
     5 config PARALLEL_JOBS
     6     int
     7     prompt "Number of parallel jobs"
     8     default 1
     9     help
    10       Number of jobs make will be allowed to run concurently.
    11       Set this higher than the number of processors you have, but not too high.
    12       A good rule of thumb is twice the number of processors you have.
    13       
    14       Enter 1 (or 0) to have only one job at a time.
    15 
    16 config LOAD
    17     int
    18     prompt "Maximum allowed load"
    19     default 0
    20     help
    21       Specifies that no new jobs should be started if there are others jobs
    22       running and the load average is at least this value.
    23       
    24       Makes sense on SMP machines only.
    25       
    26       Enter 0 to have no limit on the load average.
    27       
    28       Note: only the integer part of the load is allowed here (you can't enter
    29             0.75 for example).
    30 
    31 config USE_PIPES
    32     bool
    33     prompt "Use -pipe"
    34     default y
    35     help
    36       Use gcc's option -pipe to use pipes rather than temp files when building
    37       the toolchain.
    38 
    39 choice
    40     bool
    41     prompt "Shell to use as CONFIG_SHELL"
    42     default CONFIG_SHELL_BASH
    43 
    44 config CONFIG_SHELL_SH
    45     bool
    46     prompt "sh (the system shell)"
    47     help
    48       Use 'sh' as CONFIG_SHELL.
    49       
    50       ./configure scripts and Makefiles make intensive use of calling
    51       sub-shells. This is usually done by calling /bin/sh. /bin/sh ought
    52       to be an at-least-POSIX-conformant shell (that is, able to interpret
    53       POSIX shell scripts).
    54       
    55       On many (most?) systems, /bin/sh is a symlink to bash. On some other
    56       systems (eg. Ubuntu, latest Debian), /bin/sh points to dash (or ash).
    57       bash is a full-featured shell, with many extension to POSIX, but is
    58       quite slow (see ection BUGS in the bash man page), while dash is
    59       faster, with very few extensions to POSIX.  On the other hand, some
    60       ./configure scripts, although written to use /bin/sh, may really
    61       require to be run by bash.
    62       
    63       The default is to use bash, as some components (eg. GMP) will fail
    64       to build with anything else than bash.
    65 
    66 config CONFIG_SHELL_ASH
    67     bool
    68     prompt "ash (READ HELP!)"
    69     help
    70       Use 'ash' as CONFIG_SHELL.
    71       
    72       See help for CONFIG_SHELL_SH, above, for more explanations.
    73       
    74       NOTE: It is advised that you do NOT use ash as CONFIG_SHELL, as some
    75       components are broken. If you decide to use ash, and the build breaks,
    76       don't come moaning and set the CONFIG_SHELL to bash, below.
    77 
    78 config CONFIG_SHELL_BASH
    79     bool
    80     prompt "bash"
    81     help
    82       Use 'bash' as CONFIG_SHELL.
    83       
    84       See help for CONFIG_SHELL_SH, above, for more explanations.
    85 
    86 config CONFIG_SHELL_CUSTOM
    87     bool
    88     prompt "custom shell"
    89     help
    90       Enter full path to the custom shell below.
    91       
    92       See help for CONFIG_SHELL_SH, above, for more explanations.
    93 
    94 config CONFIG_SHELL_CUSTOM_PATH
    95     string
    96     prompt "Path to custom shell"
    97     depends on CONFIG_SHELL_CUSTOM
    98     default "/bin/sh"
    99 
   100 endchoice
   101 
   102 config CONFIG_SHELL
   103     string
   104     default "sh"        if CONFIG_SHELL_SH
   105     default "ash"       if CONFIG_SHELL_ASH
   106     default "bash"      if CONFIG_SHELL_BASH
   107     default "custom"    if CONFIG_SHELL_CUSTOM