From 148cdf899a35b689171133fb6668858c58d26952 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Wed, 21 Dec 2016 10:13:34 +0100 Subject: [PATCH] carl include dir is correctly passed to c++ now --- storm-config.h.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/storm-config.h.in b/storm-config.h.in index 5ba4de252..074e72d1c 100644 --- a/storm-config.h.in +++ b/storm-config.h.in @@ -21,7 +21,7 @@ #define STORM_BOOST_INCLUDE_DIR "@STORM_BOOST_INCLUDE_DIR@" // Carl include directory used during compilation. -#define STORM_CARL_INCLUDE_DIR "@STORM_CARL_INCLUDE_DIR@" +#define STORM_CARL_INCLUDE_DIR "@carl_INCLUDE_DIR@" // Whether Gurobi is available and to be used (define/undef) #cmakedefine STORM_HAVE_GUROBI