From 077df7502b0a47ecb16bd89a724591a51c6c1248 Mon Sep 17 00:00:00 2001
From: Jan Beich <jbeich@FreeBSD.org>
Date: Wed, 18 Apr 2018 12:54:57 +0000
Subject: lang/solidity: unbreak with boost 1.67 on 10.*

In file included from libjulia/optimiser/FunctionGrouper.cpp:22:
In file included from ./libjulia/optimiser/FunctionGrouper.h:24:
In file included from ./libjulia/ASTDataForward.h:24:
In file included from ./libsolidity/inlineasm/AsmDataForward.h:25:
In file included from /usr/local/include/boost/variant.hpp:17:
In file included from /usr/local/include/boost/variant/variant.hpp:21:
In file included from /usr/local/include/boost/type_index.hpp:29:
In file included from /usr/local/include/boost/type_index/stl_type_index.hpp:43:
In file included from /usr/local/include/boost/container_hash/hash.hpp:760:
In file included from /usr/local/include/boost/container_hash/extensions.hpp:22:
In file included from /usr/local/include/boost/detail/container_fwd.hpp:93:
/usr/include/c++/v1/vector:504:70: error: no member named 'value' in 'std::__1::is_nothrow_default_constructible<std::__1::allocator<boost::variant<dev::solidity::assembly::ExpressionStatement, dev::solidity::assembly::Instruction, dev::solidity::assembly::Label, dev::solidity::assembly::StackAssignment, dev::solidity::assembly::Assignment, dev::solidity::assembly::VariableDeclaration, dev::solidity::assembly::FunctionDefinition, dev::solidity::assembly::If, dev::solidity::assembly::Switch, dev::solidity::assembly::ForLoop, dev::solidity::assembly::Block> > >'
        _NOEXCEPT_(is_nothrow_default_constructible<allocator_type>::value)
                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^
/usr/include/c++/v1/__config:349:34: note: expanded from macro '_NOEXCEPT_'
 #  define _NOEXCEPT_(x) noexcept(x)
                                  ^
./libsolidity/inlineasm/AsmData.h:70:64: note: in instantiation of exception specification for 'vector' requested here
struct Block { SourceLocation location; std::vector<Statement> statements; };
                                                               ^
/usr/local/include/boost/mpl/aux_/nested_type_wknd.hpp:27:7: note: in instantiation of template class 'boost::has_nothrow_constructor<dev::solidity::assembly::FunctionDefinition>' requested here
    : T::type
      ^
/usr/local/include/boost/mpl/not.hpp:41:11: note: in instantiation of template class 'boost::mpl::aux::nested_type_wknd<boost::has_nothrow_constructor<dev::solidity::assembly::FunctionDefinition> >' requested here
          BOOST_MPL_AUX_NESTED_TYPE_WKND(T)::value
          ^
/usr/local/include/boost/mpl/aux_/nested_type_wknd.hpp:38:24: note: expanded from macro 'BOOST_MPL_AUX_NESTED_TYPE_WKND'
    ::boost::mpl::aux::nested_type_wknd<T> \
                       ^
/usr/local/include/boost/mpl/aux_/nested_type_wknd.hpp:27:7: note: in instantiation of template class 'boost::mpl::not_<boost::has_nothrow_constructor<dev::solidity::assembly::FunctionDefinition> >' requested here
    : T::type
      ^
/usr/local/include/boost/mpl/aux_/preprocessed/gcc/and.hpp:25:11: note: in instantiation of template class 'boost::mpl::aux::nested_type_wknd<boost::mpl::apply1<boost::mpl::protect<boost::detail::variant::find_fallback_type_pred, 0>, boost::mpl::l_iter<boost::mpl::l_item<mpl_::long_<5>, dev::solidity::assembly::FunctionDefinition, boost::mpl::l_item<mpl_::long_<4>, dev::solidity::assembly::If, boost::mpl::l_item<mpl_::long_<3>, dev::solidity::assembly::Switch, boost::mpl::l_item<mpl_::long_<2>, dev::solidity::assembly::ForLoop, boost::mpl::l_item<mpl_::long_<1>, dev::solidity::assembly::Block, boost::mpl::l_end> > > > > > > >' requested here
          BOOST_MPL_AUX_NESTED_TYPE_WKND(T1)::value
          ^
/usr/local/include/boost/mpl/aux_/nested_type_wknd.hpp:38:24: note: expanded from macro 'BOOST_MPL_AUX_NESTED_TYPE_WKND'
    ::boost::mpl::aux::nested_type_wknd<T> \
                       ^
/usr/local/include/boost/mpl/aux_/preprocessed/gcc/and.hpp:50:7: note: (skipping 13 contexts in backtrace; use -ftemplate-backtrace-limit=0 to see all)
    : aux::and_impl<
      ^
/usr/include/c++/v1/type_traits:2445:14: note: in instantiation of template class 'std::__1::__is_constructible_void_check<false, std::__1::allocator<boost::variant<dev::solidity::assembly::ExpressionStatement, dev::solidity::assembly::Instruction, dev::solidity::assembly::Label, dev::solidity::assembly::StackAssignment, dev::solidity::assembly::Assignment, dev::solidity::assembly::VariableDeclaration, dev::solidity::assembly::FunctionDefinition, dev::solidity::assembly::If, dev::solidity::assembly::Switch, dev::solidity::assembly::ForLoop, dev::solidity::assembly::Block> >>' requested here
    : public __is_constructible_void_check<__contains_void<_Tp, _Args...>::value
             ^
/usr/include/c++/v1/type_traits:2936:41: note: in instantiation of template class 'std::__1::is_constructible<std::__1::allocator<boost::variant<dev::solidity::assembly::ExpressionStatement, dev::solidity::assembly::Instruction, dev::solidity::assembly::Label, dev::solidity::assembly::StackAssignment, dev::solidity::assembly::Assignment, dev::solidity::assembly::VariableDeclaration, dev::solidity::assembly::FunctionDefinition, dev::solidity::assembly::If, dev::solidity::assembly::Switch, dev::solidity::assembly::ForLoop, dev::solidity::assembly::Block> >>' requested here
    : __libcpp_is_nothrow_constructible<is_constructible<_Tp, _Args...>::value, is_reference<_Tp>::value, _Tp, _Args...>
                                        ^
/usr/include/c++/v1/type_traits:3059:14: note: in instantiation of template class 'std::__1::is_nothrow_constructible<std::__1::allocator<boost::variant<dev::solidity::assembly::ExpressionStatement, dev::solidity::assembly::Instruction, dev::solidity::assembly::Label, dev::solidity::assembly::StackAssignment, dev::solidity::assembly::Assignment, dev::solidity::assembly::VariableDeclaration, dev::solidity::assembly::FunctionDefinition, dev::solidity::assembly::If, dev::solidity::assembly::Switch, dev::solidity::assembly::ForLoop, dev::solidity::assembly::Block> >>' requested here
    : public is_nothrow_constructible<_Tp>
             ^
/usr/include/c++/v1/vector:504:20: note: in instantiation of template class 'std::__1::is_nothrow_default_constructible<std::__1::allocator<boost::variant<dev::solidity::assembly::ExpressionStatement, dev::solidity::assembly::Instruction, dev::solidity::assembly::Label, dev::solidity::assembly::StackAssignment, dev::solidity::assembly::Assignment, dev::solidity::assembly::VariableDeclaration, dev::solidity::assembly::FunctionDefinition, dev::solidity::assembly::If, dev::solidity::assembly::Switch, dev::solidity::assembly::ForLoop, dev::solidity::assembly::Block> > >' requested here
        _NOEXCEPT_(is_nothrow_default_constructible<allocator_type>::value)
                   ^
/usr/include/c++/v1/__config:349:34: note: expanded from macro '_NOEXCEPT_'
 #  define _NOEXCEPT_(x) noexcept(x)
                                  ^
libjulia/optimiser/FunctionGrouper.cpp:38:20: note: in instantiation of exception specification for 'vector' requested here
        vector<Statement> reordered;
                          ^

PR:		227427
Reported by:	antoine (via exp-run)
See also:	https://reviews.llvm.org/rL276084
---
 lang/solidity/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lang/solidity/Makefile b/lang/solidity/Makefile
index bac400b101ee..a82f0e532e16 100644
--- a/lang/solidity/Makefile
+++ b/lang/solidity/Makefile
@@ -19,7 +19,7 @@ OPTIONS_DEFINE=	SMT
 SMT_DESC=	SMT Checker
 SMT_LIB_DEPENDS=libz3.so:math/z3
 
-USES=		cmake
+USES=		cmake compiler:c++14-lang
 
 CMAKE_ARGS+=	-DUSE_LD_GOLD=OFF -DTESTS=OFF \
 		-DJSONCPP_INCLUDE_DIR:STRING="${LOCALBASE}/include/jsoncpp" \
-- 
cgit v1.2.3