From b7b3abb2c78f80589db37c20b7ab282d76130c85 Mon Sep 17 00:00:00 2001 From: Costa Vitor Date: Mon, 15 Jun 2009 14:58:57 -0500 Subject: [PATCH] very old machines and gcc may not have isinf --- library/yap2swi/yap2swi.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/library/yap2swi/yap2swi.c b/library/yap2swi/yap2swi.c index 70d4237dc..3ae108565 100644 --- a/library/yap2swi/yap2swi.c +++ b/library/yap2swi/yap2swi.c @@ -2077,7 +2077,13 @@ X_API int PL_is_inf(term_t st) if (IsVarTerm(t)) return FALSE; if (!IsFloatTerm(t)) return FALSE; fl = FloatOfTerm(t); +#if HAVE_ISINF return isinf(fl); +#elif HAVE_FPCLASS + return (fpclass(fl) == FP_NINF || fpclass(fl) == FP_PINF); +#else + return FALSE; +#endif } X_API int PL_thread_self(void)