summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
Diffstat (limited to 'config')
-rw-r--r--config/companion_libs.in1
1 files changed, 1 insertions, 0 deletions
diff --git a/config/companion_libs.in b/config/companion_libs.in
index e543faa..aa4b63a 100644
--- a/config/companion_libs.in
+++ b/config/companion_libs.in
@@ -33,6 +33,7 @@ endif
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