From 115128302a0bd977ab9f8a4dbdf036beb3fc1d4c Mon Sep 17 00:00:00 2001 From: Corentin Le Molgat Date: Fri, 12 Jul 2024 16:22:36 +0200 Subject: [PATCH] cmake: Fix flatzinc support --- cmake/flatzinc.cmake | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/cmake/flatzinc.cmake b/cmake/flatzinc.cmake index b651e2e9e2..4914083724 100644 --- a/cmake/flatzinc.cmake +++ b/cmake/flatzinc.cmake @@ -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)