From: Wolfgang Bangerth Date: Mon, 25 Aug 2014 13:15:50 +0000 (-0500) Subject: Add forgotten header file. X-Git-Tag: v8.2.0-rc1~177^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F116%2Fhead;p=dealii.git Add forgotten header file. --- diff --git a/bundled/boost-1.56.0/include/boost/spirit.hpp b/bundled/boost-1.56.0/include/boost/spirit.hpp new file mode 100644 index 0000000000..7250ec1589 --- /dev/null +++ b/bundled/boost-1.56.0/include/boost/spirit.hpp @@ -0,0 +1,27 @@ +/*============================================================================= + Copyright (c) 2001-2008 Joel de Guzman + Copyright (c) 2001-2008 Hartmut Kaiser + http://spirit.sourceforge.net/ + + Distributed under the Boost Software License, Version 1.0. (See accompanying + file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) +=============================================================================*/ +#ifndef BOOST_SPIRIT_DEPRECATED_INCLUDE_SPIRIT +#define BOOST_SPIRIT_DEPRECATED_INCLUDE_SPIRIT + +#include + +#if BOOST_VERSION >= 103800 +#if defined(_MSC_VER) || defined(__BORLANDC__) || defined(__DMC__) +# pragma message ("Warning: This header is deprecated. Please use: boost/spirit/include/classic.hpp") +#elif defined(__GNUC__) || defined(__HP_aCC) || defined(__SUNPRO_CC) || defined(__IBMCPP__) +# warning "This header is deprecated. Please use: boost/spirit/include/classic.hpp" +#endif +#endif + +#if !defined(BOOST_SPIRIT_USE_OLD_NAMESPACE) +#define BOOST_SPIRIT_USE_OLD_NAMESPACE +#endif +#include + +#endif