From e211e269d4edfc6a1076b1b75fb585660a468154 Mon Sep 17 00:00:00 2001 From: PBerger Date: Sun, 1 Feb 2015 03:46:26 +0100 Subject: [PATCH] Fix for the Gurobi inclusion. Former-commit-id: 232a806b4ecb906aff6c94cdee649e2b5d53cd00 --- CMakeLists.txt | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) 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) #############################################################