svn commit: r433908 - head/math/cvc3

[Jan Beich]

Author: jbeich
Date: Sat Feb 11 19:54:32 2017
New Revision: 433908
URL: https://svnweb.freebsd.org/changeset/ports/433908

Log:
  math/cvc3: unbreak with gcc6 or later
  
  In file included from src/include/expr_manager.h:445:0,
                   from src/include/expr.h:803,
                   from expr.cpp:25:
  src/include/expr_value.h: In static member function 'static size_t CVC3::ExprString::hash(const string&)':
  src/include/expr_value.h:667:34: error: no match for call to '(std::hash<char*>) (const char*)'
       return s_charHash(str.c_str());
                                    ^
  In file included from src/include/hash_map.h:54:0,
                   from src/include/compat_hash_map.h:34,
                   from src/include/expr.h:33,
                   from src/include/assumptions.h:36,
                   from src/include/theorem_producer.h:75,
                   from common_theorem_producer.h:34,
                   from common_theorem_producer.cpp:27:
  src/include/hash_table.h: In instantiation of 'Hash::hash_table<_Key, _Value, _HashFcn, _EqualKey, _ExtractKey>::~hash_table() [with _Key = CVC3::Expr; _Value = std::pair<const CVC3::Expr, CVC3::CDOmap<CVC3::Expr, CVC3::Theorem, std::hash<CVC3::Expr> >*>; _HashFcn = std::hash<CVC3::Expr>; _EqualKey = std::equal_to<CVC3::Expr>; _ExtractKey = Hash::_Select1st<std::pair<const CVC3::Expr, CVC3::CDOmap<CVC3::Expr, CVC3::Theorem, std::hash<CVC3::Expr> >*> >]':
  src/include/hash_map.h:82:9:   required from 'CVC3::CDMap<Key, Data, HashFcn>::~CDMap() [with Key = CVC3::Expr; Data = CVC3::Theorem; HashFcn = std::hash<CVC3::Expr>]'
  common_theorem_producer.h:60:38:   required from here
  src/include/hash_table.h:319:5: error: use of deleted function 'std::hash<CVC3::Expr>::~hash()'
       }
       ^

Modified:
  head/math/cvc3/Makefile   (contents, props changed)

Modified: head/math/cvc3/Makefile
==============================================================================
--- head/math/cvc3/Makefile	Sat Feb 11 19:52:05 2017	(r433907)
+++ head/math/cvc3/Makefile	Sat Feb 11 19:54:32 2017	(r433908)
@@ -21,6 +21,7 @@ CXXFLAGS+=	-fPIC
 GNU_CONFIGURE=	yes
 USES=		bison gmake pathfix perl5
 PATHFIX_MAKEFILEIN=	Makefile
+USE_CXXSTD=	gnu++98
 USE_GCC=	any
 USE_LDCONFIG=	yes