carl include dir is correctly passed to c++ now

9 years ago · 148cdf899a
1 changed files with 1 additions and 1 deletions
--- 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