diff --git a/CMakeLists.txt b/CMakeLists.txt
index f67e8ad19..4c8d04ee3 100644
--- 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)
 
 #############################################################