We require gmp, so we can as well just set the corresponding flag to true.

8 years ago · a371301312
1 changed files with 2 additions and 2 deletions
--- a/storm-config.h.in
+++ b/storm-config.h.in
@ -53,8 +53,8 @@
 // Whether CLN is available and to be used (define/undef)
 #cmakedefine STORM_HAVE_CLN

-// Whether GMP is available and to be used (define/undef)
-#cmakedefine STORM_HAVE_GMP
+// Whether GMP is available  (it is always available nowadays)
+#define STORM_HAVE_GMP

 // Whether carl is available and to be used.
 #cmakedefine STORM_HAVE_CARL