From 52b863eab4d2e1eeebaa2c9d6fdff1e5dbfcb2a0 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 16 Dec 2013 15:35:34 +0000
Subject: [PATCH] compile without gmp
---
C/text.c | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/C/text.c b/C/text.c
index e8a4eb89a..bbbd0544a 100644
--- a/C/text.c
+++ b/C/text.c
@@ -438,6 +438,7 @@ read_Text( void *buf, seq_tv_t *inp, encoding_t *enc, int *minimal, size_t *leng
*lengp = strlen(s);
*enc = YAP_CHAR;
return s;
+#if USE_GMP
case YAP_STRING_BIG:
if (buf) s = buf;
else s = Yap_PreAllocCodeSpace();
@@ -447,6 +448,7 @@ read_Text( void *buf, seq_tv_t *inp, encoding_t *enc, int *minimal, size_t *leng
*enc = YAP_CHAR;
*lengp = strlen(s);
return s;
+#endif
case YAP_STRING_CHARS:
*enc = YAP_CHAR;
if (inp->sz)
@@ -535,6 +537,7 @@ read_Text( void *buf, seq_tv_t *inp, encoding_t *enc, int *minimal, size_t *leng
LOCAL_Error_TYPE = gen_type_error( inp->type );
LOCAL_Error_Term = t;
}
+#if USE_GMP
} else if (IsBigIntTerm(t)) {
if (inp->type & (YAP_STRING_BIG)) {
inp->type &= (YAP_STRING_BIG);
@@ -544,6 +547,7 @@ read_Text( void *buf, seq_tv_t *inp, encoding_t *enc, int *minimal, size_t *leng
LOCAL_Error_TYPE = gen_type_error( inp->type );
LOCAL_Error_Term = t;
}
+#endif
} else {
if (!Yap_IsGroundTerm(t)) {
LOCAL_Error_TYPE = INSTANTIATION_ERROR;