this repo has no description
at develop 1.0 kB view raw
1### MiniZinc FICO Xpress Solver Target 2 3if(XPRESS_FOUND AND USE_XPRESS) 4 5 ### Compile target for the Xpress interface 6 add_library(minizinc_xpress OBJECT 7 lib/algorithms/min_cut.cpp 8 9 solvers/MIP/MIP_solverinstance.cpp 10 solvers/MIP/MIP_xpress_solverfactory.cpp 11 solvers/MIP/MIP_xpress_wrap.cpp 12 13 include/minizinc/solvers/MIP/MIP_solverinstance.hh 14 include/minizinc/solvers/MIP/MIP_solverinstance.hpp 15 include/minizinc/solvers/MIP/MIP_xpress_solverfactory.hh 16 include/minizinc/solvers/MIP/MIP_xpress_wrap.hh 17 ) 18 19 target_include_directories(minizinc_xpress PRIVATE ${XPRESS_INCLUDE_DIRS}) 20 target_link_libraries(minizinc_xpress minizinc_core ${XPRESS_LIBRARIES} ${CMAKE_THREAD_LIBS_INIT}) 21 add_dependencies(minizinc_xpress minizinc_parser) 22 23 ### Setup correct compilation into the MiniZinc library 24 target_compile_definitions(mzn PRIVATE HAS_XPRESS) 25 target_sources(mzn PRIVATE $<TARGET_OBJECTS:minizinc_xpress>) 26 target_link_libraries(mzn ${XPRESS_LIBRARIES}) 27 28endif()