# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1293922952 -3600
# Node ID 3c998003904cd8c7c00cde40fe007afce74a5dfb
# Parent  354e402ede12cf3db121639d1868ad8edbed4fca
MQ: add current state of changes

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>

diff -r 354e402ede12 -r 3c998003904c complibs-use-distro-provided-libs
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/complibs-use-distro-provided-libs	Sun Jan 02 00:02:32 2011 +0100
@@ -0,0 +1,102 @@
+# HG changeset patch
+# Parent 23e27fc054b699f1f6530ef0458d990b1f834599
+# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
+# Date 1284399119 -7200
+
+complibs: add option to use distro-provided libs
+
+Now that some distros are catching up (eg. Debian testing at least),
+add an option to use companion libs from the distro.
+
+Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
+
+diff --git a/config/companion_libs.in b/config/companion_libs.in
+--- a/config/companion_libs.in
++++ b/config/companion_libs.in
+@@ -4,6 +4,42 @@
+ 
+ menu "Companion libraries"
+ 
++config COMPLIBS_DISTRO
++    bool
++    prompt "Trust companion libraries from the distro (READ HELP!)"
++    default n
++    depends on COMPLIBS_NEEDED
++    depends on EXPERIMENTAL
++    help
++      Most of the distributions current as of this writing lack the proper
++      version of the required companion libraries, or do not even package
++      those.  For example Debian Lenny has too old a version for PPL, and
++      does not provide MPC and CLooG.
++      
++      But now distributions are catching up, and some (most?) of them do
++      package the proper versions of those libraries. For example again,
++      Debian Squeeze (still in testing) has the proper versions now.
++      
++      If you want to trust your distribution for providing the companion
++      libraries, say 'Y' here, or if you want crosstool-NG to build them
++      for you, say 'N'.
++      
++      The default is 'N', to cope with stable productions systems that most
++      probably are using proven-stable distributions, and can not upgrade.
++      
++      Also, this is still experimental, so you'd better say 'N' if you are
++      not sure.
++      
++      Note-1: if you say 'Y' here, it is very probable that the libraries
++      will be linked in dynamically, and not static. This is not an issue
++      if you keep the toolchain on the machine where it was built, but can
++      become one if you want to move the toolchain to another machine, with
++      an older distro. You've been warned!
++      
++      Note-2: for now, this is an all-from-distro or all-from-crosstool-NG
++      setting. You can't use one lib from the distro, and build another
++      one from crosstool-NG.
++
+ config COMPLIBS_NEEDED
+     bool
+     default n
+@@ -11,37 +47,37 @@
+ config GMP_NEEDED
+     bool
+     default n
+-    select GMP
++    select GMP      if ! COMPLIBS_DISTRO
+     select COMPLIBS_NEEDED
+ 
+ config MPFR_NEEDED
+     bool
+     default n
+-    select MPFR
++    select MPFR     if ! COMPLIBS_DISTRO
+     select COMPLIBS_NEEDED
+ 
+ config PPL_NEEDED
+     bool
+     default n
+-    select PPL
++    select PPL      if ! COMPLIBS_DISTRO
+     select COMPLIBS_NEEDED
+ 
+ config CLOOG_NEEDED
+     bool
+     default n
+-    select CLOOG
++    select CLOOG    if ! COMPLIBS_DISTRO
+     select COMPLIBS_NEEDED
+ 
+ config MPC_NEEDED
+     bool
+     default n
+-    select MPC
++    select MPC      if ! COMPLIBS_DISTRO
+     select COMPLIBS_NEEDED
+ 
+ config LIBELF_NEEDED
+     bool
+     default n
+-    select LIBELF
++    select LIBELF   if ! COMPLIBS_DISTRO
+     select COMPLIBS_NEEDED
+ 
+ config COMPLIBS
diff -r 354e402ede12 -r 3c998003904c series
--- a/series	Sat Jan 01 23:24:05 2011 +0100
+++ b/series	Sun Jan 02 00:02:32 2011 +0100
@@ -0,0 +1,1 @@
+complibs-use-distro-provided-libs