1 files changed, 40 insertions, 0 deletions
diff --git a/config/companion_libs.in b/config/companion_libs.in
index a1f21e9..9cb12ff 100644
--- a/config/companion_libs.in
+++ b/config/companion_libs.in
@@ -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