always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

cmake: Fix flatzinc support

Browse Source
This commit is contained in:
Corentin Le Molgat
2024-07-12 16:22:36 +02:00
parent 86c5059a02
commit 115128302a
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cmake/flatzinc.cmake
View File

@@ -184,8 +184,8 @@ file(RELATIVE_PATH FZ_REL_INSTALL_BINARY
${CMAKE_INSTALL_PREFIX}/${CMAKE_INSTALL_DATADIR}/minizinc/solvers
${CMAKE_INSTALL_PREFIX}/${CMAKE_INSTALL_BINDIR}/fzn-cp-sat)
configure_file(
ortools/flatzinc/cpsat.msc.in
${PROJECT_BINARY_DIR}/cpsat.msc
ortools/flatzinc/cp-sat.msc.in
${PROJECT_BINARY_DIR}/cp-sat.msc
@ONLY)
# Install rules
@@ -199,7 +199,7 @@ install(TARGETS flatzinc fzn #fzn-parser_test
)
install(DIRECTORY ortools/flatzinc/mznlib/
DESTINATION ${CMAKE_INSTALL_DATAROOTDIR}/minizinc/cpsat
DESTINATION ${CMAKE_INSTALL_DATAROOTDIR}/minizinc/cp-sat
FILES_MATCHING PATTERN "*.mzn")
install(FILES ${PROJECT_BINARY_DIR}/cpsat.msc
install(FILES ${PROJECT_BINARY_DIR}/cp-sat.msc
DESTINATION ${CMAKE_INSTALL_DATAROOTDIR}/minizinc/solvers)