Actually use GMP

This commit is contained in:
Vítor Santos Costa 2015-11-05 19:26:22 +00:00
parent 5f76e105b1
commit c1ca214932
1 changed files with 3 additions and 1 deletions

View File

@ -794,12 +794,14 @@ PL_EXPORT(void*) PL_blob_data(atom_t a,
PL_EXPORT(void) PL_register_blob_type(PL_blob_t *type);
PL_EXPORT(PL_blob_t*) PL_find_blob_type(const char* name);
PL_EXPORT(PL_blob_t*) YAP_find_blob_type(YAP_Atom at);
PL_EXPORT(int) PL_unregister_blob_type(PL_blob_t *type);
PL_EXPORT(int) PL_unr1egister_blob_type(PL_blob_t *type);
PL_EXPORT(int) PL_raise(int sig);
#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);