Adress codex review comments

Author: zayenz

CMakeLists.txt

@@ -535,7 +535,9 @@ function(add_gecode_component_library lib)
 
   add_library(gecode${lib} INTERFACE)
   target_link_libraries(gecode${lib} INTERFACE gecode${lib}_${GECODE_DEFAULT_LINK_VARIANT})
+  list(APPEND GECODE_INSTALL_TARGETS gecode${lib})
   list(APPEND GECODE_EXPORT_TARGETS gecode${lib})
+  set(GECODE_INSTALL_TARGETS ${GECODE_INSTALL_TARGETS} PARENT_SCOPE)
   set(GECODE_EXPORT_TARGETS ${GECODE_EXPORT_TARGETS} PARENT_SCOPE)
 endfunction()
 
@@ -759,7 +761,8 @@ install(TARGETS ${GECODE_INSTALL_TARGETS}
   EXPORT GecodeTargets
   RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}
   LIBRARY DESTINATION ${CMAKE_INSTALL_LIBDIR}
-  ARCHIVE DESTINATION ${CMAKE_INSTALL_LIBDIR})
+  ARCHIVE DESTINATION ${CMAKE_INSTALL_LIBDIR}
+  INCLUDES DESTINATION ${CMAKE_INSTALL_INCLUDEDIR})
 
 if(GECODE_ENABLE_FLATZINC)
   install(FILES ${MZN_SCRIPT} DESTINATION ${CMAKE_INSTALL_BINDIR})
@@ -799,6 +802,10 @@ set(GECODE_PACKAGE_NEEDS_THREADS OFF)
 if(GECODE_ENABLE_THREAD)
   set(GECODE_PACKAGE_NEEDS_THREADS ON)
 endif()
+set(GECODE_PACKAGE_NEEDS_MPFR OFF)
+if(GECODE_ENABLE_FLOAT_VARS AND GECODE_ENABLE_MPFR AND MPFR_FOUND AND TARGET MPFR::MPFR)
+  set(GECODE_PACKAGE_NEEDS_MPFR ON)
+endif()
 set(GECODE_PACKAGE_QT_MAJOR "")
 set(GECODE_PACKAGE_QT_COMPONENTS "")
 if(GECODE_BUILD_GIST_TARGET)
@@ -834,4 +841,8 @@ install(FILES
   ${CMAKE_CURRENT_BINARY_DIR}/GecodeConfigVersion.cmake
   DESTINATION ${CMAKE_INSTALL_LIBDIR}/cmake/Gecode)
 
+install(FILES
+  ${CMAKE_CURRENT_SOURCE_DIR}/misc/cmake_modules/FindMPFR.cmake
+  DESTINATION ${CMAKE_INSTALL_LIBDIR}/cmake/Gecode)
+
 set_property(GLOBAL PROPERTY USE_FOLDERS ON)

cmake/GecodeConfig.cmake.in

@@ -4,6 +4,13 @@ include(CMakeFindDependencyMacro)
 if("@GECODE_PACKAGE_NEEDS_THREADS@" STREQUAL "ON")
   find_dependency(Threads REQUIRED)
 endif()
+if("@GECODE_PACKAGE_NEEDS_MPFR@" STREQUAL "ON")
+  set(_gecode_saved_module_path "${CMAKE_MODULE_PATH}")
+  list(APPEND CMAKE_MODULE_PATH "${CMAKE_CURRENT_LIST_DIR}")
+  find_dependency(MPFR REQUIRED)
+  set(CMAKE_MODULE_PATH "${_gecode_saved_module_path}")
+  unset(_gecode_saved_module_path)
+endif()
 set(_gecode_qt_components "@GECODE_PACKAGE_QT_COMPONENTS@")
 if("@GECODE_PACKAGE_QT_MAJOR@" STREQUAL "6")
   find_dependency(Qt6 REQUIRED COMPONENTS ${_gecode_qt_components})