CMake: add a safeguard

diff --git a/cmake/configure/configure_adolc.cmake b/cmake/configure/configure_adolc.cmake
index 17bb4d4e96703638193726f7e84639e550052684..51bb5670c3bbc1d14a1dd96e413fce1691087eb6 100644 (file)
--- a/cmake/configure/configure_adolc.cmake
+++ b/cmake/configure/configure_adolc.cmake
@@ -17,6 +17,15 @@
 # Configuration for the ADOL-C library:
 #
 
+IF(NOT FEATURE_BOOST_PROCESSED)
+  MESSAGE(FATAL_ERROR "\n"
+    "Internal build system error: The configuration of "
+    "DEAL_II_WITH_ADOLC depends on "
+    "DEAL_II_WITH_BOOST, but CONFIGURE_FEATURE(ADOLC) "
+    "was called before CONFIGURE_FEATURE(BOOST).\n\n"
+    )
+ENDIF()
+
 MACRO(FEATURE_ADOLC_FIND_EXTERNAL var)
   FIND_PACKAGE(ADOLC)