From 00861a74799888742eb106cefa5d94d8906a8297 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 16 Jan 2015 13:31:41 +0100
Subject: [PATCH] Loosened the restriction to always require GMP a bit.

Former-commit-id: 0537ff217a67aa3b536d6293f4874f9107b757e6
---
 CMakeLists.txt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 2a19b8607..9a410971f 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -341,7 +341,9 @@ if(GMP_FOUND)
 elseif(MPIR_FOUND)
 	link_directories(${GMP_MPIR_LIBRARY_DIR} ${GMP_MPIRXX_LIBRARY_DIR})
 else(GMP_FOUND)
-	message(FATAL_ERROR "GMP is required for MathSAT, but was not found!")
+    if (ENABLE_MSAT)
+        message(FATAL_ERROR "GMP is required for MathSAT, but was not found!")
+    endif(ENABLE_MSAT)
 endif(GMP_FOUND)
 
 if ((NOT Boost_LIBRARY_DIRS) OR ("${Boost_LIBRARY_DIRS}" STREQUAL ""))