diff options
author | 2009-08-30 18:07:39 (GMT) | |
---|---|---|
committer | 2009-08-30 18:07:39 (GMT) | |
commit | 510b70fabd4bfbc954c59718a3961e42c97f0072 (patch) | |
tree | e23a575f284001876340f7cbd27b4c5f8a18fd5e /config/companion_libs.in | |
parent | af08c2b96c480ed03423da75bbb4908b6d9b38a9 (diff) | |
parent | 4fa6f04c32fff2b1b4c42444875d21cda1e59a40 (diff) |
Merge.
Diffstat (limited to 'config/companion_libs.in')
-rw-r--r-- | config/companion_libs.in | 1 |
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 |