1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
### MiniZinc Gecode Solver Target
if(GECODE_FOUND)
### Compile target for the Gecode interface
add_library(minizinc_gecode OBJECT
lib/passes/gecode_pass.cpp
solvers/gecode/aux_brancher.hh
solvers/gecode/fzn_space.cpp
solvers/gecode/gecode_constraints.cpp
solvers/gecode/gecode_solverfactory.cpp
solvers/gecode/gecode_solverinstance.cpp
include/minizinc/passes/gecode_pass.hh
include/minizinc/solvers/gecode/fzn_space.hh
include/minizinc/solvers/gecode/gecode_constraints.hh
include/minizinc/solvers/gecode_solverfactory.hh
include/minizinc/solvers/gecode_solverinstance.hh
)
target_include_directories(minizinc_gecode PRIVATE "${GECODE_INCLUDE_DIRS}")
add_dependencies(minizinc_gecode minizinc_parser)
### Setup correct compilation into the MiniZinc library
target_compile_definitions(mzn PRIVATE HAS_GECODE)
target_sources(mzn PRIVATE $<TARGET_OBJECTS:minizinc_gecode>)
target_link_libraries(mzn Gecode::Driver Gecode::Float Gecode::Int Gecode::Kernel Gecode::Search Gecode::Set)
if(WIN32 AND GECODE_HAS_GIST)
target_link_libraries(mzn Gecode::Gist)
endif()
endif()
|
