install summary.log

This is extremely useful to debug installation problems because one can
easily check the version and status of dependencies of an installation
instead of digging into the config.h

diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index 76267a3212466919a5451b905192311bd760b8d0..8872f746fb2ddad05d0b6d2929cef93032fbf3a2 100644 (file)
--- a/doc/CMakeLists.txt
+++ b/doc/CMakeLists.txt
@@ -62,6 +62,16 @@ INSTALL(FILES
   COMPONENT library
   )
 
+#
+# Install summary.log
+#
+
+INSTALL(FILES
+  ${CMAKE_BINARY_DIR}/summary.log
+  DESTINATION ${DEAL_II_DOCREADME_RELDIR}
+  COMPONENT library
+  )
+
 #
 # Add a dummy target to make documentation files known to IDEs.
 #