diff options
Diffstat (limited to 'config/comp_libs/gmp.in')
| -rw-r--r-- | config/comp_libs/gmp.in | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/config/comp_libs/gmp.in b/config/comp_libs/gmp.in new file mode 100644 index 0000000..28359cd --- /dev/null +++ b/config/comp_libs/gmp.in @@ -0,0 +1,7 @@ +# GMP options + +source "config/versions/gmp.in" + +config GMP_HAS_MPBSD + bool + default y if !GMP_5_1_or_later |