From 11cc9fa6eb4b6141b7b015c25a9e127edfef801d Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Wed, 8 Dec 2021 17:16:53 -0600 Subject: [PATCH] avoid another boost deprecated headers warning --- source/fe/mapping.cc | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/source/fe/mapping.cc b/source/fe/mapping.cc index 0aeb35b77e..e1b987da92 100644 --- a/source/fe/mapping.cc +++ b/source/fe/mapping.cc @@ -21,7 +21,13 @@ #include DEAL_II_DISABLE_EXTRA_DIAGNOSTICS +#ifdef DEAL_II_BOOST_HAS_BROKEN_HEADER_DEPRECATIONS +# define BOOST_ALLOW_DEPRECATED_HEADERS +#endif #include +#ifdef DEAL_II_BOOST_HAS_BROKEN_HEADER_DEPRECATIONS +# undef BOOST_ALLOW_DEPRECATED_HEADERS +#endif DEAL_II_ENABLE_EXTRA_DIAGNOSTICS DEAL_II_NAMESPACE_OPEN -- 2.39.5