From 80430906f035ae7a40e9eb35ee2edba226aea574 Mon Sep 17 00:00:00 2001
From: hbruintjes <h.bruintjes@cs.rwth-aachen.de>
Date: Thu, 21 Apr 2016 16:21:16 +0200
Subject: [PATCH] Use GMP is CLN is not found for RationalNumber

Former-commit-id: ba800d8342f011320a06653ced706744b5936385
---
 src/adapters/CarlAdapter.h | 6 +++++-
 storm-config.h.in          | 3 +++
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/adapters/CarlAdapter.h b/src/adapters/CarlAdapter.h
index 2ed172cde..5956c0aaa 100644
--- a/src/adapters/CarlAdapter.h
+++ b/src/adapters/CarlAdapter.h
@@ -42,7 +42,11 @@ namespace carl {
 }
 
 namespace storm {
+#if defined STORM_HAVE_CLN && defined USE_CLN_NUMBERS
     typedef cln::cl_RA RationalNumber;
+#else
+    typedef mpq_class RationalNumber;
+#endif
     typedef carl::Variable Variable;
     typedef carl::MultivariatePolynomial<RationalNumber> RawPolynomial;
     typedef carl::FactorizedPolynomial<RawPolynomial> Polynomial;
@@ -55,4 +59,4 @@ namespace storm {
 
 #endif
 
-#endif /* STORM_ADAPTERS_CARLADAPTER_H_ */
\ No newline at end of file
+#endif /* STORM_ADAPTERS_CARLADAPTER_H_ */
diff --git a/storm-config.h.in b/storm-config.h.in
index 7000bd141..1bc2eac7d 100644
--- a/storm-config.h.in
+++ b/storm-config.h.in
@@ -38,6 +38,9 @@
 // Whether support for parametric systems should be enabled
 #cmakedefine PARAMETRIC_SYSTEMS
 
+// Whether CLN is available and to be used (define/undef)
+#cmakedefine STORM_HAVE_CLN
+
 // Whether carl is available and to be used.
 #cmakedefine STORM_HAVE_CARL