this repo has no description
dekker.one
1### MiniZinc Gurobi Solver Target
2
3if(GUROBI_FOUND AND USE_GUROBI)
4
5 ### Compile target for the Gurobi interface
6 add_library(minizinc_gurobi OBJECT
7 lib/algorithms/min_cut.cpp
8 lib/utils_savestream.cpp
9
10 solvers/MIP/MIP_gurobi_solverfactory.cpp
11 solvers/MIP/MIP_gurobi_wrap.cpp
12 solvers/MIP/MIP_solverinstance.cpp
13
14 include/minizinc/solvers/MIP/MIP_gurobi_solverfactory.hh
15 include/minizinc/solvers/MIP/MIP_gurobi_wrap.hh
16 include/minizinc/solvers/MIP/MIP_solverinstance.hh
17 include/minizinc/solvers/MIP/MIP_solverinstance.hpp
18 )
19 target_include_directories(minizinc_gurobi PRIVATE ${GUROBI_INCLUDE_DIRS})
20 add_dependencies(minizinc_gurobi minizinc_parser)
21
22 ### Setup correct compilation into the MiniZinc library
23 target_compile_definitions(mzn PRIVATE HAS_GUROBI)
24 target_sources(mzn PRIVATE $<TARGET_OBJECTS:minizinc_gurobi>)
25 target_link_libraries(mzn ${GUROBI_LIBRARIES})
26
27endif()