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