diff -r b46ecc90d3ab -r 469830f72fe7 config/companion_libs.in
--- a/config/companion_libs.in	Sun Oct 03 23:10:46 2010 +0200
+++ b/config/companion_libs.in	Sun Oct 03 23:11:27 2010 +0200
@@ -4,6 +4,46 @@
 
 menu "Companion libraries"
 
+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