1.1 --- a/config/companion_libs.in	Mon May 25 18:22:26 2009 +0000
     1.2 +++ b/config/companion_libs.in	Mon May 25 19:48:42 2009 +0000
     1.3 @@ -20,17 +20,6 @@
     1.4          - gcc
     1.5          - gdb
     1.6  
     1.7 -config GMP_MPFR_TARGET
     1.8 -    bool
     1.9 -    prompt "Build libraries for the target"
    1.10 -    depends on GMP_MPFR
    1.11 -    depends on ! BARE_METAL
    1.12 -    default n
    1.13 -    help
    1.14 -      Also build libraries for the target. This can be usefull if you want
    1.15 -      to later build a compiler that will run on the target, or if you want
    1.16 -      to run gdb natively on the target.
    1.17 -
    1.18  if GMP_MPFR
    1.19  source config/companion_libs/gmp.in
    1.20  source config/companion_libs/mpfr.in
    1.21 @@ -57,4 +46,39 @@
    1.22  source config/companion_libs/mpc.in
    1.23  endif
    1.24  
    1.25 +comment "Common companion libraries options"
    1.26 +    depends on GMP_MPFR || PPL_CLOOG_MPC
    1.27 +
    1.28 +config COMP_LIBS_CHECK
    1.29 +    bool
    1.30 +    prompt "Check the companion libraries builds (!!! READ HELP!!!)"
    1.31 +    depends on GMP_MPFR || PPL_CLOOG_MPC
    1.32 +    default n
    1.33 +    help
    1.34 +      It is highly recommended to check the newly built companion libraries.
    1.35 +      Unfortunately, this is a very intensive task, and takes a loooong time.
    1.36 +
    1.37 +      Checking the newly built companion libraries is thus disabled by default,
    1.38 +      but it is suggested that you check them at least once or your machine,
    1.39 +      and if they work, disable the check on subsequent builds.
    1.40 +
    1.41 +      If you suspect that one (or more) of your companion libraries is the
    1.42 +      cause for incorrectly generated code, you should answer 'Y' here.
    1.43 +      Note however that this will take a really long time. For example,
    1.44 +      building PPL on my machine takes roughly 1'40", while checking it takes
    1.45 +      about 1h30"...
    1.46 +
    1.47 +config COMP_LIBS_TARGET
    1.48 +    bool
    1.49 +    prompt "Build companion libraries for the target"
    1.50 +    depends on GMP_MPFR || PPL_CLOOG_MPC
    1.51 +    depends on ! BARE_METAL
    1.52 +    default n
    1.53 +    help
    1.54 +      Also build companion libraries for the target. This can be usefull if
    1.55 +      you want to later build a compiler that will run on the target, or if
    1.56 +      you want to run gdb natively on the target.
    1.57 +      
    1.58 +      Please note that for now, crosstool-NG can only build GMP and MPFR so.
    1.59 +
    1.60  endmenu