make sure gmp.h is included

This commit is contained in:
Vítor Santos Costa 2010-06-19 08:20:25 +01:00
parent bd50f087e9
commit b2d59d6c43

View File

@ -563,6 +563,9 @@ PL_EXPORT(int) PL_release_stream(IOSTREAM *s);
#endif
#if USE_GMP
#include <gmp.h>
PL_EXPORT(int) PL_get_mpz(term_t t, mpz_t mpz);
PL_EXPORT(int) PL_unify_mpz(term_t t, mpz_t mpz);
PL_EXPORT(int) PL_get_mpq(term_t t, mpq_t mpz);