diff -r 0ca0f85a4b2a -r a52574521bea config/companion_libs.in --- a/config/companion_libs.in Wed Apr 06 22:30:57 2011 +0200 +++ b/config/companion_libs.in Thu Aug 18 16:05:48 2011 +0200 @@ -6,47 +6,39 @@ config COMPLIBS_NEEDED bool - default n config GMP_NEEDED bool - default n select GMP select COMPLIBS_NEEDED config MPFR_NEEDED bool - default n select MPFR select COMPLIBS_NEEDED config PPL_NEEDED bool - default n select PPL select COMPLIBS_NEEDED config CLOOG_NEEDED bool - default n select CLOOG select COMPLIBS_NEEDED config MPC_NEEDED bool - default n select MPC select COMPLIBS_NEEDED config LIBELF_NEEDED bool - default n select LIBELF select COMPLIBS_NEEDED config COMPLIBS bool - default n config GMP bool @@ -112,7 +104,6 @@ config COMPLIBS_CHECK bool prompt "Check the companion libraries builds (!!! READ HELP!!!)" - default n help It is highly recommended to check the newly built companion libraries. Unfortunately, this is a very intensive task, and takes a loooong time.