CMake: Remove PUSH_CMAKE_REQUIRED macro

diff --git a/cmake/macros/macro_push_cmake_required.cmake b/cmake/macros/macro_push_cmake_required.cmake
deleted file mode 100644 (file)
index 2cf1b23..0000000
--- a/cmake/macros/macro_push_cmake_required.cmake
+++ /dev/null
@@ -1,30 +0,0 @@
-## ---------------------------------------------------------------------
-##
-## Copyright (C) 2012 - 2014 by the deal.II authors
-##
-## This file is part of the deal.II library.
-##
-## The deal.II library is free software; you can use it, redistribute
-## it, and/or modify it under the terms of the GNU Lesser General
-## Public License as published by the Free Software Foundation; either
-## version 2.1 of the License, or (at your option) any later version.
-## The full text of the license can be found in the file LICENSE.md at
-## the top level directory of deal.II.
-##
-## ---------------------------------------------------------------------
-
-#
-# A small macro used in the platform checks to easily add a flag to
-# CMAKE_REQUIRED_FLAGS
-#
-# Usage:
-#     PUSH_CMAKE_REQUIRED("flag")
-#
-
-MACRO(PUSH_CMAKE_REQUIRED _flag)
-
-  SET(CMAKE_REQUIRED_FLAGS "${CMAKE_REQUIRED_FLAGS} ${_flag}")
-  STRING(STRIP "${CMAKE_REQUIRED_FLAGS}" CMAKE_REQUIRED_FLAGS)
-
-ENDMACRO()
-

diff --git a/doc/developers/cmake-internals.html b/doc/developers/cmake-internals.html
index 4e0260f7729496d86708d72b591cb0850a0aa45a..9c4c2e07a5117478ce033662604aa934880deb38 100644 (file)
--- a/doc/developers/cmake-internals.html
+++ b/doc/developers/cmake-internals.html
@@ -295,7 +295,7 @@ CHECK_CXX_COMPILER_FLAG(flag variable)
     job nicely:
 
 <pre class="cmake">
-PUSH_CMAKE_REQUIRED("-Werror")
+ADD_FLAGS(CMAKE_REQUIRED_FLAGS "-Werror")
 CHECK_CXX_SOURCE_COMPILES(...)
 RESET_CMAKE_REQUIRED()
 </pre>