# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1251655659 -7200
# Node ID 2109143a4b2f4eb8a0bc7a8ce8a91d687de03278
# Parent  4e8dd617a1ca1194999433844c0e5257cdb4914e# Parent  472cfde636a1b51fc108db4e32b36def87952c51
Merge.

diff -r 4e8dd617a1ca -r 2109143a4b2f config/companion_libs.in
--- a/config/companion_libs.in	Sun Aug 30 19:58:41 2009 +0200
+++ b/config/companion_libs.in	Sun Aug 30 20:07:39 2009 +0200
@@ -33,6 +33,7 @@
 config PPL_CLOOG_MPC
     bool
     prompt "PPL, GLooG/PPL and MPC"
+    select GMP_MPFR
     select WRAPPER_NEEDED
     help
       gcc-4.4.0 and above requires PPL and CLooG/PPL to build some parts
diff -r 4e8dd617a1ca -r 2109143a4b2f config/config.in
--- a/config/config.in	Sun Aug 30 19:58:41 2009 +0200
+++ b/config/config.in	Sun Aug 30 20:07:39 2009 +0200
@@ -2,9 +2,9 @@
 source config/target.in
 source config/toolchain.in
 source config/kernel.in
-source config/companion_libs.in
 source config/binutils.in
 source config/cc.in
 source config/libc.in
+source config/debug.in
 source config/tools.in
-source config/debug.in
+source config/companion_libs.in
diff -r 4e8dd617a1ca -r 2109143a4b2f config/kernel.in
--- a/config/kernel.in	Sun Aug 30 19:58:41 2009 +0200
+++ b/config/kernel.in	Sun Aug 30 20:07:39 2009 +0200
@@ -8,6 +8,13 @@
     bool
     default n
 
+# Each target OS (aka kernel) that support shared libraries can select
+# this, so the user can decide whether or not to build a shared library
+# enabled toolchain
+config KERNEL_SUPPORTS_SHARED_LIBS
+    bool
+    default n
+
 config KERNEL
     string
 
@@ -16,4 +23,17 @@
 
 source config.gen/kernel.in
 
+comment "Common kernel options"
+
+config SHARED_LIBS
+    bool
+    prompt "Build shared libraries"
+    depends on KERNEL_SUPPORTS_SHARED_LIBS
+    default y
+    help
+      Say 'y' here, unless you don't want shared libraries.
+      
+      You might not want shared libraries if you're building for a target that
+      don't support it (maybe some nommu targets, for example, or bare metal).
+
 endmenu
diff -r 4e8dd617a1ca -r 2109143a4b2f config/kernel/linux.in
--- a/config/kernel/linux.in	Sun Aug 30 19:58:41 2009 +0200
+++ b/config/kernel/linux.in	Sun Aug 30 20:07:39 2009 +0200
@@ -3,6 +3,7 @@
 # Linux kernel options
 
 config KERNEL_linux
+    select KERNEL_SUPPORTS_SHARED_LIBS
     help
       Build a toolchain targeting systems running Linux as a kernel.
 
diff -r 4e8dd617a1ca -r 2109143a4b2f config/toolchain.in
--- a/config/toolchain.in	Sun Aug 30 19:58:41 2009 +0200
+++ b/config/toolchain.in	Sun Aug 30 20:07:39 2009 +0200
@@ -28,17 +28,6 @@
       In fact, the sysroot path is constructed as:
         ${CT_PREFIX_DIR}/${CT_TARGET}/${CT_SYSROOT_DIR_PREFIX}/sys-root
 
-config SHARED_LIBS
-    bool
-    prompt "Build shared libraries"
-    depends on ! BARE_METAL
-    default y
-    help
-      Say 'y' here, unless you don't want shared libraries.
-      
-      You might not want shared libraries if you're building for a target that
-      don't support it (maybe some nommu targets, for example, or bare metal).
-
 comment "Tuple completion and aliasing"
 
 config TARGET_VENDOR