config/global/build-behave.in
author Arnaud Lacombe <lacombar@gmail.com>
Thu Aug 05 17:59:51 2010 +0200 (2010-08-05)
changeset 2069 366bd2b22675
parent 1753 fcc55af9aee5
child 2695 f2495884ca3e
permissions -rw-r--r--
complibs/mpc: fix MPC 0.8.1 build with MPFR 3.0.0

This is the change introduced by revision 734 of MPC repository.

Author: Paul Zimmermann <Paul.Zimmermann@loria.fr>
Revision log: [acos.c] fixed problem with GMP_RNDA (should be MPFR_RNDA, and code was wrong)

Signed-off-by: Arnaud Lacombe <lacombar@gmail.com>
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"