From a371301312ee60e0bf0b16cb8dd7dc1e5cc7f6c6 Mon Sep 17 00:00:00 2001 From: sjunges Date: Wed, 12 Apr 2017 21:58:42 +0200 Subject: [PATCH] We require gmp, so we can as well just set the corresponding flag to true. --- storm-config.h.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/storm-config.h.in b/storm-config.h.in index 9e6e07ba6..b0290b751 100644 --- 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