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 55ca227..6dd8099 100644 --- a/config/comp_libs.in +++ b/config/comp_libs.in @@ -52,6 +52,10 @@ config GMP_NEEDED def_bool y select COMP_LIBS_GMP +config GMP_TARGET + bool + select COMP_LIBS_GMP + config MPFR_NEEDED def_bool y select GMP_NEEDED |