this repo has no description
dekker.one
1### MiniZinc CPLEX Solver Target
2
3if(CPLEX_FOUND AND USE_CPLEX)
4
5 ### Compile target for the CPlex interface
6 add_library(minizinc_cplex OBJECT
7 lib/algorithms/min_cut.cpp
8
9 solvers/MIP/MIP_cplex_solverfactory.cpp
10 solvers/MIP/MIP_cplex_wrap.cpp
11 solvers/MIP/MIP_solverinstance.cpp
12
13 include/minizinc/solvers/MIP/MIP_cplex_solverfactory.hh
14 include/minizinc/solvers/MIP/MIP_cplex_wrap.hh
15 include/minizinc/solvers/MIP/MIP_solverinstance.hh
16 )
17 set_target_properties(minizinc_cplex PROPERTIES COMPILE_FLAGS ${CPLEX_COMPILE_FLAGS})
18 target_include_directories(minizinc_cplex PRIVATE ${CPLEX_INCLUDE_DIRS})
19 add_dependencies(minizinc_cplex minizinc_parser)
20
21 ### Setup correct compilation into the MiniZinc library
22 target_compile_definitions(mzn PRIVATE HAS_CPLEX)
23 target_sources(mzn PRIVATE $<TARGET_OBJECTS:minizinc_cplex>)
24 set_target_properties(mzn PROPERTIES COMPILE_FLAGS ${CPLEX_COMPILE_FLAGS})
25 target_link_libraries(mzn ${CPLEX_LIBRARIES})
26endif()