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