+### Build the docs if asked to
+include(${CMAKE_HOME_DIRECTORY}/tools/cmake/Documentation.cmake)
+
+### Print the result of configuration
+message("")
+message("##########################################")
+message("#### Content of src/internal_config.h ####")
+message("##########################################")
+file(STRINGS ${CMAKE_CURRENT_BINARY_DIR}/src/internal_config.h config_output)
+LIST(REMOVE_AT config_output 0 1 2 3 4 5 6 7 8 9 10) # Pass the file header
+foreach(line ${config_output})
+ message(" ${line}")
+endforeach()
+message("##########################################")
+message("#### Content of simgrid_config.h ####")
+message("##########################################")
+file(STRINGS ${CMAKE_CURRENT_BINARY_DIR}/include/simgrid_config.h config_output)
+LIST(REMOVE_AT config_output 0 1 2 3 4 5 6 7 8 9 -1) # Pass the file header
+foreach(line ${config_output})
+ message(" ${line}")
+endforeach()
+message("##########################################")
+message("#### End of configuration headers ####")
+message("##########################################")
+
+message("\nConfiguration of package `simgrid':")
+message(" Home directory ..............: ${CMAKE_HOME_DIRECTORY}")
+message(" Build Name ..................: ${BUILDNAME}")
+message(" Cmake Generator .............: ${CMAKE_GENERATOR}")
+message(" Site ........................: ${SITE}")
+message(" Install prefix ..............: ${CMAKE_INSTALL_PREFIX}")
+if(release)
+ message(" Release .....................: simgrid-${release_version}${SIMGRID_VERSION_EXTRA} (release build)")