diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/comp_libs.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config/comp_libs.in b/config/comp_libs.in index 502e95a3..f3bc6a78 100644 --- a/config/comp_libs.in +++ b/config/comp_libs.in @@ -61,6 +61,10 @@ config MPFR_NEEDED select GMP_NEEDED select COMP_LIBS_MPFR +config MPFR_TARGET + bool + select COMP_LIBS_MPFR + config ISL_NEEDED bool select GMP_NEEDED |