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