CMake: Print commit in summary.log and detailed.log

diff --git a/cmake/setup_write_config.cmake b/cmake/setup_write_config.cmake
index 34398db48eb08c4c37d26c93cd991570428ed0fa..5777c5fe1b8b942decd5125bd1f952be6404663b 100644 (file)
--- a/cmake/setup_write_config.cmake
+++ b/cmake/setup_write_config.cmake
@@ -45,8 +45,16 @@ _both(
 #        CMAKE_BUILD_TYPE:       ${CMAKE_BUILD_TYPE}
 #        BUILD_SHARED_LIBS:      ${BUILD_SHARED_LIBS}
 #        CMAKE_INSTALL_PREFIX:   ${CMAKE_INSTALL_PREFIX}
-#        CMAKE_SOURCE_DIR:       ${CMAKE_SOURCE_DIR} (Version ${DEAL_II_PACKAGE_VERSION})
-#        CMAKE_BINARY_DIR:       ${CMAKE_BINARY_DIR}
+#        CMAKE_SOURCE_DIR:       ${CMAKE_SOURCE_DIR}
+"
+  )
+IF("${DEAL_II_GIT_SHORTREV}" STREQUAL "")
+  _both("#                                (version ${DEAL_II_PACKAGE_VERSION})\n")
+ELSE()
+  _both("#                                (version ${DEAL_II_PACKAGE_VERSION}, shortrev ${DEAL_II_GIT_SHORTREV})\n")
+ENDIF()
+_both(
+"#        CMAKE_BINARY_DIR:       ${CMAKE_BINARY_DIR}
 #        CMAKE_CXX_COMPILER:     ${CMAKE_CXX_COMPILER_ID} ${CMAKE_CXX_COMPILER_VERSION} on platform ${CMAKE_SYSTEM_NAME} ${CMAKE_SYSTEM_PROCESSOR}
 #                                ${CMAKE_CXX_COMPILER}
 "