# Options related to how the build behaves

comment "Build behavior"

comment "Build options hiden"

    depends on BACKEND

config PARALLEL_JOBS

    int

    prompt "Number of parallel jobs" if ! BACKEND

    default 0

    help

      Number of jobs make will be allowed to run concurently.

      Set this higher than the number of processors you have, but not too high.

      A good rule of thumb is twice the number of processors you have.

      Enter 1 to have only one job at a time.

      Enter 0 to set automatically based on how many processors the host has.

config LOAD

    int

    prompt "Maximum allowed load" if ! BACKEND

    default 0

    help

      Specifies that no new jobs should be started if there are others jobs

      running and the load average is at least this value.

      Makes sense on SMP machines only.

      Enter 0 to have no limit on the load average.

      Note: only the integer part of the load is allowed here (you can't enter

            0.75 for example).

config USE_PIPES

    bool

    prompt "Use -pipe" if ! BACKEND

    default y

    help

      Use gcc's option -pipe to use pipes rather than temp files when building

      the toolchain.

config EXTRA_FLAGS_FOR_HOST

    string

    prompt "Extra host compiler flags"

    default ""

    help

      Extra flags to pass to the host C and C++ compiler.

      May be used to change the default features of the host

      compiler such as turning off the stack protector or fortify.

choice

    bool

    prompt "Shell to use as CONFIG_SHELL"

    default CONFIG_SHELL_BASH

    depends on ! BACKEND

config CONFIG_SHELL_SH

    bool

    prompt "sh (the system shell)"

    help

      Use 'sh' as CONFIG_SHELL.

      ./configure scripts and Makefiles make intensive use of calling

      sub-shells. This is usually done by calling /bin/sh. /bin/sh ought

      to be an at-least-POSIX-conformant shell (that is, able to interpret

      POSIX shell scripts).

      On many (most?) systems, /bin/sh is a symlink to bash. On some other

      systems (eg. Ubuntu, latest Debian), /bin/sh points to dash (or ash).

      bash is a full-featured shell, with many extension to POSIX, but is

      quite slow (see ection BUGS in the bash man page), while dash is

      faster, with very few extensions to POSIX.  On the other hand, some

      ./configure scripts, although written to use /bin/sh, may really

      require to be run by bash.

      The default is to use bash, as some components (eg. GMP) will fail

      to build with anything else than bash.

      Unless you have a very strong reason not to (eg. you are debugging

      the bashisms in a ./configure script), you should use the default,

      and use bash.

config CONFIG_SHELL_ASH

    bool

    prompt "ash (READ HELP!)"

    help

      Use 'ash' as CONFIG_SHELL.

      See help for CONFIG_SHELL_SH, above, for more explanations.

      NOTE: It is advised that you do NOT use ash as CONFIG_SHELL, as some

      components are broken. If you decide to use ash, and the build breaks,

      don't come moaning and set the CONFIG_SHELL to bash, below.

config CONFIG_SHELL_BASH

    bool

    prompt "bash"

    help

      Use 'bash' as CONFIG_SHELL.

      See help for CONFIG_SHELL_SH, above, for more explanations.

config CONFIG_SHELL_CUSTOM

    bool

    prompt "custom shell"

    help

      Enter full path to the custom shell below.

      See help for CONFIG_SHELL_SH, above, for more explanations.

endchoice

# Do not put this into the choice above, because the choice

# is not available in BACKEND-mode, while we do want this to

# be set even in BACKEND-mode.

config CONFIG_SHELL_CUSTOM_PATH

    string

    prompt "Path to custom shell" if ! BACKEND

    depends on CONFIG_SHELL_CUSTOM || BACKEND

    default "/bin/sh"

# Ditto.

# And we must use the ./configured bash...

config CONFIG_SHELL

    string

    default "/bin/sh"                   if CONFIG_SHELL_SH

    default "/bin/ash"                  if CONFIG_SHELL_ASH

    default "${bash}"                   if CONFIG_SHELL_BASH

    default CONFIG_SHELL_CUSTOM_PATH    if CONFIG_SHELL_CUSTOM || BACKEND