diff options
author | Chris Packham <judge.packham@gmail.com> | 2021-09-21 07:35:27 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-21 07:35:27 (GMT) |
commit | 02d1503f6769be4ad8058b393d4245febced459f (patch) | |
tree | 7ed5bd7fb084879f1750b3ad378c404b9e6a9997 /config/comp_libs.in | |
parent | 5f5a22f7a7307790ec571d0c5acf8790416964e6 (diff) | |
parent | 68088f65c66790c1a5920e67e7e34d9f77e5a20f (diff) |
Merge pull request #1599 from cpackham/gdb
Gdb update and cleanup
Diffstat (limited to 'config/comp_libs.in')
-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 |