From owner-svn-ports-head@freebsd.org Sat Feb 11 19:54:34 2017 Return-Path: Delivered-To: svn-ports-head@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 22106CDB730; Sat, 11 Feb 2017 19:54:34 +0000 (UTC) (envelope-from jbeich@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id C942BB5; Sat, 11 Feb 2017 19:54:33 +0000 (UTC) (envelope-from jbeich@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id v1BJsWnP041778; Sat, 11 Feb 2017 19:54:32 GMT (envelope-from jbeich@FreeBSD.org) Received: (from jbeich@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id v1BJsWSw041777; Sat, 11 Feb 2017 19:54:32 GMT (envelope-from jbeich@FreeBSD.org) Message-Id: <201702111954.v1BJsWSw041777@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: jbeich set sender to jbeich@FreeBSD.org using -f From: Jan Beich Date: Sat, 11 Feb 2017 19:54:32 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r433908 - head/math/cvc3 X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-head@freebsd.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 11 Feb 2017 19:54:34 -0000 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) (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 >*>; _HashFcn = std::hash; _EqualKey = std::equal_to; _ExtractKey = Hash::_Select1st >*> >]': src/include/hash_map.h:82:9: required from 'CVC3::CDMap::~CDMap() [with Key = CVC3::Expr; Data = CVC3::Theorem; HashFcn = std::hash]' common_theorem_producer.h:60:38: required from here src/include/hash_table.h:319:5: error: use of deleted function 'std::hash::~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