From tkato432@yahoo.com  Thu Feb 13 18:30:31 2014
Return-Path: <tkato432@yahoo.com>
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1])
	(using TLSv1 with cipher ADH-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by hub.freebsd.org (Postfix) with ESMTPS id CDD21991
	for <FreeBSD-gnats-submit@FreeBSD.org>; Thu, 13 Feb 2014 18:30:30 +0000 (UTC)
Received: from omta03.auone-net.jp (mail-or1-f17.auone-net.jp [106.187.231.17])
	by mx1.freebsd.org (Postfix) with ESMTP id 76EC7128F
	for <FreeBSD-gnats-submit@FreeBSD.org>; Thu, 13 Feb 2014 18:30:30 +0000 (UTC)
Received: from coppermine.my.domain (ZT034098.ppp.dion.ne.jp [59.128.34.98])
	by omta03.auone-net.jp (au one net mail) with ESMTP id 2372D1880018
	for <FreeBSD-gnats-submit@FreeBSD.org>; Fri, 14 Feb 2014 03:30:22 +0900 (JST)
Message-Id: <20140214030524.62b33825dda607942c202fc1@yahoo.com>
Date: Fri, 14 Feb 2014 03:05:24 +0900
From: KATO Tsuguru <tkato432@yahoo.com>
To: FreeBSD-gnats-submit@FreeBSD.org
Subject: devel/gecode: Update to version 4.2.1

>Number:         186739
>Category:       ports
>Synopsis:       devel/gecode: Update to version 4.2.1
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    miwi
>State:          closed
>Quarter:        
>Keywords:       
>Date-Required:  
>Class:          change-request
>Submitter-Id:   current-users
>Arrival-Date:   Thu Feb 13 18:40:01 UTC 2014
>Closed-Date:    Thu Feb 27 09:13:51 UTC 2014
>Last-Modified:  Thu Feb 27 09:20:00 UTC 2014
>Originator:     KATO Tsuguru
>Release:        FreeBSD 8.4-RELEASE-p7 i386
>Organization:
>Environment:
>Description:
- Update to version 4.2.1

New file: 
files/patch-Makefile.in

>How-To-Repeat:
>Fix:

diff -urN /usr/ports/devel/gecode/Makefile devel/gecode/Makefile
--- /usr/ports/devel/gecode/Makefile	2013-11-06 21:51:34.000000000 +0900
+++ devel/gecode/Makefile	2014-02-14 00:00:00.000000000 +0900
@@ -2,7 +2,7 @@
 # $FreeBSD: head/devel/gecode/Makefile 327723 2013-09-20 17:04:43Z bapt $
 
 PORTNAME=	gecode
-PORTVERSION=	3.7.3
+PORTVERSION=	4.2.1
 CATEGORIES=	devel
 MASTER_SITES=	http://www.gecode.org/download/
 
@@ -11,12 +11,11 @@
 
 LICENSE=	MIT
 
-OPTIONS_DEFINE=	GIST
-GIST_DESC=	Interactive Search Tool (requires Qt)
+LIB_DEPENDS=	libboost_thread.so:${PORTSDIR}/devel/boost-libs \
+		libmpfr.so:${PORTSDIR}/math/mpfr
 
+USES=		bison gmake perl5
 USE_PERL5=	build
-USES=		bison perl5
-USE_GMAKE=	yes
 GNU_CONFIGURE=	yes
 CONFIGURE_ARGS=	--disable-static \
 		--enable-shared \
@@ -29,20 +28,28 @@
 		--enable-sheduling \
 		--disable-examples \
 		--enable-minimodel \
-		--enable-search
+		--enable-search \
+		--with-gmp-include=${LOCALBASE}/include \
+		--with-gmp-lib=${LOCALBASE}/lib \
+		--with-mpfr-include=${LOCALBASE}/include \
+		--with-mpfr-lib=${LOCALBASE}/lib
 USE_LDCONFIG=	yes
 MAKE_JOBS_UNSAFE=yes
 
-NO_STAGE=	yes
+CFLAGS+=	-I${LOCALBASE}/include/boost
+
+OPTIONS_DEFINE=		GIST
+OPTIONS_SUB=		yes
+
+GIST_DESC=		Interactive Search Tool (requires Qt)
+GIST_USE=		QT4=corelib,gui,moc_build,qmake_build
+GIST_CONFIGURE_ON=	--enable-gist --enable-qt
+GIST_CONFIGURE_OFF=	--disable-gist --disable-qt
+
 .include <bsd.port.options.mk>
 
-.if ${PORT_OPTIONS:MGIST}
-USE_QT4=	corelib gui moc_build qmake_build
-CONFIGURE_ARGS+=--enable-gist --enable-qt
-PLIST_SUB+=	GIST=""
-.else
-CONFIGURE_ARGS+=--disable-gist --disable-qt
-PLIST_SUB+=	GIST="@comment "
+.if ${ARCH} == "amd64"
+CFLAGS+=	-D__USE_ISOC99
 .endif
 
 post-patch:
@@ -54,4 +61,7 @@
 		 /gcc_optimize_flag/s|-O3|| ; \
 		 /="-ggdb/s|^|#|' ${WRKSRC}/configure
 
+post-install:
+	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/fzn-gecode
+
 .include <bsd.port.mk>
diff -urN /usr/ports/devel/gecode/distinfo devel/gecode/distinfo
--- /usr/ports/devel/gecode/distinfo	2014-01-23 03:39:01.000000000 +0900
+++ devel/gecode/distinfo	2014-02-14 00:00:00.000000000 +0900
@@ -1,2 +1,2 @@
-SHA256 (gecode-3.7.3.tar.gz) = e7cc8bcc18b49195fef0544061bdd2e484a1240923e4e85fa39e8d6bb492854c
-SIZE (gecode-3.7.3.tar.gz) = 1643336
+SHA256 (gecode-4.2.1.tar.gz) = 65744cb6b90f8b95c0f69eaa133df8f201e5890834cad4eb79788c2c8f93e6e3
+SIZE (gecode-4.2.1.tar.gz) = 1898037
diff -urN /usr/ports/devel/gecode/files/patch-Makefile.in devel/gecode/files/patch-Makefile.in
--- /usr/ports/devel/gecode/files/patch-Makefile.in	1970-01-01 09:00:00.000000000 +0900
+++ devel/gecode/files/patch-Makefile.in	2014-02-14 00:00:00.000000000 +0900
@@ -0,0 +1,24 @@
+--- Makefile.in.orig
++++ Makefile.in
+@@ -812,8 +812,8 @@
+ #
+ 
+ 
+-INTEXAMPLEHDR0 =						\
+-	scowl
++# INTEXAMPLEHDR0 =						\
++# 	scowl
+ INTEXAMPLESRC0 =						\
+ 	alpha bacp bibd donald efpa eq20 golomb-ruler		\
+ 	graph-color grocery ind-set magic-sequence magic-square	\
+@@ -939,8 +939,8 @@
+ 	numeric/interval.hpp \
+ 	LICENSE_1_0.txt \
+ 	limits.hpp non_type.hpp type.hpp
+-THIRDHDR = \
+-	$(BOOSTHDR:%=gecode/third-party/boost/%)
++# THIRDHDR = \
++# 	$(BOOSTHDR:%=gecode/third-party/boost/%)
+ 
+ #
+ # COLLECTING ALL
diff -urN /usr/ports/devel/gecode/pkg-plist devel/gecode/pkg-plist
--- /usr/ports/devel/gecode/pkg-plist	2014-01-23 03:39:01.000000000 +0900
+++ devel/gecode/pkg-plist	2014-02-14 00:00:00.000000000 +0900
@@ -1,6 +1,5 @@
+bin/fzn-gecode
 bin/mzn-gecode
-bin/fz
-include/examples/scowl.hpp
 include/gecode/driver.hh
 include/gecode/driver/options.hpp
 include/gecode/driver/script.hpp
@@ -13,6 +12,55 @@
 include/gecode/flatzinc/registry.hh
 include/gecode/flatzinc/symboltable.hh
 include/gecode/flatzinc/varspec.hh
+include/gecode/float.hh
+include/gecode/float/arithmetic.hh
+include/gecode/float/arithmetic/div.hpp
+include/gecode/float/arithmetic/min-max-channel.hpp
+include/gecode/float/arithmetic/mult.hpp
+include/gecode/float/arithmetic/pow-nroot.hpp
+include/gecode/float/arithmetic/sqr-sqrt-abs.hpp
+include/gecode/float/array-traits.hpp
+include/gecode/float/array.hpp
+include/gecode/float/branch.hh
+include/gecode/float/branch/activity.hpp
+include/gecode/float/branch/afc.hpp
+include/gecode/float/branch/assign.hpp
+include/gecode/float/branch/merit.hpp
+include/gecode/float/branch/traits.hpp
+include/gecode/float/branch/val-commit.hpp
+include/gecode/float/branch/val-sel.hpp
+include/gecode/float/branch/val.hpp
+include/gecode/float/branch/var.hpp
+include/gecode/float/exception.hpp
+include/gecode/float/limits.hpp
+include/gecode/float/linear.hh
+include/gecode/float/linear/nary.hpp
+include/gecode/float/nextafter.hpp
+include/gecode/float/num.hpp
+include/gecode/float/rel.hh
+include/gecode/float/rel/eq.hpp
+include/gecode/float/rel/lq-le.hpp
+include/gecode/float/rel/nq.hpp
+include/gecode/float/rounding.hpp
+include/gecode/float/transcendental.hh
+include/gecode/float/transcendental/exp-log.hpp
+include/gecode/float/trigonometric.hh
+include/gecode/float/trigonometric/asinacos.hpp
+include/gecode/float/trigonometric/sincos.hpp
+include/gecode/float/trigonometric/tanatan.hpp
+include/gecode/float/val.hpp
+include/gecode/float/var-imp.hpp
+include/gecode/float/var-imp/delta.hpp
+include/gecode/float/var-imp/float.hpp
+include/gecode/float/var/float.hpp
+include/gecode/float/var/print.hpp
+include/gecode/float/view.hpp
+include/gecode/float/view/float.hpp
+include/gecode/float/view/minus.hpp
+include/gecode/float/view/offset.hpp
+include/gecode/float/view/print.hpp
+include/gecode/float/view/rel-test.hpp
+include/gecode/float/view/scale.hpp
 include/gecode/gist.hh
 include/gecode/gist/drawingcursor.hh
 include/gecode/gist/drawingcursor.hpp
@@ -45,8 +93,9 @@
 include/gecode/int/arithmetic/divmod.hpp
 include/gecode/int/arithmetic/max.hpp
 include/gecode/int/arithmetic/mult.hpp
-include/gecode/int/arithmetic/sqr.hpp
-include/gecode/int/arithmetic/sqrt.hpp
+include/gecode/int/arithmetic/nroot.hpp
+include/gecode/int/arithmetic/pow-ops.hpp
+include/gecode/int/arithmetic/pow.hpp
 include/gecode/int/array-traits.hpp
 include/gecode/int/array.hpp
 include/gecode/int/bin-packing.hh
@@ -56,14 +105,21 @@
 include/gecode/int/bool/clause.hpp
 include/gecode/int/bool/eq.hpp
 include/gecode/int/bool/eqv.hpp
+include/gecode/int/bool/ite.hpp
 include/gecode/int/bool/lq.hpp
 include/gecode/int/bool/or.hpp
 include/gecode/int/branch.hh
-include/gecode/int/branch/post-val-bool.hpp
-include/gecode/int/branch/post-val-int.hpp
-include/gecode/int/branch/select-val.hpp
-include/gecode/int/branch/select-values.hpp
-include/gecode/int/branch/select-view.hpp
+include/gecode/int/branch/activity.hpp
+include/gecode/int/branch/afc.hpp
+include/gecode/int/branch/assign.hpp
+include/gecode/int/branch/merit.hpp
+include/gecode/int/branch/ngl.hpp
+include/gecode/int/branch/traits.hpp
+include/gecode/int/branch/val-commit.hpp
+include/gecode/int/branch/val-sel.hpp
+include/gecode/int/branch/val.hpp
+include/gecode/int/branch/var.hpp
+include/gecode/int/branch/view-values.hpp
 include/gecode/int/channel.hh
 include/gecode/int/channel/base.hpp
 include/gecode/int/channel/dom.hpp
@@ -84,16 +140,17 @@
 include/gecode/int/count/view-eq.hpp
 include/gecode/int/count/view-gq.hpp
 include/gecode/int/count/view-lq.hpp
-include/gecode/int/cumulatives.hh
+include/gecode/int/cumulative.hh
 include/gecode/int/cumulative/basic.hpp
 include/gecode/int/cumulative/edge-finding.hpp
+include/gecode/int/cumulative/limits.hpp
 include/gecode/int/cumulative/man-prop.hpp
 include/gecode/int/cumulative/opt-prop.hpp
 include/gecode/int/cumulative/overload.hpp
 include/gecode/int/cumulative/task-view.hpp
 include/gecode/int/cumulative/task.hpp
 include/gecode/int/cumulative/tree.hpp
-include/gecode/int/cumulative.hh
+include/gecode/int/cumulatives.hh
 include/gecode/int/cumulatives/val.hpp
 include/gecode/int/distinct.hh
 include/gecode/int/distinct/bnd.hpp
@@ -102,9 +159,11 @@
 include/gecode/int/distinct/graph.hpp
 include/gecode/int/distinct/ter-dom.hpp
 include/gecode/int/distinct/val.hpp
+include/gecode/int/div.hh
+include/gecode/int/div.hpp
 include/gecode/int/dom.hh
 include/gecode/int/dom/range.hpp
-include/gecode/int/dom/spec.hpp
+include/gecode/int/dom/set.hpp
 include/gecode/int/element.hh
 include/gecode/int/element/int.hpp
 include/gecode/int/element/pair.hpp
@@ -129,6 +188,9 @@
 include/gecode/int/gcc/view.hpp
 include/gecode/int/int-set-1.hpp
 include/gecode/int/int-set-2.hpp
+include/gecode/int/ldsb.hh
+include/gecode/int/ldsb/brancher.hpp
+include/gecode/int/ldsb/sym-imp.hpp
 include/gecode/int/limits.hpp
 include/gecode/int/linear.hh
 include/gecode/int/linear/bool-int.hpp
@@ -164,6 +226,7 @@
 include/gecode/int/precede.hh
 include/gecode/int/precede/single.hpp
 include/gecode/int/propagator.hpp
+include/gecode/int/reify.hpp
 include/gecode/int/rel.hh
 include/gecode/int/rel/eq.hpp
 include/gecode/int/rel/lex.hpp
@@ -204,13 +267,21 @@
 include/gecode/int/unary/tree.hpp
 include/gecode/int/val-set.hh
 include/gecode/int/val-set.hpp
-include/gecode/int/var/bool.hpp
-include/gecode/int/var/int.hpp
-include/gecode/int/var/print.hpp
 include/gecode/int/var-imp.hpp
 include/gecode/int/var-imp/bool.hpp
 include/gecode/int/var-imp/delta.hpp
 include/gecode/int/var-imp/int.hpp
+include/gecode/int/var/bool.hpp
+include/gecode/int/var/int.hpp
+include/gecode/int/var/print.hpp
+include/gecode/int/view-val-graph.hh
+include/gecode/int/view-val-graph/bi-link.hpp
+include/gecode/int/view-val-graph/comb-ptr-flag.hpp
+include/gecode/int/view-val-graph/edge.hpp
+include/gecode/int/view-val-graph/graph.hpp
+include/gecode/int/view-val-graph/iter-prune-val.hpp
+include/gecode/int/view-val-graph/node.hpp
+include/gecode/int/view.hpp
 include/gecode/int/view/bool-test.hpp
 include/gecode/int/view/bool.hpp
 include/gecode/int/view/cached.hpp
@@ -224,14 +295,6 @@
 include/gecode/int/view/rel-test.hpp
 include/gecode/int/view/scale.hpp
 include/gecode/int/view/zero.hpp
-include/gecode/int/view-val-graph/bi-link.hpp
-include/gecode/int/view-val-graph/comb-ptr-flag.hpp
-include/gecode/int/view-val-graph/edge.hpp
-include/gecode/int/view-val-graph/graph.hpp
-include/gecode/int/view-val-graph/iter-prune-val.hpp
-include/gecode/int/view-val-graph/node.hpp
-include/gecode/int/view-val-graph.hh
-include/gecode/int/view.hpp
 include/gecode/iter.hh
 include/gecode/iter/ranges-add.hpp
 include/gecode/iter/ranges-append.hpp
@@ -258,6 +321,7 @@
 include/gecode/iter/ranges-values.hpp
 include/gecode/iter/values-array.hpp
 include/gecode/iter/values-bitset.hpp
+include/gecode/iter/values-bitsetoffset.hpp
 include/gecode/iter/values-inter.hpp
 include/gecode/iter/values-list.hpp
 include/gecode/iter/values-map.hpp
@@ -270,18 +334,26 @@
 include/gecode/iter/values-union.hpp
 include/gecode/iter/values-unique.hpp
 include/gecode/kernel.hh
+include/gecode/kernel/activity.hpp
 include/gecode/kernel/advisor.hpp
+include/gecode/kernel/afc.hpp
 include/gecode/kernel/allocators.hpp
 include/gecode/kernel/archive.hpp
 include/gecode/kernel/array.hpp
-include/gecode/kernel/branch.hpp
-include/gecode/kernel/brancher-tiebreak.hpp
-include/gecode/kernel/brancher-val.hpp
+include/gecode/kernel/branch-tiebreak.hpp
+include/gecode/kernel/branch-traits.hpp
+include/gecode/kernel/branch-val.hpp
+include/gecode/kernel/branch-var.hpp
+include/gecode/kernel/brancher-merit.hpp
+include/gecode/kernel/brancher-val-commit.hpp
+include/gecode/kernel/brancher-val-sel-commit.hpp
+include/gecode/kernel/brancher-val-sel.hpp
+include/gecode/kernel/brancher-view-sel.hpp
+include/gecode/kernel/brancher-view-val.hpp
 include/gecode/kernel/brancher-view.hpp
-include/gecode/kernel/brancher.hpp
 include/gecode/kernel/core.hpp
 include/gecode/kernel/exception.hpp
-include/gecode/kernel/global-prop-info.hpp
+include/gecode/kernel/global-afc.hpp
 include/gecode/kernel/macros.hpp
 include/gecode/kernel/memory-config.hpp
 include/gecode/kernel/memory-manager.hpp
@@ -289,6 +361,7 @@
 include/gecode/kernel/propagator.hpp
 include/gecode/kernel/range-list.hpp
 include/gecode/kernel/region.hpp
+include/gecode/kernel/rnd.hpp
 include/gecode/kernel/shared-array.hpp
 include/gecode/kernel/var-imp.hpp
 include/gecode/kernel/var-type.hpp
@@ -298,8 +371,9 @@
 include/gecode/minimodel.hh
 include/gecode/minimodel/bool-expr.hpp
 include/gecode/minimodel/exception.hpp
-include/gecode/minimodel/lin-expr.hpp
-include/gecode/minimodel/lin-rel.hpp
+include/gecode/minimodel/float-rel.hpp
+include/gecode/minimodel/int-rel.hpp
+include/gecode/minimodel/ldsb.hpp
 include/gecode/minimodel/matrix.hpp
 include/gecode/minimodel/optimize.hpp
 include/gecode/minimodel/reg.hpp
@@ -307,18 +381,21 @@
 include/gecode/minimodel/set-rel.hpp
 include/gecode/search.hh
 include/gecode/search/bab.hpp
+include/gecode/search/cutoff.hpp
 include/gecode/search/dfs.hpp
+include/gecode/search/engine-base.hpp
+include/gecode/search/exception.hpp
+include/gecode/search/meta/nogoods.hh
+include/gecode/search/meta/rbs.hh
 include/gecode/search/options.hpp
 include/gecode/search/parallel/bab.hh
 include/gecode/search/parallel/dfs.hh
 include/gecode/search/parallel/engine.hh
 include/gecode/search/parallel/path.hh
-include/gecode/search/parallel/restart.hh
-include/gecode/search/restart.hpp
+include/gecode/search/rbs.hpp
 include/gecode/search/sequential/bab.hh
 include/gecode/search/sequential/dfs.hh
 include/gecode/search/sequential/path.hh
-include/gecode/search/sequential/restart.hh
 include/gecode/search/statistics.hpp
 include/gecode/search/stop.hpp
 include/gecode/search/support.hh
@@ -327,9 +404,21 @@
 include/gecode/set/array-traits.hpp
 include/gecode/set/array.hpp
 include/gecode/set/branch.hh
-include/gecode/set/branch/post-val.hpp
-include/gecode/set/branch/select-val.hpp
-include/gecode/set/branch/select-view.hpp
+include/gecode/set/branch/activity.hpp
+include/gecode/set/branch/afc.hpp
+include/gecode/set/branch/assign.hpp
+include/gecode/set/branch/merit.hpp
+include/gecode/set/branch/ngl.hpp
+include/gecode/set/branch/traits.hpp
+include/gecode/set/branch/val-commit.hpp
+include/gecode/set/branch/val-sel.hpp
+include/gecode/set/branch/val.hpp
+include/gecode/set/branch/var.hpp
+include/gecode/set/channel.hh
+include/gecode/set/channel/bool.hpp
+include/gecode/set/channel/int.hpp
+include/gecode/set/channel/set.hpp
+include/gecode/set/channel/sorted.hpp
 include/gecode/set/convex.hh
 include/gecode/set/convex/conv.hpp
 include/gecode/set/convex/hull.hpp
@@ -343,14 +432,21 @@
 include/gecode/set/exception.hpp
 include/gecode/set/int.hh
 include/gecode/set/int/card.hpp
-include/gecode/set/int/channel-bool.hpp
-include/gecode/set/int/channel-int.hpp
-include/gecode/set/int/match.hpp
 include/gecode/set/int/minmax.hpp
 include/gecode/set/int/weights.hpp
+include/gecode/set/ldsb.hh
+include/gecode/set/ldsb/brancher.hpp
 include/gecode/set/limits.hpp
 include/gecode/set/precede.hh
 include/gecode/set/precede/single.hpp
+include/gecode/set/rel-op.hh
+include/gecode/set/rel-op/common.hpp
+include/gecode/set/rel-op/inter.hpp
+include/gecode/set/rel-op/partition.hpp
+include/gecode/set/rel-op/post.hpp
+include/gecode/set/rel-op/subofunion.hpp
+include/gecode/set/rel-op/superofinter.hpp
+include/gecode/set/rel-op/union.hpp
 include/gecode/set/rel.hh
 include/gecode/set/rel/common.hpp
 include/gecode/set/rel/eq.hpp
@@ -361,25 +457,17 @@
 include/gecode/set/rel/re-lq.hpp
 include/gecode/set/rel/re-subset.hpp
 include/gecode/set/rel/subset.hpp
-include/gecode/set/rel-op.hh
-include/gecode/set/rel-op/common.hpp
-include/gecode/set/rel-op/inter.hpp
-include/gecode/set/rel-op/partition.hpp
-include/gecode/set/rel-op/post.hpp
-include/gecode/set/rel-op/subofunion.hpp
-include/gecode/set/rel-op/superofinter.hpp
-include/gecode/set/rel-op/union.hpp
 include/gecode/set/sequence.hh
 include/gecode/set/sequence/common.hpp
 include/gecode/set/sequence/seq-u.hpp
 include/gecode/set/sequence/seq.hpp
-include/gecode/set/var/print.hpp
-include/gecode/set/var/set.hpp
 include/gecode/set/var-imp.hpp
 include/gecode/set/var-imp/delta.hpp
 include/gecode/set/var-imp/integerset.hpp
 include/gecode/set/var-imp/iter.hpp
 include/gecode/set/var-imp/set.hpp
+include/gecode/set/var/print.hpp
+include/gecode/set/var/set.hpp
 include/gecode/set/view.hpp
 include/gecode/set/view/cached.hpp
 include/gecode/set/view/complement.hpp
@@ -390,6 +478,7 @@
 include/gecode/support.hh
 include/gecode/support/auto-link.hpp
 include/gecode/support/bitset-base.hpp
+include/gecode/support/bitset-offset.hpp
 include/gecode/support/bitset.hpp
 include/gecode/support/block-allocator.hpp
 include/gecode/support/cast.hpp
@@ -399,6 +488,7 @@
 include/gecode/support/dynamic-stack.hpp
 include/gecode/support/exception.hpp
 include/gecode/support/heap.hpp
+include/gecode/support/hw-rnd.hpp
 include/gecode/support/int-type.hpp
 include/gecode/support/macros.hpp
 include/gecode/support/marked-pointer.hpp
@@ -412,32 +502,35 @@
 include/gecode/support/thread/windows.hpp
 include/gecode/support/timer.hpp
 lib/libgecodedriver.so
-lib/libgecodedriver.so.32
-lib/libgecodedriver.so.32.0
+lib/libgecodedriver.so.36
+lib/libgecodedriver.so.36.0
 lib/libgecodeflatzinc.so
-lib/libgecodeflatzinc.so.32
-lib/libgecodeflatzinc.so.32.0
+lib/libgecodeflatzinc.so.36
+lib/libgecodeflatzinc.so.36.0
+lib/libgecodefloat.so
+lib/libgecodefloat.so.36
+lib/libgecodefloat.so.36.0
 %%GIST%%lib/libgecodegist.so
-%%GIST%%lib/libgecodegist.so.32
-%%GIST%%lib/libgecodegist.so.32.0
+%%GIST%%lib/libgecodegist.so.36
+%%GIST%%lib/libgecodegist.so.36.0
 lib/libgecodeint.so
-lib/libgecodeint.so.32
-lib/libgecodeint.so.32.0
+lib/libgecodeint.so.36
+lib/libgecodeint.so.36.0
 lib/libgecodekernel.so
-lib/libgecodekernel.so.32
-lib/libgecodekernel.so.32.0
+lib/libgecodekernel.so.36
+lib/libgecodekernel.so.36.0
 lib/libgecodeminimodel.so
-lib/libgecodeminimodel.so.32
-lib/libgecodeminimodel.so.32.0
+lib/libgecodeminimodel.so.36
+lib/libgecodeminimodel.so.36.0
 lib/libgecodesearch.so
-lib/libgecodesearch.so.32
-lib/libgecodesearch.so.32.0
+lib/libgecodesearch.so.36
+lib/libgecodesearch.so.36.0
 lib/libgecodeset.so
-lib/libgecodeset.so.32
-lib/libgecodeset.so.32.0
+lib/libgecodeset.so.36
+lib/libgecodeset.so.36.0
 lib/libgecodesupport.so
-lib/libgecodesupport.so.32
-lib/libgecodesupport.so.32.0
+lib/libgecodesupport.so.36
+lib/libgecodesupport.so.36.0
 %%DATADIR%%/mznlib/all_different_int.mzn
 %%DATADIR%%/mznlib/all_equal_int.mzn
 %%DATADIR%%/mznlib/among.mzn
@@ -467,7 +560,10 @@
 %%DATADIR%%/mznlib/increasing_int.mzn
 %%DATADIR%%/mznlib/int_set_channel.mzn
 %%DATADIR%%/mznlib/inverse.mzn
+%%DATADIR%%/mznlib/inverse_set.mzn
+%%DATADIR%%/mznlib/lex_less_bool.mzn
 %%DATADIR%%/mznlib/lex_less_int.mzn
+%%DATADIR%%/mznlib/lex_lesseq_bool.mzn
 %%DATADIR%%/mznlib/lex_lesseq_int.mzn
 %%DATADIR%%/mznlib/link_set_to_booleans.mzn
 %%DATADIR%%/mznlib/maximum_int.mzn
@@ -476,7 +572,6 @@
 %%DATADIR%%/mznlib/minimum_int.mzn
 %%DATADIR%%/mznlib/nvalue.mzn
 %%DATADIR%%/mznlib/partition_set.mzn
-%%DATADIR%%/mznlib/precedence.mzn
 %%DATADIR%%/mznlib/range.mzn
 %%DATADIR%%/mznlib/redefinitions.mzn
 %%DATADIR%%/mznlib/regular.mzn
@@ -485,6 +580,8 @@
 %%DATADIR%%/mznlib/sum_pred.mzn
 %%DATADIR%%/mznlib/table_bool.mzn
 %%DATADIR%%/mznlib/table_int.mzn
+%%DATADIR%%/mznlib/value_precede_int.mzn
+%%DATADIR%%/mznlib/value_precede_set.mzn
 @dirrm %%DATADIR%%/mznlib
 @dirrm %%DATADIR%%
 @dirrm include/gecode/support/thread
@@ -496,14 +593,17 @@
 @dirrm include/gecode/set/rel-op
 @dirrm include/gecode/set/rel
 @dirrm include/gecode/set/precede
+@dirrm include/gecode/set/ldsb
 @dirrm include/gecode/set/int
 @dirrm include/gecode/set/element
 @dirrm include/gecode/set/distinct
 @dirrm include/gecode/set/convex
+@dirrm include/gecode/set/channel
 @dirrm include/gecode/set/branch
 @dirrm include/gecode/set
 @dirrm include/gecode/search/sequential
 @dirrm include/gecode/search/parallel
+@dirrm include/gecode/search/meta
 @dirrm include/gecode/search
 @dirrm include/gecode/minimodel
 @dirrm include/gecode/kernel
@@ -522,6 +622,7 @@
 @dirrm include/gecode/int/no-overlap
 @dirrm include/gecode/int/member
 @dirrm include/gecode/int/linear
+@dirrm include/gecode/int/ldsb
 @dirrm include/gecode/int/gcc
 @dirrm include/gecode/int/extensional
 @dirrm include/gecode/int/exec
@@ -539,7 +640,16 @@
 @dirrm include/gecode/int/arithmetic
 @dirrm include/gecode/int
 @dirrm include/gecode/gist
+@dirrm include/gecode/float/view
+@dirrm include/gecode/float/var-imp
+@dirrm include/gecode/float/var
+@dirrm include/gecode/float/trigonometric
+@dirrm include/gecode/float/transcendental
+@dirrm include/gecode/float/rel
+@dirrm include/gecode/float/linear
+@dirrm include/gecode/float/branch
+@dirrm include/gecode/float/arithmetic
+@dirrm include/gecode/float
 @dirrm include/gecode/flatzinc
 @dirrm include/gecode/driver
 @dirrm include/gecode
-@dirrm include/examples
>Release-Note:
>Audit-Trail:
Responsible-Changed-From-To: freebsd-ports-bugs->miwi 
Responsible-Changed-By: edwin 
Responsible-Changed-When: Thu Feb 13 18:40:15 UTC 2014 
Responsible-Changed-Why:  
miwi@ wants this submitter's PRs (via the GNATS Auto Assign Tool) 

http://www.freebsd.org/cgi/query-pr.cgi?pr=186739 
State-Changed-From-To: open->feedback 
State-Changed-By: miwi 
State-Changed-When: Sun Feb 23 06:41:07 UTC 2014 
State-Changed-Why:  
Makefile reject 

http://www.freebsd.org/cgi/query-pr.cgi?pr=186739 

From: KATO Tsuguru <tkato432@yahoo.com>
To: bug-followup@FreeBSD.org
Cc:  
Subject: Re: ports/186739: devel/gecode: Update to version 4.2.1
Date: Tue, 25 Feb 2014 02:56:22 +0900

 This is a multi-part message in MIME format.
 
 --Multipart=_Tue__25_Feb_2014_02_56_22_+0900_Rk5SFF16IT6kldY=
 Content-Type: text/plain; charset=US-ASCII
 Content-Transfer-Encoding: 7bit
 
 Here is the corrected patch.
 
 --Multipart=_Tue__25_Feb_2014_02_56_22_+0900_Rk5SFF16IT6kldY=
 Content-Type: text/x-diff;
  name="devel_gecode.diff"
 Content-Disposition: attachment;
  filename="devel_gecode.diff"
 Content-Transfer-Encoding: 7bit
 
 diff -urN /usr/ports/devel/gecode/Makefile devel/gecode/Makefile
 --- /usr/ports/devel/gecode/Makefile	2014-02-20 00:53:41.000000000 +0900
 +++ devel/gecode/Makefile	2014-02-25 00:00:00.000000000 +0900
 @@ -2,7 +2,7 @@
  # $FreeBSD: head/devel/gecode/Makefile 345033 2014-02-19 09:00:59Z miwi $
  
  PORTNAME=	gecode
 -PORTVERSION=	3.7.3
 +PORTVERSION=	4.2.1
  CATEGORIES=	devel
  MASTER_SITES=	http://www.gecode.org/download/
  
 @@ -11,11 +11,11 @@
  
  LICENSE=	MIT
  
 -OPTIONS_DEFINE=	GIST
 -GIST_DESC=	Interactive Search Tool (requires Qt)
 +LIB_DEPENDS=	libboost_thread.so:${PORTSDIR}/devel/boost-libs \
 +		libmpfr.so:${PORTSDIR}/math/mpfr
  
 +USES=		bison gmake perl5
  USE_PERL5=	build
 -USES=		bison perl5 gmake
  GNU_CONFIGURE=	yes
  CONFIGURE_ARGS=	--disable-static \
  		--enable-shared \
 @@ -28,19 +28,28 @@
  		--enable-sheduling \
  		--disable-examples \
  		--enable-minimodel \
 -		--enable-search
 +		--enable-search \
 +		--with-gmp-include=${LOCALBASE}/include \
 +		--with-gmp-lib=${LOCALBASE}/lib \
 +		--with-mpfr-include=${LOCALBASE}/include \
 +		--with-mpfr-lib=${LOCALBASE}/lib
  USE_LDCONFIG=	yes
  MAKE_JOBS_UNSAFE=yes
  
 +CFLAGS+=	-I${LOCALBASE}/include/boost
 +
 +OPTIONS_DEFINE=		GIST
 +OPTIONS_SUB=		yes
 +
 +GIST_DESC=		Interactive Search Tool (requires Qt)
 +GIST_USE=		QT4=corelib,gui,moc_build,qmake_build
 +GIST_CONFIGURE_ON=	--enable-gist --enable-qt
 +GIST_CONFIGURE_OFF=	--disable-gist --disable-qt
 +
  .include <bsd.port.options.mk>
  
 -.if ${PORT_OPTIONS:MGIST}
 -USE_QT4=	corelib gui moc_build qmake_build
 -CONFIGURE_ARGS+=--enable-gist --enable-qt
 -PLIST_SUB+=	GIST=""
 -.else
 -CONFIGURE_ARGS+=--disable-gist --disable-qt
 -PLIST_SUB+=	GIST="@comment "
 +.if ${ARCH} == "amd64"
 +CFLAGS+=	-D__USE_ISOC99
  .endif
  
  post-patch:
 @@ -52,4 +61,7 @@
  		 /gcc_optimize_flag/s|-O3|| ; \
  		 /="-ggdb/s|^|#|' ${WRKSRC}/configure
  
 +post-install:
 +	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/fzn-gecode
 +
  .include <bsd.port.mk>
 diff -urN /usr/ports/devel/gecode/distinfo devel/gecode/distinfo
 --- /usr/ports/devel/gecode/distinfo	2014-01-23 03:39:01.000000000 +0900
 +++ devel/gecode/distinfo	2014-02-25 00:00:00.000000000 +0900
 @@ -1,2 +1,2 @@
 -SHA256 (gecode-3.7.3.tar.gz) = e7cc8bcc18b49195fef0544061bdd2e484a1240923e4e85fa39e8d6bb492854c
 -SIZE (gecode-3.7.3.tar.gz) = 1643336
 +SHA256 (gecode-4.2.1.tar.gz) = 65744cb6b90f8b95c0f69eaa133df8f201e5890834cad4eb79788c2c8f93e6e3
 +SIZE (gecode-4.2.1.tar.gz) = 1898037
 diff -urN /usr/ports/devel/gecode/files/patch-Makefile.in devel/gecode/files/patch-Makefile.in
 --- /usr/ports/devel/gecode/files/patch-Makefile.in	1970-01-01 09:00:00.000000000 +0900
 +++ devel/gecode/files/patch-Makefile.in	2014-02-25 00:00:00.000000000 +0900
 @@ -0,0 +1,24 @@
 +--- Makefile.in.orig
 ++++ Makefile.in
 +@@ -812,8 +812,8 @@
 + #
 + 
 + 
 +-INTEXAMPLEHDR0 =						\
 +-	scowl
 ++# INTEXAMPLEHDR0 =						\
 ++# 	scowl
 + INTEXAMPLESRC0 =						\
 + 	alpha bacp bibd donald efpa eq20 golomb-ruler		\
 + 	graph-color grocery ind-set magic-sequence magic-square	\
 +@@ -939,8 +939,8 @@
 + 	numeric/interval.hpp \
 + 	LICENSE_1_0.txt \
 + 	limits.hpp non_type.hpp type.hpp
 +-THIRDHDR = \
 +-	$(BOOSTHDR:%=gecode/third-party/boost/%)
 ++# THIRDHDR = \
 ++# 	$(BOOSTHDR:%=gecode/third-party/boost/%)
 + 
 + #
 + # COLLECTING ALL
 diff -urN /usr/ports/devel/gecode/pkg-plist devel/gecode/pkg-plist
 --- /usr/ports/devel/gecode/pkg-plist	2014-01-23 03:39:01.000000000 +0900
 +++ devel/gecode/pkg-plist	2014-02-25 00:00:00.000000000 +0900
 @@ -1,6 +1,5 @@
 +bin/fzn-gecode
  bin/mzn-gecode
 -bin/fz
 -include/examples/scowl.hpp
  include/gecode/driver.hh
  include/gecode/driver/options.hpp
  include/gecode/driver/script.hpp
 @@ -13,6 +12,55 @@
  include/gecode/flatzinc/registry.hh
  include/gecode/flatzinc/symboltable.hh
  include/gecode/flatzinc/varspec.hh
 +include/gecode/float.hh
 +include/gecode/float/arithmetic.hh
 +include/gecode/float/arithmetic/div.hpp
 +include/gecode/float/arithmetic/min-max-channel.hpp
 +include/gecode/float/arithmetic/mult.hpp
 +include/gecode/float/arithmetic/pow-nroot.hpp
 +include/gecode/float/arithmetic/sqr-sqrt-abs.hpp
 +include/gecode/float/array-traits.hpp
 +include/gecode/float/array.hpp
 +include/gecode/float/branch.hh
 +include/gecode/float/branch/activity.hpp
 +include/gecode/float/branch/afc.hpp
 +include/gecode/float/branch/assign.hpp
 +include/gecode/float/branch/merit.hpp
 +include/gecode/float/branch/traits.hpp
 +include/gecode/float/branch/val-commit.hpp
 +include/gecode/float/branch/val-sel.hpp
 +include/gecode/float/branch/val.hpp
 +include/gecode/float/branch/var.hpp
 +include/gecode/float/exception.hpp
 +include/gecode/float/limits.hpp
 +include/gecode/float/linear.hh
 +include/gecode/float/linear/nary.hpp
 +include/gecode/float/nextafter.hpp
 +include/gecode/float/num.hpp
 +include/gecode/float/rel.hh
 +include/gecode/float/rel/eq.hpp
 +include/gecode/float/rel/lq-le.hpp
 +include/gecode/float/rel/nq.hpp
 +include/gecode/float/rounding.hpp
 +include/gecode/float/transcendental.hh
 +include/gecode/float/transcendental/exp-log.hpp
 +include/gecode/float/trigonometric.hh
 +include/gecode/float/trigonometric/asinacos.hpp
 +include/gecode/float/trigonometric/sincos.hpp
 +include/gecode/float/trigonometric/tanatan.hpp
 +include/gecode/float/val.hpp
 +include/gecode/float/var-imp.hpp
 +include/gecode/float/var-imp/delta.hpp
 +include/gecode/float/var-imp/float.hpp
 +include/gecode/float/var/float.hpp
 +include/gecode/float/var/print.hpp
 +include/gecode/float/view.hpp
 +include/gecode/float/view/float.hpp
 +include/gecode/float/view/minus.hpp
 +include/gecode/float/view/offset.hpp
 +include/gecode/float/view/print.hpp
 +include/gecode/float/view/rel-test.hpp
 +include/gecode/float/view/scale.hpp
  include/gecode/gist.hh
  include/gecode/gist/drawingcursor.hh
  include/gecode/gist/drawingcursor.hpp
 @@ -45,8 +93,9 @@
  include/gecode/int/arithmetic/divmod.hpp
  include/gecode/int/arithmetic/max.hpp
  include/gecode/int/arithmetic/mult.hpp
 -include/gecode/int/arithmetic/sqr.hpp
 -include/gecode/int/arithmetic/sqrt.hpp
 +include/gecode/int/arithmetic/nroot.hpp
 +include/gecode/int/arithmetic/pow-ops.hpp
 +include/gecode/int/arithmetic/pow.hpp
  include/gecode/int/array-traits.hpp
  include/gecode/int/array.hpp
  include/gecode/int/bin-packing.hh
 @@ -56,14 +105,21 @@
  include/gecode/int/bool/clause.hpp
  include/gecode/int/bool/eq.hpp
  include/gecode/int/bool/eqv.hpp
 +include/gecode/int/bool/ite.hpp
  include/gecode/int/bool/lq.hpp
  include/gecode/int/bool/or.hpp
  include/gecode/int/branch.hh
 -include/gecode/int/branch/post-val-bool.hpp
 -include/gecode/int/branch/post-val-int.hpp
 -include/gecode/int/branch/select-val.hpp
 -include/gecode/int/branch/select-values.hpp
 -include/gecode/int/branch/select-view.hpp
 +include/gecode/int/branch/activity.hpp
 +include/gecode/int/branch/afc.hpp
 +include/gecode/int/branch/assign.hpp
 +include/gecode/int/branch/merit.hpp
 +include/gecode/int/branch/ngl.hpp
 +include/gecode/int/branch/traits.hpp
 +include/gecode/int/branch/val-commit.hpp
 +include/gecode/int/branch/val-sel.hpp
 +include/gecode/int/branch/val.hpp
 +include/gecode/int/branch/var.hpp
 +include/gecode/int/branch/view-values.hpp
  include/gecode/int/channel.hh
  include/gecode/int/channel/base.hpp
  include/gecode/int/channel/dom.hpp
 @@ -84,16 +140,17 @@
  include/gecode/int/count/view-eq.hpp
  include/gecode/int/count/view-gq.hpp
  include/gecode/int/count/view-lq.hpp
 -include/gecode/int/cumulatives.hh
 +include/gecode/int/cumulative.hh
  include/gecode/int/cumulative/basic.hpp
  include/gecode/int/cumulative/edge-finding.hpp
 +include/gecode/int/cumulative/limits.hpp
  include/gecode/int/cumulative/man-prop.hpp
  include/gecode/int/cumulative/opt-prop.hpp
  include/gecode/int/cumulative/overload.hpp
  include/gecode/int/cumulative/task-view.hpp
  include/gecode/int/cumulative/task.hpp
  include/gecode/int/cumulative/tree.hpp
 -include/gecode/int/cumulative.hh
 +include/gecode/int/cumulatives.hh
  include/gecode/int/cumulatives/val.hpp
  include/gecode/int/distinct.hh
  include/gecode/int/distinct/bnd.hpp
 @@ -102,9 +159,11 @@
  include/gecode/int/distinct/graph.hpp
  include/gecode/int/distinct/ter-dom.hpp
  include/gecode/int/distinct/val.hpp
 +include/gecode/int/div.hh
 +include/gecode/int/div.hpp
  include/gecode/int/dom.hh
  include/gecode/int/dom/range.hpp
 -include/gecode/int/dom/spec.hpp
 +include/gecode/int/dom/set.hpp
  include/gecode/int/element.hh
  include/gecode/int/element/int.hpp
  include/gecode/int/element/pair.hpp
 @@ -129,6 +188,9 @@
  include/gecode/int/gcc/view.hpp
  include/gecode/int/int-set-1.hpp
  include/gecode/int/int-set-2.hpp
 +include/gecode/int/ldsb.hh
 +include/gecode/int/ldsb/brancher.hpp
 +include/gecode/int/ldsb/sym-imp.hpp
  include/gecode/int/limits.hpp
  include/gecode/int/linear.hh
  include/gecode/int/linear/bool-int.hpp
 @@ -164,6 +226,7 @@
  include/gecode/int/precede.hh
  include/gecode/int/precede/single.hpp
  include/gecode/int/propagator.hpp
 +include/gecode/int/reify.hpp
  include/gecode/int/rel.hh
  include/gecode/int/rel/eq.hpp
  include/gecode/int/rel/lex.hpp
 @@ -204,13 +267,21 @@
  include/gecode/int/unary/tree.hpp
  include/gecode/int/val-set.hh
  include/gecode/int/val-set.hpp
 -include/gecode/int/var/bool.hpp
 -include/gecode/int/var/int.hpp
 -include/gecode/int/var/print.hpp
  include/gecode/int/var-imp.hpp
  include/gecode/int/var-imp/bool.hpp
  include/gecode/int/var-imp/delta.hpp
  include/gecode/int/var-imp/int.hpp
 +include/gecode/int/var/bool.hpp
 +include/gecode/int/var/int.hpp
 +include/gecode/int/var/print.hpp
 +include/gecode/int/view-val-graph.hh
 +include/gecode/int/view-val-graph/bi-link.hpp
 +include/gecode/int/view-val-graph/comb-ptr-flag.hpp
 +include/gecode/int/view-val-graph/edge.hpp
 +include/gecode/int/view-val-graph/graph.hpp
 +include/gecode/int/view-val-graph/iter-prune-val.hpp
 +include/gecode/int/view-val-graph/node.hpp
 +include/gecode/int/view.hpp
  include/gecode/int/view/bool-test.hpp
  include/gecode/int/view/bool.hpp
  include/gecode/int/view/cached.hpp
 @@ -224,14 +295,6 @@
  include/gecode/int/view/rel-test.hpp
  include/gecode/int/view/scale.hpp
  include/gecode/int/view/zero.hpp
 -include/gecode/int/view-val-graph/bi-link.hpp
 -include/gecode/int/view-val-graph/comb-ptr-flag.hpp
 -include/gecode/int/view-val-graph/edge.hpp
 -include/gecode/int/view-val-graph/graph.hpp
 -include/gecode/int/view-val-graph/iter-prune-val.hpp
 -include/gecode/int/view-val-graph/node.hpp
 -include/gecode/int/view-val-graph.hh
 -include/gecode/int/view.hpp
  include/gecode/iter.hh
  include/gecode/iter/ranges-add.hpp
  include/gecode/iter/ranges-append.hpp
 @@ -258,6 +321,7 @@
  include/gecode/iter/ranges-values.hpp
  include/gecode/iter/values-array.hpp
  include/gecode/iter/values-bitset.hpp
 +include/gecode/iter/values-bitsetoffset.hpp
  include/gecode/iter/values-inter.hpp
  include/gecode/iter/values-list.hpp
  include/gecode/iter/values-map.hpp
 @@ -270,18 +334,26 @@
  include/gecode/iter/values-union.hpp
  include/gecode/iter/values-unique.hpp
  include/gecode/kernel.hh
 +include/gecode/kernel/activity.hpp
  include/gecode/kernel/advisor.hpp
 +include/gecode/kernel/afc.hpp
  include/gecode/kernel/allocators.hpp
  include/gecode/kernel/archive.hpp
  include/gecode/kernel/array.hpp
 -include/gecode/kernel/branch.hpp
 -include/gecode/kernel/brancher-tiebreak.hpp
 -include/gecode/kernel/brancher-val.hpp
 +include/gecode/kernel/branch-tiebreak.hpp
 +include/gecode/kernel/branch-traits.hpp
 +include/gecode/kernel/branch-val.hpp
 +include/gecode/kernel/branch-var.hpp
 +include/gecode/kernel/brancher-merit.hpp
 +include/gecode/kernel/brancher-val-commit.hpp
 +include/gecode/kernel/brancher-val-sel-commit.hpp
 +include/gecode/kernel/brancher-val-sel.hpp
 +include/gecode/kernel/brancher-view-sel.hpp
 +include/gecode/kernel/brancher-view-val.hpp
  include/gecode/kernel/brancher-view.hpp
 -include/gecode/kernel/brancher.hpp
  include/gecode/kernel/core.hpp
  include/gecode/kernel/exception.hpp
 -include/gecode/kernel/global-prop-info.hpp
 +include/gecode/kernel/global-afc.hpp
  include/gecode/kernel/macros.hpp
  include/gecode/kernel/memory-config.hpp
  include/gecode/kernel/memory-manager.hpp
 @@ -289,6 +361,7 @@
  include/gecode/kernel/propagator.hpp
  include/gecode/kernel/range-list.hpp
  include/gecode/kernel/region.hpp
 +include/gecode/kernel/rnd.hpp
  include/gecode/kernel/shared-array.hpp
  include/gecode/kernel/var-imp.hpp
  include/gecode/kernel/var-type.hpp
 @@ -298,8 +371,9 @@
  include/gecode/minimodel.hh
  include/gecode/minimodel/bool-expr.hpp
  include/gecode/minimodel/exception.hpp
 -include/gecode/minimodel/lin-expr.hpp
 -include/gecode/minimodel/lin-rel.hpp
 +include/gecode/minimodel/float-rel.hpp
 +include/gecode/minimodel/int-rel.hpp
 +include/gecode/minimodel/ldsb.hpp
  include/gecode/minimodel/matrix.hpp
  include/gecode/minimodel/optimize.hpp
  include/gecode/minimodel/reg.hpp
 @@ -307,18 +381,21 @@
  include/gecode/minimodel/set-rel.hpp
  include/gecode/search.hh
  include/gecode/search/bab.hpp
 +include/gecode/search/cutoff.hpp
  include/gecode/search/dfs.hpp
 +include/gecode/search/engine-base.hpp
 +include/gecode/search/exception.hpp
 +include/gecode/search/meta/nogoods.hh
 +include/gecode/search/meta/rbs.hh
  include/gecode/search/options.hpp
  include/gecode/search/parallel/bab.hh
  include/gecode/search/parallel/dfs.hh
  include/gecode/search/parallel/engine.hh
  include/gecode/search/parallel/path.hh
 -include/gecode/search/parallel/restart.hh
 -include/gecode/search/restart.hpp
 +include/gecode/search/rbs.hpp
  include/gecode/search/sequential/bab.hh
  include/gecode/search/sequential/dfs.hh
  include/gecode/search/sequential/path.hh
 -include/gecode/search/sequential/restart.hh
  include/gecode/search/statistics.hpp
  include/gecode/search/stop.hpp
  include/gecode/search/support.hh
 @@ -327,9 +404,21 @@
  include/gecode/set/array-traits.hpp
  include/gecode/set/array.hpp
  include/gecode/set/branch.hh
 -include/gecode/set/branch/post-val.hpp
 -include/gecode/set/branch/select-val.hpp
 -include/gecode/set/branch/select-view.hpp
 +include/gecode/set/branch/activity.hpp
 +include/gecode/set/branch/afc.hpp
 +include/gecode/set/branch/assign.hpp
 +include/gecode/set/branch/merit.hpp
 +include/gecode/set/branch/ngl.hpp
 +include/gecode/set/branch/traits.hpp
 +include/gecode/set/branch/val-commit.hpp
 +include/gecode/set/branch/val-sel.hpp
 +include/gecode/set/branch/val.hpp
 +include/gecode/set/branch/var.hpp
 +include/gecode/set/channel.hh
 +include/gecode/set/channel/bool.hpp
 +include/gecode/set/channel/int.hpp
 +include/gecode/set/channel/set.hpp
 +include/gecode/set/channel/sorted.hpp
  include/gecode/set/convex.hh
  include/gecode/set/convex/conv.hpp
  include/gecode/set/convex/hull.hpp
 @@ -343,14 +432,21 @@
  include/gecode/set/exception.hpp
  include/gecode/set/int.hh
  include/gecode/set/int/card.hpp
 -include/gecode/set/int/channel-bool.hpp
 -include/gecode/set/int/channel-int.hpp
 -include/gecode/set/int/match.hpp
  include/gecode/set/int/minmax.hpp
  include/gecode/set/int/weights.hpp
 +include/gecode/set/ldsb.hh
 +include/gecode/set/ldsb/brancher.hpp
  include/gecode/set/limits.hpp
  include/gecode/set/precede.hh
  include/gecode/set/precede/single.hpp
 +include/gecode/set/rel-op.hh
 +include/gecode/set/rel-op/common.hpp
 +include/gecode/set/rel-op/inter.hpp
 +include/gecode/set/rel-op/partition.hpp
 +include/gecode/set/rel-op/post.hpp
 +include/gecode/set/rel-op/subofunion.hpp
 +include/gecode/set/rel-op/superofinter.hpp
 +include/gecode/set/rel-op/union.hpp
  include/gecode/set/rel.hh
  include/gecode/set/rel/common.hpp
  include/gecode/set/rel/eq.hpp
 @@ -361,25 +457,17 @@
  include/gecode/set/rel/re-lq.hpp
  include/gecode/set/rel/re-subset.hpp
  include/gecode/set/rel/subset.hpp
 -include/gecode/set/rel-op.hh
 -include/gecode/set/rel-op/common.hpp
 -include/gecode/set/rel-op/inter.hpp
 -include/gecode/set/rel-op/partition.hpp
 -include/gecode/set/rel-op/post.hpp
 -include/gecode/set/rel-op/subofunion.hpp
 -include/gecode/set/rel-op/superofinter.hpp
 -include/gecode/set/rel-op/union.hpp
  include/gecode/set/sequence.hh
  include/gecode/set/sequence/common.hpp
  include/gecode/set/sequence/seq-u.hpp
  include/gecode/set/sequence/seq.hpp
 -include/gecode/set/var/print.hpp
 -include/gecode/set/var/set.hpp
  include/gecode/set/var-imp.hpp
  include/gecode/set/var-imp/delta.hpp
  include/gecode/set/var-imp/integerset.hpp
  include/gecode/set/var-imp/iter.hpp
  include/gecode/set/var-imp/set.hpp
 +include/gecode/set/var/print.hpp
 +include/gecode/set/var/set.hpp
  include/gecode/set/view.hpp
  include/gecode/set/view/cached.hpp
  include/gecode/set/view/complement.hpp
 @@ -390,6 +478,7 @@
  include/gecode/support.hh
  include/gecode/support/auto-link.hpp
  include/gecode/support/bitset-base.hpp
 +include/gecode/support/bitset-offset.hpp
  include/gecode/support/bitset.hpp
  include/gecode/support/block-allocator.hpp
  include/gecode/support/cast.hpp
 @@ -399,6 +488,7 @@
  include/gecode/support/dynamic-stack.hpp
  include/gecode/support/exception.hpp
  include/gecode/support/heap.hpp
 +include/gecode/support/hw-rnd.hpp
  include/gecode/support/int-type.hpp
  include/gecode/support/macros.hpp
  include/gecode/support/marked-pointer.hpp
 @@ -412,32 +502,35 @@
  include/gecode/support/thread/windows.hpp
  include/gecode/support/timer.hpp
  lib/libgecodedriver.so
 -lib/libgecodedriver.so.32
 -lib/libgecodedriver.so.32.0
 +lib/libgecodedriver.so.36
 +lib/libgecodedriver.so.36.0
  lib/libgecodeflatzinc.so
 -lib/libgecodeflatzinc.so.32
 -lib/libgecodeflatzinc.so.32.0
 +lib/libgecodeflatzinc.so.36
 +lib/libgecodeflatzinc.so.36.0
 +lib/libgecodefloat.so
 +lib/libgecodefloat.so.36
 +lib/libgecodefloat.so.36.0
  %%GIST%%lib/libgecodegist.so
 -%%GIST%%lib/libgecodegist.so.32
 -%%GIST%%lib/libgecodegist.so.32.0
 +%%GIST%%lib/libgecodegist.so.36
 +%%GIST%%lib/libgecodegist.so.36.0
  lib/libgecodeint.so
 -lib/libgecodeint.so.32
 -lib/libgecodeint.so.32.0
 +lib/libgecodeint.so.36
 +lib/libgecodeint.so.36.0
  lib/libgecodekernel.so
 -lib/libgecodekernel.so.32
 -lib/libgecodekernel.so.32.0
 +lib/libgecodekernel.so.36
 +lib/libgecodekernel.so.36.0
  lib/libgecodeminimodel.so
 -lib/libgecodeminimodel.so.32
 -lib/libgecodeminimodel.so.32.0
 +lib/libgecodeminimodel.so.36
 +lib/libgecodeminimodel.so.36.0
  lib/libgecodesearch.so
 -lib/libgecodesearch.so.32
 -lib/libgecodesearch.so.32.0
 +lib/libgecodesearch.so.36
 +lib/libgecodesearch.so.36.0
  lib/libgecodeset.so
 -lib/libgecodeset.so.32
 -lib/libgecodeset.so.32.0
 +lib/libgecodeset.so.36
 +lib/libgecodeset.so.36.0
  lib/libgecodesupport.so
 -lib/libgecodesupport.so.32
 -lib/libgecodesupport.so.32.0
 +lib/libgecodesupport.so.36
 +lib/libgecodesupport.so.36.0
  %%DATADIR%%/mznlib/all_different_int.mzn
  %%DATADIR%%/mznlib/all_equal_int.mzn
  %%DATADIR%%/mznlib/among.mzn
 @@ -467,7 +560,10 @@
  %%DATADIR%%/mznlib/increasing_int.mzn
  %%DATADIR%%/mznlib/int_set_channel.mzn
  %%DATADIR%%/mznlib/inverse.mzn
 +%%DATADIR%%/mznlib/inverse_set.mzn
 +%%DATADIR%%/mznlib/lex_less_bool.mzn
  %%DATADIR%%/mznlib/lex_less_int.mzn
 +%%DATADIR%%/mznlib/lex_lesseq_bool.mzn
  %%DATADIR%%/mznlib/lex_lesseq_int.mzn
  %%DATADIR%%/mznlib/link_set_to_booleans.mzn
  %%DATADIR%%/mznlib/maximum_int.mzn
 @@ -476,7 +572,6 @@
  %%DATADIR%%/mznlib/minimum_int.mzn
  %%DATADIR%%/mznlib/nvalue.mzn
  %%DATADIR%%/mznlib/partition_set.mzn
 -%%DATADIR%%/mznlib/precedence.mzn
  %%DATADIR%%/mznlib/range.mzn
  %%DATADIR%%/mznlib/redefinitions.mzn
  %%DATADIR%%/mznlib/regular.mzn
 @@ -485,6 +580,8 @@
  %%DATADIR%%/mznlib/sum_pred.mzn
  %%DATADIR%%/mznlib/table_bool.mzn
  %%DATADIR%%/mznlib/table_int.mzn
 +%%DATADIR%%/mznlib/value_precede_int.mzn
 +%%DATADIR%%/mznlib/value_precede_set.mzn
  @dirrm %%DATADIR%%/mznlib
  @dirrm %%DATADIR%%
  @dirrm include/gecode/support/thread
 @@ -496,14 +593,17 @@
  @dirrm include/gecode/set/rel-op
  @dirrm include/gecode/set/rel
  @dirrm include/gecode/set/precede
 +@dirrm include/gecode/set/ldsb
  @dirrm include/gecode/set/int
  @dirrm include/gecode/set/element
  @dirrm include/gecode/set/distinct
  @dirrm include/gecode/set/convex
 +@dirrm include/gecode/set/channel
  @dirrm include/gecode/set/branch
  @dirrm include/gecode/set
  @dirrm include/gecode/search/sequential
  @dirrm include/gecode/search/parallel
 +@dirrm include/gecode/search/meta
  @dirrm include/gecode/search
  @dirrm include/gecode/minimodel
  @dirrm include/gecode/kernel
 @@ -522,6 +622,7 @@
  @dirrm include/gecode/int/no-overlap
  @dirrm include/gecode/int/member
  @dirrm include/gecode/int/linear
 +@dirrm include/gecode/int/ldsb
  @dirrm include/gecode/int/gcc
  @dirrm include/gecode/int/extensional
  @dirrm include/gecode/int/exec
 @@ -539,7 +640,16 @@
  @dirrm include/gecode/int/arithmetic
  @dirrm include/gecode/int
  @dirrm include/gecode/gist
 +@dirrm include/gecode/float/view
 +@dirrm include/gecode/float/var-imp
 +@dirrm include/gecode/float/var
 +@dirrm include/gecode/float/trigonometric
 +@dirrm include/gecode/float/transcendental
 +@dirrm include/gecode/float/rel
 +@dirrm include/gecode/float/linear
 +@dirrm include/gecode/float/branch
 +@dirrm include/gecode/float/arithmetic
 +@dirrm include/gecode/float
  @dirrm include/gecode/flatzinc
  @dirrm include/gecode/driver
  @dirrm include/gecode
 -@dirrm include/examples
 
 --Multipart=_Tue__25_Feb_2014_02_56_22_+0900_Rk5SFF16IT6kldY=--
State-Changed-From-To: feedback->closed 
State-Changed-By: miwi 
State-Changed-When: Thu Feb 27 09:13:51 UTC 2014 
State-Changed-Why:  
Committed. Thanks! 

http://www.freebsd.org/cgi/query-pr.cgi?pr=186739 

From: dfilter@FreeBSD.ORG (dfilter service)
To: bug-followup@FreeBSD.org
Cc:  
Subject: Re: ports/186739: commit references a PR
Date: Thu, 27 Feb 2014 09:13:53 +0000 (UTC)

 Author: miwi
 Date: Thu Feb 27 09:13:44 2014
 New Revision: 346288
 URL: http://svnweb.freebsd.org/changeset/ports/346288
 QAT: https://qat.redports.org/buildarchive/r346288/
 
 Log:
   - Update to 4.2.1
   
   PR:		186739
   Submitted by:	Ports Fury
 
 Added:
   head/devel/gecode/files/
   head/devel/gecode/files/patch-Makefile.in   (contents, props changed)
 Modified:
   head/devel/gecode/Makefile
   head/devel/gecode/distinfo
   head/devel/gecode/pkg-plist
 
 Modified: head/devel/gecode/Makefile
 ==============================================================================
 --- head/devel/gecode/Makefile	Thu Feb 27 09:13:34 2014	(r346287)
 +++ head/devel/gecode/Makefile	Thu Feb 27 09:13:44 2014	(r346288)
 @@ -2,7 +2,7 @@
  # $FreeBSD$
  
  PORTNAME=	gecode
 -PORTVERSION=	3.7.3
 +PORTVERSION=	4.2.1
  CATEGORIES=	devel
  MASTER_SITES=	http://www.gecode.org/download/
  
 @@ -11,11 +11,11 @@ COMMENT=	Generic Constraint Development 
  
  LICENSE=	MIT
  
 -OPTIONS_DEFINE=	GIST
 -GIST_DESC=	Interactive Search Tool (requires Qt)
 +LIB_DEPENDS=	libboost_thread.so:${PORTSDIR}/devel/boost-libs \
 +		libmpfr.so:${PORTSDIR}/math/mpfr
  
 +USES=		bison gmake perl5
  USE_PERL5=	build
 -USES=		bison perl5 gmake
  GNU_CONFIGURE=	yes
  CONFIGURE_ARGS=	--disable-static \
  		--enable-shared \
 @@ -28,19 +28,28 @@ CONFIGURE_ARGS=	--disable-static \
  		--enable-sheduling \
  		--disable-examples \
  		--enable-minimodel \
 -		--enable-search
 +		--enable-search \
 +		--with-gmp-include=${LOCALBASE}/include \
 +		--with-gmp-lib=${LOCALBASE}/lib \
 +		--with-mpfr-include=${LOCALBASE}/include \
 +		--with-mpfr-lib=${LOCALBASE}/lib
  USE_LDCONFIG=	yes
  MAKE_JOBS_UNSAFE=yes
  
 +CFLAGS+=	-I${LOCALBASE}/include/boost
 +
 +OPTIONS_DEFINE=		GIST
 +OPTIONS_SUB=		yes
 +
 +GIST_DESC=		Interactive Search Tool (requires Qt)
 +GIST_USE=		QT4=corelib,gui,moc_build,qmake_build
 +GIST_CONFIGURE_ON=	--enable-gist --enable-qt
 +GIST_CONFIGURE_OFF=	--disable-gist --disable-qt
 +
  .include <bsd.port.options.mk>
  
 -.if ${PORT_OPTIONS:MGIST}
 -USE_QT4=	corelib gui moc_build qmake_build
 -CONFIGURE_ARGS+=--enable-gist --enable-qt
 -PLIST_SUB+=	GIST=""
 -.else
 -CONFIGURE_ARGS+=--disable-gist --disable-qt
 -PLIST_SUB+=	GIST="@comment "
 +.if ${ARCH} == "amd64"
 +CFLAGS+=	-D__USE_ISOC99
  .endif
  
  post-patch:
 @@ -52,4 +61,7 @@ post-patch:
  		 /gcc_optimize_flag/s|-O3|| ; \
  		 /="-ggdb/s|^|#|' ${WRKSRC}/configure
  
 +post-install:
 +	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/fzn-gecode
 +
  .include <bsd.port.mk>
 
 Modified: head/devel/gecode/distinfo
 ==============================================================================
 --- head/devel/gecode/distinfo	Thu Feb 27 09:13:34 2014	(r346287)
 +++ head/devel/gecode/distinfo	Thu Feb 27 09:13:44 2014	(r346288)
 @@ -1,2 +1,2 @@
 -SHA256 (gecode-3.7.3.tar.gz) = e7cc8bcc18b49195fef0544061bdd2e484a1240923e4e85fa39e8d6bb492854c
 -SIZE (gecode-3.7.3.tar.gz) = 1643336
 +SHA256 (gecode-4.2.1.tar.gz) = 65744cb6b90f8b95c0f69eaa133df8f201e5890834cad4eb79788c2c8f93e6e3
 +SIZE (gecode-4.2.1.tar.gz) = 1898037
 
 Added: head/devel/gecode/files/patch-Makefile.in
 ==============================================================================
 --- /dev/null	00:00:00 1970	(empty, because file is newly added)
 +++ head/devel/gecode/files/patch-Makefile.in	Thu Feb 27 09:13:44 2014	(r346288)
 @@ -0,0 +1,24 @@
 +--- Makefile.in.orig
 ++++ Makefile.in
 +@@ -812,8 +812,8 @@
 + #
 + 
 + 
 +-INTEXAMPLEHDR0 =						\
 +-	scowl
 ++# INTEXAMPLEHDR0 =						\
 ++# 	scowl
 + INTEXAMPLESRC0 =						\
 + 	alpha bacp bibd donald efpa eq20 golomb-ruler		\
 + 	graph-color grocery ind-set magic-sequence magic-square	\
 +@@ -939,8 +939,8 @@
 + 	numeric/interval.hpp \
 + 	LICENSE_1_0.txt \
 + 	limits.hpp non_type.hpp type.hpp
 +-THIRDHDR = \
 +-	$(BOOSTHDR:%=gecode/third-party/boost/%)
 ++# THIRDHDR = \
 ++# 	$(BOOSTHDR:%=gecode/third-party/boost/%)
 + 
 + #
 + # COLLECTING ALL
 
 Modified: head/devel/gecode/pkg-plist
 ==============================================================================
 --- head/devel/gecode/pkg-plist	Thu Feb 27 09:13:34 2014	(r346287)
 +++ head/devel/gecode/pkg-plist	Thu Feb 27 09:13:44 2014	(r346288)
 @@ -1,6 +1,5 @@
 +bin/fzn-gecode
  bin/mzn-gecode
 -bin/fz
 -include/examples/scowl.hpp
  include/gecode/driver.hh
  include/gecode/driver/options.hpp
  include/gecode/driver/script.hpp
 @@ -13,6 +12,55 @@ include/gecode/flatzinc/plugin.hh
  include/gecode/flatzinc/registry.hh
  include/gecode/flatzinc/symboltable.hh
  include/gecode/flatzinc/varspec.hh
 +include/gecode/float.hh
 +include/gecode/float/arithmetic.hh
 +include/gecode/float/arithmetic/div.hpp
 +include/gecode/float/arithmetic/min-max-channel.hpp
 +include/gecode/float/arithmetic/mult.hpp
 +include/gecode/float/arithmetic/pow-nroot.hpp
 +include/gecode/float/arithmetic/sqr-sqrt-abs.hpp
 +include/gecode/float/array-traits.hpp
 +include/gecode/float/array.hpp
 +include/gecode/float/branch.hh
 +include/gecode/float/branch/activity.hpp
 +include/gecode/float/branch/afc.hpp
 +include/gecode/float/branch/assign.hpp
 +include/gecode/float/branch/merit.hpp
 +include/gecode/float/branch/traits.hpp
 +include/gecode/float/branch/val-commit.hpp
 +include/gecode/float/branch/val-sel.hpp
 +include/gecode/float/branch/val.hpp
 +include/gecode/float/branch/var.hpp
 +include/gecode/float/exception.hpp
 +include/gecode/float/limits.hpp
 +include/gecode/float/linear.hh
 +include/gecode/float/linear/nary.hpp
 +include/gecode/float/nextafter.hpp
 +include/gecode/float/num.hpp
 +include/gecode/float/rel.hh
 +include/gecode/float/rel/eq.hpp
 +include/gecode/float/rel/lq-le.hpp
 +include/gecode/float/rel/nq.hpp
 +include/gecode/float/rounding.hpp
 +include/gecode/float/transcendental.hh
 +include/gecode/float/transcendental/exp-log.hpp
 +include/gecode/float/trigonometric.hh
 +include/gecode/float/trigonometric/asinacos.hpp
 +include/gecode/float/trigonometric/sincos.hpp
 +include/gecode/float/trigonometric/tanatan.hpp
 +include/gecode/float/val.hpp
 +include/gecode/float/var-imp.hpp
 +include/gecode/float/var-imp/delta.hpp
 +include/gecode/float/var-imp/float.hpp
 +include/gecode/float/var/float.hpp
 +include/gecode/float/var/print.hpp
 +include/gecode/float/view.hpp
 +include/gecode/float/view/float.hpp
 +include/gecode/float/view/minus.hpp
 +include/gecode/float/view/offset.hpp
 +include/gecode/float/view/print.hpp
 +include/gecode/float/view/rel-test.hpp
 +include/gecode/float/view/scale.hpp
  include/gecode/gist.hh
  include/gecode/gist/drawingcursor.hh
  include/gecode/gist/drawingcursor.hpp
 @@ -45,8 +93,9 @@ include/gecode/int/arithmetic/abs.hpp
  include/gecode/int/arithmetic/divmod.hpp
  include/gecode/int/arithmetic/max.hpp
  include/gecode/int/arithmetic/mult.hpp
 -include/gecode/int/arithmetic/sqr.hpp
 -include/gecode/int/arithmetic/sqrt.hpp
 +include/gecode/int/arithmetic/nroot.hpp
 +include/gecode/int/arithmetic/pow-ops.hpp
 +include/gecode/int/arithmetic/pow.hpp
  include/gecode/int/array-traits.hpp
  include/gecode/int/array.hpp
  include/gecode/int/bin-packing.hh
 @@ -56,14 +105,21 @@ include/gecode/int/bool/base.hpp
  include/gecode/int/bool/clause.hpp
  include/gecode/int/bool/eq.hpp
  include/gecode/int/bool/eqv.hpp
 +include/gecode/int/bool/ite.hpp
  include/gecode/int/bool/lq.hpp
  include/gecode/int/bool/or.hpp
  include/gecode/int/branch.hh
 -include/gecode/int/branch/post-val-bool.hpp
 -include/gecode/int/branch/post-val-int.hpp
 -include/gecode/int/branch/select-val.hpp
 -include/gecode/int/branch/select-values.hpp
 -include/gecode/int/branch/select-view.hpp
 +include/gecode/int/branch/activity.hpp
 +include/gecode/int/branch/afc.hpp
 +include/gecode/int/branch/assign.hpp
 +include/gecode/int/branch/merit.hpp
 +include/gecode/int/branch/ngl.hpp
 +include/gecode/int/branch/traits.hpp
 +include/gecode/int/branch/val-commit.hpp
 +include/gecode/int/branch/val-sel.hpp
 +include/gecode/int/branch/val.hpp
 +include/gecode/int/branch/var.hpp
 +include/gecode/int/branch/view-values.hpp
  include/gecode/int/channel.hh
  include/gecode/int/channel/base.hpp
  include/gecode/int/channel/dom.hpp
 @@ -84,16 +140,17 @@ include/gecode/int/count/view-base.hpp
  include/gecode/int/count/view-eq.hpp
  include/gecode/int/count/view-gq.hpp
  include/gecode/int/count/view-lq.hpp
 -include/gecode/int/cumulatives.hh
 +include/gecode/int/cumulative.hh
  include/gecode/int/cumulative/basic.hpp
  include/gecode/int/cumulative/edge-finding.hpp
 +include/gecode/int/cumulative/limits.hpp
  include/gecode/int/cumulative/man-prop.hpp
  include/gecode/int/cumulative/opt-prop.hpp
  include/gecode/int/cumulative/overload.hpp
  include/gecode/int/cumulative/task-view.hpp
  include/gecode/int/cumulative/task.hpp
  include/gecode/int/cumulative/tree.hpp
 -include/gecode/int/cumulative.hh
 +include/gecode/int/cumulatives.hh
  include/gecode/int/cumulatives/val.hpp
  include/gecode/int/distinct.hh
  include/gecode/int/distinct/bnd.hpp
 @@ -102,9 +159,11 @@ include/gecode/int/distinct/dom.hpp
  include/gecode/int/distinct/graph.hpp
  include/gecode/int/distinct/ter-dom.hpp
  include/gecode/int/distinct/val.hpp
 +include/gecode/int/div.hh
 +include/gecode/int/div.hpp
  include/gecode/int/dom.hh
  include/gecode/int/dom/range.hpp
 -include/gecode/int/dom/spec.hpp
 +include/gecode/int/dom/set.hpp
  include/gecode/int/element.hh
  include/gecode/int/element/int.hpp
  include/gecode/int/element/pair.hpp
 @@ -129,6 +188,9 @@ include/gecode/int/gcc/val.hpp
  include/gecode/int/gcc/view.hpp
  include/gecode/int/int-set-1.hpp
  include/gecode/int/int-set-2.hpp
 +include/gecode/int/ldsb.hh
 +include/gecode/int/ldsb/brancher.hpp
 +include/gecode/int/ldsb/sym-imp.hpp
  include/gecode/int/limits.hpp
  include/gecode/int/linear.hh
  include/gecode/int/linear/bool-int.hpp
 @@ -164,6 +226,7 @@ include/gecode/int/nvalues/sym-bit-matri
  include/gecode/int/precede.hh
  include/gecode/int/precede/single.hpp
  include/gecode/int/propagator.hpp
 +include/gecode/int/reify.hpp
  include/gecode/int/rel.hh
  include/gecode/int/rel/eq.hpp
  include/gecode/int/rel/lex.hpp
 @@ -204,13 +267,21 @@ include/gecode/int/unary/task.hpp
  include/gecode/int/unary/tree.hpp
  include/gecode/int/val-set.hh
  include/gecode/int/val-set.hpp
 -include/gecode/int/var/bool.hpp
 -include/gecode/int/var/int.hpp
 -include/gecode/int/var/print.hpp
  include/gecode/int/var-imp.hpp
  include/gecode/int/var-imp/bool.hpp
  include/gecode/int/var-imp/delta.hpp
  include/gecode/int/var-imp/int.hpp
 +include/gecode/int/var/bool.hpp
 +include/gecode/int/var/int.hpp
 +include/gecode/int/var/print.hpp
 +include/gecode/int/view-val-graph.hh
 +include/gecode/int/view-val-graph/bi-link.hpp
 +include/gecode/int/view-val-graph/comb-ptr-flag.hpp
 +include/gecode/int/view-val-graph/edge.hpp
 +include/gecode/int/view-val-graph/graph.hpp
 +include/gecode/int/view-val-graph/iter-prune-val.hpp
 +include/gecode/int/view-val-graph/node.hpp
 +include/gecode/int/view.hpp
  include/gecode/int/view/bool-test.hpp
  include/gecode/int/view/bool.hpp
  include/gecode/int/view/cached.hpp
 @@ -224,14 +295,6 @@ include/gecode/int/view/print.hpp
  include/gecode/int/view/rel-test.hpp
  include/gecode/int/view/scale.hpp
  include/gecode/int/view/zero.hpp
 -include/gecode/int/view-val-graph/bi-link.hpp
 -include/gecode/int/view-val-graph/comb-ptr-flag.hpp
 -include/gecode/int/view-val-graph/edge.hpp
 -include/gecode/int/view-val-graph/graph.hpp
 -include/gecode/int/view-val-graph/iter-prune-val.hpp
 -include/gecode/int/view-val-graph/node.hpp
 -include/gecode/int/view-val-graph.hh
 -include/gecode/int/view.hpp
  include/gecode/iter.hh
  include/gecode/iter/ranges-add.hpp
  include/gecode/iter/ranges-append.hpp
 @@ -258,6 +321,7 @@ include/gecode/iter/ranges-union.hpp
  include/gecode/iter/ranges-values.hpp
  include/gecode/iter/values-array.hpp
  include/gecode/iter/values-bitset.hpp
 +include/gecode/iter/values-bitsetoffset.hpp
  include/gecode/iter/values-inter.hpp
  include/gecode/iter/values-list.hpp
  include/gecode/iter/values-map.hpp
 @@ -270,18 +334,26 @@ include/gecode/iter/values-singleton.hpp
  include/gecode/iter/values-union.hpp
  include/gecode/iter/values-unique.hpp
  include/gecode/kernel.hh
 +include/gecode/kernel/activity.hpp
  include/gecode/kernel/advisor.hpp
 +include/gecode/kernel/afc.hpp
  include/gecode/kernel/allocators.hpp
  include/gecode/kernel/archive.hpp
  include/gecode/kernel/array.hpp
 -include/gecode/kernel/branch.hpp
 -include/gecode/kernel/brancher-tiebreak.hpp
 -include/gecode/kernel/brancher-val.hpp
 +include/gecode/kernel/branch-tiebreak.hpp
 +include/gecode/kernel/branch-traits.hpp
 +include/gecode/kernel/branch-val.hpp
 +include/gecode/kernel/branch-var.hpp
 +include/gecode/kernel/brancher-merit.hpp
 +include/gecode/kernel/brancher-val-commit.hpp
 +include/gecode/kernel/brancher-val-sel-commit.hpp
 +include/gecode/kernel/brancher-val-sel.hpp
 +include/gecode/kernel/brancher-view-sel.hpp
 +include/gecode/kernel/brancher-view-val.hpp
  include/gecode/kernel/brancher-view.hpp
 -include/gecode/kernel/brancher.hpp
  include/gecode/kernel/core.hpp
  include/gecode/kernel/exception.hpp
 -include/gecode/kernel/global-prop-info.hpp
 +include/gecode/kernel/global-afc.hpp
  include/gecode/kernel/macros.hpp
  include/gecode/kernel/memory-config.hpp
  include/gecode/kernel/memory-manager.hpp
 @@ -289,6 +361,7 @@ include/gecode/kernel/modevent.hpp
  include/gecode/kernel/propagator.hpp
  include/gecode/kernel/range-list.hpp
  include/gecode/kernel/region.hpp
 +include/gecode/kernel/rnd.hpp
  include/gecode/kernel/shared-array.hpp
  include/gecode/kernel/var-imp.hpp
  include/gecode/kernel/var-type.hpp
 @@ -298,8 +371,9 @@ include/gecode/kernel/wait.hh
  include/gecode/minimodel.hh
  include/gecode/minimodel/bool-expr.hpp
  include/gecode/minimodel/exception.hpp
 -include/gecode/minimodel/lin-expr.hpp
 -include/gecode/minimodel/lin-rel.hpp
 +include/gecode/minimodel/float-rel.hpp
 +include/gecode/minimodel/int-rel.hpp
 +include/gecode/minimodel/ldsb.hpp
  include/gecode/minimodel/matrix.hpp
  include/gecode/minimodel/optimize.hpp
  include/gecode/minimodel/reg.hpp
 @@ -307,18 +381,21 @@ include/gecode/minimodel/set-expr.hpp
  include/gecode/minimodel/set-rel.hpp
  include/gecode/search.hh
  include/gecode/search/bab.hpp
 +include/gecode/search/cutoff.hpp
  include/gecode/search/dfs.hpp
 +include/gecode/search/engine-base.hpp
 +include/gecode/search/exception.hpp
 +include/gecode/search/meta/nogoods.hh
 +include/gecode/search/meta/rbs.hh
  include/gecode/search/options.hpp
  include/gecode/search/parallel/bab.hh
  include/gecode/search/parallel/dfs.hh
  include/gecode/search/parallel/engine.hh
  include/gecode/search/parallel/path.hh
 -include/gecode/search/parallel/restart.hh
 -include/gecode/search/restart.hpp
 +include/gecode/search/rbs.hpp
  include/gecode/search/sequential/bab.hh
  include/gecode/search/sequential/dfs.hh
  include/gecode/search/sequential/path.hh
 -include/gecode/search/sequential/restart.hh
  include/gecode/search/statistics.hpp
  include/gecode/search/stop.hpp
  include/gecode/search/support.hh
 @@ -327,9 +404,21 @@ include/gecode/set.hh
  include/gecode/set/array-traits.hpp
  include/gecode/set/array.hpp
  include/gecode/set/branch.hh
 -include/gecode/set/branch/post-val.hpp
 -include/gecode/set/branch/select-val.hpp
 -include/gecode/set/branch/select-view.hpp
 +include/gecode/set/branch/activity.hpp
 +include/gecode/set/branch/afc.hpp
 +include/gecode/set/branch/assign.hpp
 +include/gecode/set/branch/merit.hpp
 +include/gecode/set/branch/ngl.hpp
 +include/gecode/set/branch/traits.hpp
 +include/gecode/set/branch/val-commit.hpp
 +include/gecode/set/branch/val-sel.hpp
 +include/gecode/set/branch/val.hpp
 +include/gecode/set/branch/var.hpp
 +include/gecode/set/channel.hh
 +include/gecode/set/channel/bool.hpp
 +include/gecode/set/channel/int.hpp
 +include/gecode/set/channel/set.hpp
 +include/gecode/set/channel/sorted.hpp
  include/gecode/set/convex.hh
  include/gecode/set/convex/conv.hpp
  include/gecode/set/convex/hull.hpp
 @@ -343,14 +432,21 @@ include/gecode/set/element/unionConst.hp
  include/gecode/set/exception.hpp
  include/gecode/set/int.hh
  include/gecode/set/int/card.hpp
 -include/gecode/set/int/channel-bool.hpp
 -include/gecode/set/int/channel-int.hpp
 -include/gecode/set/int/match.hpp
  include/gecode/set/int/minmax.hpp
  include/gecode/set/int/weights.hpp
 +include/gecode/set/ldsb.hh
 +include/gecode/set/ldsb/brancher.hpp
  include/gecode/set/limits.hpp
  include/gecode/set/precede.hh
  include/gecode/set/precede/single.hpp
 +include/gecode/set/rel-op.hh
 +include/gecode/set/rel-op/common.hpp
 +include/gecode/set/rel-op/inter.hpp
 +include/gecode/set/rel-op/partition.hpp
 +include/gecode/set/rel-op/post.hpp
 +include/gecode/set/rel-op/subofunion.hpp
 +include/gecode/set/rel-op/superofinter.hpp
 +include/gecode/set/rel-op/union.hpp
  include/gecode/set/rel.hh
  include/gecode/set/rel/common.hpp
  include/gecode/set/rel/eq.hpp
 @@ -361,25 +457,17 @@ include/gecode/set/rel/re-eq.hpp
  include/gecode/set/rel/re-lq.hpp
  include/gecode/set/rel/re-subset.hpp
  include/gecode/set/rel/subset.hpp
 -include/gecode/set/rel-op.hh
 -include/gecode/set/rel-op/common.hpp
 -include/gecode/set/rel-op/inter.hpp
 -include/gecode/set/rel-op/partition.hpp
 -include/gecode/set/rel-op/post.hpp
 -include/gecode/set/rel-op/subofunion.hpp
 -include/gecode/set/rel-op/superofinter.hpp
 -include/gecode/set/rel-op/union.hpp
  include/gecode/set/sequence.hh
  include/gecode/set/sequence/common.hpp
  include/gecode/set/sequence/seq-u.hpp
  include/gecode/set/sequence/seq.hpp
 -include/gecode/set/var/print.hpp
 -include/gecode/set/var/set.hpp
  include/gecode/set/var-imp.hpp
  include/gecode/set/var-imp/delta.hpp
  include/gecode/set/var-imp/integerset.hpp
  include/gecode/set/var-imp/iter.hpp
  include/gecode/set/var-imp/set.hpp
 +include/gecode/set/var/print.hpp
 +include/gecode/set/var/set.hpp
  include/gecode/set/view.hpp
  include/gecode/set/view/cached.hpp
  include/gecode/set/view/complement.hpp
 @@ -390,6 +478,7 @@ include/gecode/set/view/singleton.hpp
  include/gecode/support.hh
  include/gecode/support/auto-link.hpp
  include/gecode/support/bitset-base.hpp
 +include/gecode/support/bitset-offset.hpp
  include/gecode/support/bitset.hpp
  include/gecode/support/block-allocator.hpp
  include/gecode/support/cast.hpp
 @@ -399,6 +488,7 @@ include/gecode/support/dynamic-queue.hpp
  include/gecode/support/dynamic-stack.hpp
  include/gecode/support/exception.hpp
  include/gecode/support/heap.hpp
 +include/gecode/support/hw-rnd.hpp
  include/gecode/support/int-type.hpp
  include/gecode/support/macros.hpp
  include/gecode/support/marked-pointer.hpp
 @@ -412,32 +502,35 @@ include/gecode/support/thread/thread.hpp
  include/gecode/support/thread/windows.hpp
  include/gecode/support/timer.hpp
  lib/libgecodedriver.so
 -lib/libgecodedriver.so.32
 -lib/libgecodedriver.so.32.0
 +lib/libgecodedriver.so.36
 +lib/libgecodedriver.so.36.0
  lib/libgecodeflatzinc.so
 -lib/libgecodeflatzinc.so.32
 -lib/libgecodeflatzinc.so.32.0
 +lib/libgecodeflatzinc.so.36
 +lib/libgecodeflatzinc.so.36.0
 +lib/libgecodefloat.so
 +lib/libgecodefloat.so.36
 +lib/libgecodefloat.so.36.0
  %%GIST%%lib/libgecodegist.so
 -%%GIST%%lib/libgecodegist.so.32
 -%%GIST%%lib/libgecodegist.so.32.0
 +%%GIST%%lib/libgecodegist.so.36
 +%%GIST%%lib/libgecodegist.so.36.0
  lib/libgecodeint.so
 -lib/libgecodeint.so.32
 -lib/libgecodeint.so.32.0
 +lib/libgecodeint.so.36
 +lib/libgecodeint.so.36.0
  lib/libgecodekernel.so
 -lib/libgecodekernel.so.32
 -lib/libgecodekernel.so.32.0
 +lib/libgecodekernel.so.36
 +lib/libgecodekernel.so.36.0
  lib/libgecodeminimodel.so
 -lib/libgecodeminimodel.so.32
 -lib/libgecodeminimodel.so.32.0
 +lib/libgecodeminimodel.so.36
 +lib/libgecodeminimodel.so.36.0
  lib/libgecodesearch.so
 -lib/libgecodesearch.so.32
 -lib/libgecodesearch.so.32.0
 +lib/libgecodesearch.so.36
 +lib/libgecodesearch.so.36.0
  lib/libgecodeset.so
 -lib/libgecodeset.so.32
 -lib/libgecodeset.so.32.0
 +lib/libgecodeset.so.36
 +lib/libgecodeset.so.36.0
  lib/libgecodesupport.so
 -lib/libgecodesupport.so.32
 -lib/libgecodesupport.so.32.0
 +lib/libgecodesupport.so.36
 +lib/libgecodesupport.so.36.0
  %%DATADIR%%/mznlib/all_different_int.mzn
  %%DATADIR%%/mznlib/all_equal_int.mzn
  %%DATADIR%%/mznlib/among.mzn
 @@ -467,7 +560,10 @@ lib/libgecodesupport.so.32.0
  %%DATADIR%%/mznlib/increasing_int.mzn
  %%DATADIR%%/mznlib/int_set_channel.mzn
  %%DATADIR%%/mznlib/inverse.mzn
 +%%DATADIR%%/mznlib/inverse_set.mzn
 +%%DATADIR%%/mznlib/lex_less_bool.mzn
  %%DATADIR%%/mznlib/lex_less_int.mzn
 +%%DATADIR%%/mznlib/lex_lesseq_bool.mzn
  %%DATADIR%%/mznlib/lex_lesseq_int.mzn
  %%DATADIR%%/mznlib/link_set_to_booleans.mzn
  %%DATADIR%%/mznlib/maximum_int.mzn
 @@ -476,7 +572,6 @@ lib/libgecodesupport.so.32.0
  %%DATADIR%%/mznlib/minimum_int.mzn
  %%DATADIR%%/mznlib/nvalue.mzn
  %%DATADIR%%/mznlib/partition_set.mzn
 -%%DATADIR%%/mznlib/precedence.mzn
  %%DATADIR%%/mznlib/range.mzn
  %%DATADIR%%/mznlib/redefinitions.mzn
  %%DATADIR%%/mznlib/regular.mzn
 @@ -485,6 +580,8 @@ lib/libgecodesupport.so.32.0
  %%DATADIR%%/mznlib/sum_pred.mzn
  %%DATADIR%%/mznlib/table_bool.mzn
  %%DATADIR%%/mznlib/table_int.mzn
 +%%DATADIR%%/mznlib/value_precede_int.mzn
 +%%DATADIR%%/mznlib/value_precede_set.mzn
  @dirrm %%DATADIR%%/mznlib
  @dirrm %%DATADIR%%
  @dirrm include/gecode/support/thread
 @@ -496,14 +593,17 @@ lib/libgecodesupport.so.32.0
  @dirrm include/gecode/set/rel-op
  @dirrm include/gecode/set/rel
  @dirrm include/gecode/set/precede
 +@dirrm include/gecode/set/ldsb
  @dirrm include/gecode/set/int
  @dirrm include/gecode/set/element
  @dirrm include/gecode/set/distinct
  @dirrm include/gecode/set/convex
 +@dirrm include/gecode/set/channel
  @dirrm include/gecode/set/branch
  @dirrm include/gecode/set
  @dirrm include/gecode/search/sequential
  @dirrm include/gecode/search/parallel
 +@dirrm include/gecode/search/meta
  @dirrm include/gecode/search
  @dirrm include/gecode/minimodel
  @dirrm include/gecode/kernel
 @@ -522,6 +622,7 @@ lib/libgecodesupport.so.32.0
  @dirrm include/gecode/int/no-overlap
  @dirrm include/gecode/int/member
  @dirrm include/gecode/int/linear
 +@dirrm include/gecode/int/ldsb
  @dirrm include/gecode/int/gcc
  @dirrm include/gecode/int/extensional
  @dirrm include/gecode/int/exec
 @@ -539,7 +640,16 @@ lib/libgecodesupport.so.32.0
  @dirrm include/gecode/int/arithmetic
  @dirrm include/gecode/int
  @dirrm include/gecode/gist
 +@dirrm include/gecode/float/view
 +@dirrm include/gecode/float/var-imp
 +@dirrm include/gecode/float/var
 +@dirrm include/gecode/float/trigonometric
 +@dirrm include/gecode/float/transcendental
 +@dirrm include/gecode/float/rel
 +@dirrm include/gecode/float/linear
 +@dirrm include/gecode/float/branch
 +@dirrm include/gecode/float/arithmetic
 +@dirrm include/gecode/float
  @dirrm include/gecode/flatzinc
  @dirrm include/gecode/driver
  @dirrm include/gecode
 -@dirrm include/examples
 _______________________________________________
 svn-ports-all@freebsd.org mailing list
 http://lists.freebsd.org/mailman/listinfo/svn-ports-all
 To unsubscribe, send any mail to "svn-ports-all-unsubscribe@freebsd.org"
 
>Unformatted:
