From d9b3cb273671264edcd5fd5fa0acde22a181fd66 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 5 Jul 2011 16:10:58 +0000
Subject: 	* config/open-axiom.m4: Don't test for GMP, just yet.

---
 config/open-axiom.m4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'config/open-axiom.m4')

diff --git a/config/open-axiom.m4 b/config/open-axiom.m4
index feb30740..2e8ef1a2 100644
--- a/config/open-axiom.m4
+++ b/config/open-axiom.m4
@@ -796,7 +796,7 @@ OPENAXIOM_CHECK_FILESYSTEM
 OPENAXIOM_CHECK_SIGNALS
 OPENAXIOM_CHECK_SOCKETS
 OPENAXIOM_CHECK_PROCESS
-OPENAXIOM_CHECK_GMP
+#OPENAXIOM_CHECK_GMP
 ])
 
 dnl ------------------------
-- 
cgit v1.2.3