From: Matthias Maier <tamiko@43-1.org>
Date: Thu, 4 Oct 2018 16:21:27 +0000 (-0500)
Subject: CMake: Remove PUSH_CMAKE_REQUIRED macro
X-Git-Tag: v9.1.0-rc1~663^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cfe49d122fa85ec150ca63a5ee9a5c96678cade0;p=dealii.git

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
index 2cf1b232d9..0000000000
--- 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 4e0260f772..9c4c2e07a5 100644
--- 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>