diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 906c7eb93..8853c6f06 100644 --- a/Makefile.in +++ b/Makefile.in @@ -147,6 +147,7 @@ VERSION = @VERSION@ __GMP_BITS_PER_MP_LIMB = @__GMP_BITS_PER_MP_LIMB@ __GMP_LIBGMP_SHARED = @__GMP_LIBGMP_SHARED@ __GMP_LIBGMP_STATIC = @__GMP_LIBGMP_STATIC@ +__GMP_LSYM_PREFIX = @__GMP_LSYM_PREFIX@ _am_include = @_am_include@ _am_quote = @_am_quote@ gmp_srclinks = @gmp_srclinks@ |