]> https://gitweb.dealii.org/ - dealii.git/commitdiff
CMake: Remove PUSH_CMAKE_REQUIRED macro 7270/head
authorMatthias Maier <tamiko@43-1.org>
Thu, 4 Oct 2018 16:21:27 +0000 (11:21 -0500)
committerMatthias Maier <tamiko@43-1.org>
Thu, 4 Oct 2018 16:21:27 +0000 (11:21 -0500)
cmake/macros/macro_push_cmake_required.cmake [deleted file]
doc/developers/cmake-internals.html

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
+++ /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()
-
index 4e0260f7729496d86708d72b591cb0850a0aa45a..9c4c2e07a5117478ce033662604aa934880deb38 100644 (file)
@@ -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>

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.