Fix for the Gurobi inclusion.

Former-commit-id: 232a806b4e
10 years ago · e211e269d4
1 changed files with 5 additions and 5 deletions
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@ -416,11 +416,11 @@ target_link_libraries(storm ltl2dstar)
 ##
 #############################################################
 if (ENABLE_GUROBI)
-    message (STATUS "StoRM - Linking with Gurobi")
-	include_directories(GUROBI_INCLUDE_DIRS)
-    target_link_libraries(storm GUROBI_LIBRARY)
-    target_link_libraries(storm-functional-tests GUROBI_LIBRARY)
-    target_link_libraries(storm-performance-tests GUROBI_LIBRARY)
+    message (STATUS "StoRM - Linking with Gurobi (include: ${GUROBI_INCLUDE_DIRS})")
+	include_directories(${GUROBI_INCLUDE_DIRS})
+    target_link_libraries(storm ${GUROBI_LIBRARY})
+    target_link_libraries(storm-functional-tests ${GUROBI_LIBRARY})
+    target_link_libraries(storm-performance-tests ${GUROBI_LIBRARY})
 endif(ENABLE_GUROBI)

 #############################################################