diff options
Diffstat (limited to 'mpfr/Makefile.in')
| -rw-r--r-- | mpfr/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mpfr/Makefile.in b/mpfr/Makefile.in index fa05cb990..f3d5f27d5 100644 --- a/mpfr/Makefile.in +++ b/mpfr/Makefile.in @@ -112,6 +112,8 @@ TUNE_SQR_OBJ = @TUNE_SQR_OBJ@ U = @U@ VERSION = @VERSION@ __GMP_BITS_PER_MP_LIMB = @__GMP_BITS_PER_MP_LIMB@ +__GMP_LIBGMP_SHARED = @__GMP_LIBGMP_SHARED@ +__GMP_LIBGMP_STATIC = @__GMP_LIBGMP_STATIC@ _am_include = @_am_include@ _am_quote = @_am_quote@ gmp_srclinks = @gmp_srclinks@ |