ports/186739: devel/gecode: Update to version 4.2.1
KATO Tsuguru
tkato432 at yahoo.com
Thu Feb 13 18:40:02 UTC 2014
>Number: 186739
>Category: ports
>Synopsis: devel/gecode: Update to version 4.2.1
>Confidential: no
>Severity: non-critical
>Priority: low
>Responsible: freebsd-ports-bugs
>State: open
>Quarter:
>Keywords:
>Date-Required:
>Class: change-request
>Submitter-Id: current-users
>Arrival-Date: Thu Feb 13 18:40:01 UTC 2014
>Closed-Date:
>Last-Modified:
>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
+ at 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
+ at dirrm include/gecode/set/channel
@dirrm include/gecode/set/branch
@dirrm include/gecode/set
@dirrm include/gecode/search/sequential
@dirrm include/gecode/search/parallel
+ at 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
+ at 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
+ at dirrm include/gecode/float/view
+ at dirrm include/gecode/float/var-imp
+ at dirrm include/gecode/float/var
+ at dirrm include/gecode/float/trigonometric
+ at dirrm include/gecode/float/transcendental
+ at dirrm include/gecode/float/rel
+ at dirrm include/gecode/float/linear
+ at dirrm include/gecode/float/branch
+ at dirrm include/gecode/float/arithmetic
+ at dirrm include/gecode/float
@dirrm include/gecode/flatzinc
@dirrm include/gecode/driver
@dirrm include/gecode
- at dirrm include/examples
>Release-Note:
>Audit-Trail:
>Unformatted:
More information about the freebsd-ports-bugs
mailing list