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