this repo has no description
dekker.one
1### MiniZinc Geas Solver Target
2
3if(GEAS_FOUND)
4
5 ### Compile target for the Geas interface
6 add_library(minizinc_geas OBJECT
7 solvers/geas/geas_constraints.cpp
8 solvers/geas/geas_solverfactory.cpp
9 solvers/geas/geas_solverinstance.cpp
10
11 include/minizinc/solvers/geas/geas_constraints.hh
12 include/minizinc/solvers/geas_solverfactory.hh
13 include/minizinc/solvers/geas_solverinstance.hh
14 )
15 target_include_directories(minizinc_geas PRIVATE "${GEAS_INCLUDE_DIRS}")
16 add_dependencies(minizinc_geas minizinc_parser)
17
18 ### Setup correct compilation into the MiniZinc library
19 target_compile_definitions(mzn PRIVATE HAS_GEAS)
20 target_sources(mzn PRIVATE $<TARGET_OBJECTS:minizinc_geas>)
21 target_link_libraries(mzn Geas)
22
23endif()