From owner-svn-ports-head@FreeBSD.ORG Wed Jan 28 14:17:21 2015 Return-Path: Delivered-To: svn-ports-head@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 898F4DB7; Wed, 28 Jan 2015 14:17:21 +0000 (UTC) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::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 7450599D; Wed, 28 Jan 2015 14:17:21 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.9/8.14.9) with ESMTP id t0SEHLXv056306; Wed, 28 Jan 2015 14:17:21 GMT (envelope-from shaun@FreeBSD.org) Received: (from shaun@localhost) by svn.freebsd.org (8.14.9/8.14.9/Submit) id t0SEHKNP056303; Wed, 28 Jan 2015 14:17:20 GMT (envelope-from shaun@FreeBSD.org) Message-Id: <201501281417.t0SEHKNP056303@svn.freebsd.org> X-Authentication-Warning: svn.freebsd.org: shaun set sender to shaun@FreeBSD.org using -f From: Shaun Amott Date: Wed, 28 Jan 2015 14:17:20 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r378062 - head/devel/gecode 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.18-1 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: Wed, 28 Jan 2015 14:17:21 -0000 Author: shaun Date: Wed Jan 28 14:17:20 2015 New Revision: 378062 URL: https://svnweb.freebsd.org/changeset/ports/378062 QAT: https://qat.redports.org/buildarchive/r378062/ Log: Update from 4.3.2 to 4.3.3. PR: 197042 Submitted by: Anton Törnqvist Modified: head/devel/gecode/Makefile head/devel/gecode/distinfo head/devel/gecode/pkg-plist Modified: head/devel/gecode/Makefile ============================================================================== --- head/devel/gecode/Makefile Wed Jan 28 14:04:53 2015 (r378061) +++ head/devel/gecode/Makefile Wed Jan 28 14:17:20 2015 (r378062) @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= gecode -PORTVERSION= 4.3.2 +PORTVERSION= 4.3.3 CATEGORIES= devel MASTER_SITES= http://www.gecode.org/download/ Modified: head/devel/gecode/distinfo ============================================================================== --- head/devel/gecode/distinfo Wed Jan 28 14:04:53 2015 (r378061) +++ head/devel/gecode/distinfo Wed Jan 28 14:17:20 2015 (r378062) @@ -1,2 +1,2 @@ -SHA256 (gecode-4.3.2.tar.gz) = 4e24bd4714f23a14c471b46b3cf203b01cf6652c6d54855f773c762d08bd235b -SIZE (gecode-4.3.2.tar.gz) = 2835665 +SHA256 (gecode-4.3.3.tar.gz) = 31c85b7f7fb2efceaaaf51e17b5d863628140522f723759b76c7557cc5d8acdb +SIZE (gecode-4.3.3.tar.gz) = 2840280 Modified: head/devel/gecode/pkg-plist ============================================================================== --- head/devel/gecode/pkg-plist Wed Jan 28 14:04:53 2015 (r378061) +++ head/devel/gecode/pkg-plist Wed Jan 28 14:17:20 2015 (r378062) @@ -8,6 +8,7 @@ include/gecode/flatzinc/ast.hh include/gecode/flatzinc/conexpr.hh include/gecode/flatzinc/option.hh include/gecode/flatzinc/parser.hh +include/gecode/flatzinc/parser.tab.hh include/gecode/flatzinc/plugin.hh include/gecode/flatzinc/registry.hh include/gecode/flatzinc/symboltable.hh @@ -90,6 +91,7 @@ include/gecode/gist/zoomToFitIcon.hpp include/gecode/int.hh include/gecode/int/arithmetic.hh include/gecode/int/arithmetic/abs.hpp +include/gecode/int/arithmetic/argmax.hpp include/gecode/int/arithmetic/divmod.hpp include/gecode/int/arithmetic/max.hpp include/gecode/int/arithmetic/mult.hpp @@ -187,6 +189,8 @@ include/gecode/int/gcc/dom.hpp include/gecode/int/gcc/post.hpp include/gecode/int/gcc/val.hpp include/gecode/int/gcc/view.hpp +include/gecode/int/idx-view.hh +include/gecode/int/idx-view.hpp include/gecode/int/int-set-1.hpp include/gecode/int/int-set-2.hpp include/gecode/int/ldsb.hh @@ -599,35 +603,37 @@ include/gecode/third-party/boost/numeric include/gecode/third-party/boost/numeric/interval/utility.hpp include/gecode/third-party/boost/type.hpp lib/libgecodedriver.so -lib/libgecodedriver.so.39 -lib/libgecodedriver.so.39.0 +lib/libgecodedriver.so.40 +lib/libgecodedriver.so.40.0 lib/libgecodeflatzinc.so -lib/libgecodeflatzinc.so.39 -lib/libgecodeflatzinc.so.39.0 +lib/libgecodeflatzinc.so.40 +lib/libgecodeflatzinc.so.40.0 lib/libgecodefloat.so -lib/libgecodefloat.so.39 -lib/libgecodefloat.so.39.0 +lib/libgecodefloat.so.40 +lib/libgecodefloat.so.40.0 lib/libgecodeint.so -lib/libgecodeint.so.39 -lib/libgecodeint.so.39.0 +lib/libgecodeint.so.40 +lib/libgecodeint.so.40.0 lib/libgecodekernel.so -lib/libgecodekernel.so.39 -lib/libgecodekernel.so.39.0 +lib/libgecodekernel.so.40 +lib/libgecodekernel.so.40.0 lib/libgecodeminimodel.so -lib/libgecodeminimodel.so.39 -lib/libgecodeminimodel.so.39.0 +lib/libgecodeminimodel.so.40 +lib/libgecodeminimodel.so.40.0 lib/libgecodesearch.so -lib/libgecodesearch.so.39 -lib/libgecodesearch.so.39.0 +lib/libgecodesearch.so.40 +lib/libgecodesearch.so.40.0 lib/libgecodeset.so -lib/libgecodeset.so.39 -lib/libgecodeset.so.39.0 +lib/libgecodeset.so.40 +lib/libgecodeset.so.40.0 lib/libgecodesupport.so -lib/libgecodesupport.so.39 -lib/libgecodesupport.so.39.0 +lib/libgecodesupport.so.40 +lib/libgecodesupport.so.40.0 %%DATADIR%%/mznlib/all_different_int.mzn %%DATADIR%%/mznlib/all_equal_int.mzn %%DATADIR%%/mznlib/among.mzn +%%DATADIR%%/mznlib/arg_max_int.mzn +%%DATADIR%%/mznlib/arg_min_int.mzn %%DATADIR%%/mznlib/at_least_int.mzn %%DATADIR%%/mznlib/at_least_set.mzn %%DATADIR%%/mznlib/at_most_int.mzn @@ -667,6 +673,7 @@ lib/libgecodesupport.so.39.0 %%DATADIR%%/mznlib/nvalue.mzn %%DATADIR%%/mznlib/partition_set.mzn %%DATADIR%%/mznlib/range.mzn +%%DATADIR%%/mznlib/redefinitions-2.0.mzn %%DATADIR%%/mznlib/redefinitions.mzn %%DATADIR%%/mznlib/regular.mzn %%DATADIR%%/mznlib/roots.mzn