# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1267809773 -3600
# Node ID c311bf33c64d1f03f915c0642f1f8400d3627488
# Parent  4220dec659c668389a0ad7c86b48ba28657fb853
complibs: hide prompts

diff -r 4220dec659c6 -r c311bf33c64d config/companion_libs.in
--- a/config/companion_libs.in	Fri Mar 19 18:46:57 2010 +0100
+++ b/config/companion_libs.in	Fri Mar 05 18:22:53 2010 +0100
@@ -16,7 +16,6 @@
 
 config GMP
     bool
-    prompt "GMP"
     select COMPLIBS
     select WRAPPER_NEEDED
     help
@@ -34,7 +33,6 @@
 
 config MPFR
     bool
-    prompt "MPFR"
     select GMP
     select COMPLIBS
     select WRAPPER_NEEDED
@@ -53,7 +51,6 @@
 
 config PPL
     bool
-    prompt "PPL"
     select GMP
     select MPFR
     select COMPLIBS
@@ -68,7 +65,6 @@
 
 config CLOOG
     bool
-    prompt "GLooG/PPL"
     select GMP
     select MPFR
     select PPL
@@ -84,7 +80,6 @@
 
 config MPC
     bool
-    prompt "MPC"
     select GMP
     select MPFR
     select PPL
@@ -102,7 +97,6 @@
 
 config LIBELF
     bool
-#    prompt "libelf"
     select COMPLIBS
     select WRAPPER_NEEDED
     help