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