--- 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 -.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 --- 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 --- 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 --- 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