config/global/build-behave.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Mon Mar 29 10:05:21 2010 +0200 (2010-03-29)
changeset 1866 1539194a1877
parent 1753 fcc55af9aee5
child 2695 f2495884ca3e
permissions -rw-r--r--
config: hide more config options when a backend

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