Use GMP is CLN is not found for RationalNumber

Former-commit-id: ba800d8342

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_ */
+#endif /* STORM_ADAPTERS_CARLADAPTER_H_ */

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