From 02e86417c1e49d2bdd109b86f0c2d397ac159be5 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Mon, 25 Aug 2014 08:15:50 -0500 Subject: [PATCH] Add forgotten header file. --- bundled/boost-1.56.0/include/boost/spirit.hpp | 27 +++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 bundled/boost-1.56.0/include/boost/spirit.hpp 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 -- 2.39.5