From: Timo Heister <timo.heister@gmail.com>
Date: Sun, 16 Sep 2018 23:45:12 +0000 (-0400)
Subject: install summary.log
X-Git-Tag: v9.1.0-rc1~711^2~1
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2ed85e10377d173e2c6243e8cdc262101d8169dd;p=dealii.git

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 76267a3212..8872f746fb 100644
--- 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.
 #