Add gecode-3.4.2, the Generic Constraint Development Environment.

WWW:		http://www.gecode.org/
Feature safe:	yes

5 files changed, 571 insertions, 0 deletions

diff --git a/devel/gecode/Makefile b/devel/gecode/Makefile
new file mode 100644
index 000000000000..bb0f9c2a56f3
--- /dev/null
+++ b/devel/gecode/Makefile
@@ -0,0 +1,43 @@
+# New ports collection makefile for:	gecode
+# Date created:				24 January 2011
+# Whom:					roam@FreeBSD.org
+#
+# $FreeBSD$
+#
+
+PORTNAME=	gecode
+PORTVERSION=	3.4.2
+CATEGORIES=	devel
+MASTER_SITES=	http://www.gecode.org/download/
+
+MAINTAINER=	roam@FreeBSD.org
+COMMENT=	Generic Constraint Development Environment
+
+BUILD_DEPENDS=	bison>=2.3:${PORTSDIR}/devel/bison \
+		flex>=2.5.35:${PORTSDIR}/textproc/flex
+
+LICENSE=	MIT
+USE_GMAKE=	yes
+GNU_CONFIGURE=	yes
+USE_LDCONFIG=	yes
+
+MAKE_JOBS_UNSAFE=	yes
+PATCH_STRIP=	-p1
+
+CONFIGURE_ARGS+=\
+		--disable-static \
+		--enable-shared \
+		--disable-doc-dot \
+		--disable-doc-tagfile \
+		--disable-doc-chm \
+		--disable-qt \
+		--disable-gist \
+		--enable-driver \
+		--enable-graph \
+		--enable-flatzinc \
+		--enable-sheduling \
+		--disable-examples \
+		--enable-minimodel \
+		--enable-search
+
+.include <bsd.port.mk>
diff --git a/devel/gecode/distinfo b/devel/gecode/distinfo
new file mode 100644
index 000000000000..5d699d179784
--- /dev/null
+++ b/devel/gecode/distinfo
@@ -0,0 +1,2 @@
+SHA256 (gecode-3.4.2.tar.gz) = c047485dde16495710837289ffec38c9f876abaacb4fa557403ce3348a452de0
+SIZE (gecode-3.4.2.tar.gz) = 1537092
diff --git a/devel/gecode/files/patch-configure b/devel/gecode/files/patch-configure
new file mode 100644
index 000000000000..ef64675ab7d2
--- /dev/null
+++ b/devel/gecode/files/patch-configure
@@ -0,0 +1,33 @@
+Description: Let the configure script succeed on FreeBSD.
+ Add FreeBSD to the list of supported operating systems.
+ Fix a bashism (test = instead of ==).
+Forwarded: no
+Author: Peter Pentchev <roam@FreeBSD.org>
+Last-Update: 2011-01-24
+
+Index: b/configure
+===================================================================
+--- a/configure	2010-10-09 15:01:50.000000000 +0300
++++ b/configure	2011-01-24 09:24:48.000000000 +0200
+@@ -2675,7 +2675,7 @@
+        guess_host_os=${with_host_os}
+         fi
+           case ${guess_host_os} in
+-       GNU/kFreeBSD|*inux*)
++       GNU/kFreeBSD|*inux*|FreeBSD)
+        host_os=linux
+        { $as_echo "$as_me:${as_lineno-$LINENO}: result: Linux" >&5
+ $as_echo "Linux" >&6; }
+@@ -10534,9 +10534,9 @@
+ 
+ 
+ ac_gecode_library_architecture=-${VERSION_DASHES}${ac_gecode_library_architecture}
+-if test   "$ac_gecode_compiler_vendor" == "microsoft" \
+-       -o \( "$ac_gecode_compiler_vendor" == "intel" \
+-            -a "$host_os" == "windows" \) ; then
++if test   "$ac_gecode_compiler_vendor" = "microsoft" \
++       -o \( "$ac_gecode_compiler_vendor" = "intel" \
++            -a "$host_os" = "windows" \) ; then
+   DLL_ARCH=${ac_gecode_library_architecture}
+ 
+ else
diff --git a/devel/gecode/pkg-descr b/devel/gecode/pkg-descr
new file mode 100644
index 000000000000..daaa8f927a09
--- /dev/null
+++ b/devel/gecode/pkg-descr
@@ -0,0 +1,5 @@
+Gecode is a toolkit for developing constraint-based systems and
+applications. Gecode provides a constraint solver with state-of-the-art
+performance while being modular and extensible.
+
+WWW:	http://www.gecode.org/
diff --git a/devel/gecode/pkg-plist b/devel/gecode/pkg-plist
new file mode 100644
index 000000000000..6353de22ce55
--- /dev/null
+++ b/devel/gecode/pkg-plist
@@ -0,0 +1,488 @@
+bin/fz
+include/examples/scowl.hpp
+include/gecode/driver.hh
+include/gecode/driver/options.hpp
+include/gecode/driver/script.hpp
+include/gecode/flatzinc.hh
+include/gecode/flatzinc/ast.hh
+include/gecode/flatzinc/conexpr.hh
+include/gecode/flatzinc/option.hh
+include/gecode/flatzinc/parser.hh
+include/gecode/flatzinc/plugin.hh
+include/gecode/flatzinc/registry.hh
+include/gecode/flatzinc/symboltable.hh
+include/gecode/flatzinc/varspec.hh
+include/gecode/gist.hh
+include/gecode/gist/drawingcursor.hh
+include/gecode/gist/drawingcursor.hpp
+include/gecode/gist/gecodelogo.hh
+include/gecode/gist/gist.hpp
+include/gecode/gist/layoutcursor.hh
+include/gecode/gist/layoutcursor.hpp
+include/gecode/gist/mainwindow.hh
+include/gecode/gist/node.hh
+include/gecode/gist/node.hpp
+include/gecode/gist/nodecursor.hh
+include/gecode/gist/nodecursor.hpp
+include/gecode/gist/nodestats.hh
+include/gecode/gist/nodevisitor.hh
+include/gecode/gist/nodevisitor.hpp
+include/gecode/gist/nodewidget.hh
+include/gecode/gist/preferences.hh
+include/gecode/gist/qtgist.hh
+include/gecode/gist/spacenode.hh
+include/gecode/gist/spacenode.hpp
+include/gecode/gist/stopbrancher.hh
+include/gecode/gist/textoutput.hh
+include/gecode/gist/treecanvas.hh
+include/gecode/gist/visualnode.hh
+include/gecode/gist/visualnode.hpp
+include/gecode/gist/zoomToFitIcon.hpp
+include/gecode/graph.hh
+include/gecode/graph/circuit.hh
+include/gecode/graph/circuit/base.hpp
+include/gecode/graph/circuit/dom.hpp
+include/gecode/graph/circuit/val.hpp
+include/gecode/int.hh
+include/gecode/int/arithmetic.hh
+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/array-traits.hpp
+include/gecode/int/array.hpp
+include/gecode/int/bin-packing.hh
+include/gecode/int/bin-packing/propagate.hpp
+include/gecode/int/bool.hh
+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/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/channel.hh
+include/gecode/int/channel/base.hpp
+include/gecode/int/channel/dom.hpp
+include/gecode/int/channel/link-multi.hpp
+include/gecode/int/channel/link-single.hpp
+include/gecode/int/channel/val.hpp
+include/gecode/int/count.hh
+include/gecode/int/count/int.hpp
+include/gecode/int/count/rel.hpp
+include/gecode/int/count/view.hpp
+include/gecode/int/distinct.hh
+include/gecode/int/distinct/bilink.hpp
+include/gecode/int/distinct/bnd.hpp
+include/gecode/int/distinct/combptr.hpp
+include/gecode/int/distinct/dom.hpp
+include/gecode/int/distinct/edge.hpp
+include/gecode/int/distinct/node.hpp
+include/gecode/int/distinct/ter-dom.hpp
+include/gecode/int/distinct/val.hpp
+include/gecode/int/dom.hh
+include/gecode/int/dom/range.hpp
+include/gecode/int/dom/spec.hpp
+include/gecode/int/element.hh
+include/gecode/int/element/int.hpp
+include/gecode/int/element/pair.hpp
+include/gecode/int/element/view.hpp
+include/gecode/int/exception.hpp
+include/gecode/int/exec.hh
+include/gecode/int/exec/when.hpp
+include/gecode/int/extensional.hh
+include/gecode/int/extensional/base.hpp
+include/gecode/int/extensional/basic.hpp
+include/gecode/int/extensional/dfa.hpp
+include/gecode/int/extensional/incremental.hpp
+include/gecode/int/extensional/layered-graph.hpp
+include/gecode/int/extensional/tuple-set.hpp
+include/gecode/int/gcc.hh
+include/gecode/int/gcc/bnd-sup.hpp
+include/gecode/int/gcc/bnd.hpp
+include/gecode/int/gcc/dom-sup.hpp
+include/gecode/int/gcc/dom.hpp
+include/gecode/int/gcc/post.hpp
+include/gecode/int/gcc/val.hpp
+include/gecode/int/gcc/view.hpp
+include/gecode/int/int-set-1.hpp
+include/gecode/int/int-set-2.hpp
+include/gecode/int/limits.hpp
+include/gecode/int/linear.hh
+include/gecode/int/linear/bool-int.hpp
+include/gecode/int/linear/bool-scale.hpp
+include/gecode/int/linear/bool-view.hpp
+include/gecode/int/linear/int-bin.hpp
+include/gecode/int/linear/int-dom.hpp
+include/gecode/int/linear/int-nary.hpp
+include/gecode/int/linear/int-noview.hpp
+include/gecode/int/linear/int-ter.hpp
+include/gecode/int/linear/post.hpp
+include/gecode/int/propagator.hpp
+include/gecode/int/rel.hh
+include/gecode/int/rel/eq.hpp
+include/gecode/int/rel/lex.hpp
+include/gecode/int/rel/lq-le.hpp
+include/gecode/int/rel/nq.hpp
+include/gecode/int/sequence.hh
+include/gecode/int/sequence/int.hpp
+include/gecode/int/sequence/set-op.hpp
+include/gecode/int/sequence/view.hpp
+include/gecode/int/sequence/violations.hpp
+include/gecode/int/sorted.hh
+include/gecode/int/sorted/matching.hpp
+include/gecode/int/sorted/narrowing.hpp
+include/gecode/int/sorted/order.hpp
+include/gecode/int/sorted/propagate.hpp
+include/gecode/int/sorted/sortsup.hpp
+include/gecode/int/support-values.hh
+include/gecode/int/support-values.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.hpp
+include/gecode/int/view/bool-test.hpp
+include/gecode/int/view/bool.hpp
+include/gecode/int/view/constint.hpp
+include/gecode/int/view/int.hpp
+include/gecode/int/view/iter.hpp
+include/gecode/int/view/minus.hpp
+include/gecode/int/view/neg-bool.hpp
+include/gecode/int/view/offset.hpp
+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/iter.hh
+include/gecode/iter/ranges-add.hpp
+include/gecode/iter/ranges-append.hpp
+include/gecode/iter/ranges-array.hpp
+include/gecode/iter/ranges-cache.hpp
+include/gecode/iter/ranges-compl.hpp
+include/gecode/iter/ranges-diff.hpp
+include/gecode/iter/ranges-empty.hpp
+include/gecode/iter/ranges-inter.hpp
+include/gecode/iter/ranges-list.hpp
+include/gecode/iter/ranges-map.hpp
+include/gecode/iter/ranges-minmax.hpp
+include/gecode/iter/ranges-minus.hpp
+include/gecode/iter/ranges-negative.hpp
+include/gecode/iter/ranges-offset.hpp
+include/gecode/iter/ranges-operations.hpp
+include/gecode/iter/ranges-positive.hpp
+include/gecode/iter/ranges-scale.hpp
+include/gecode/iter/ranges-singleton-append.hpp
+include/gecode/iter/ranges-singleton.hpp
+include/gecode/iter/ranges-size.hpp
+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-inter.hpp
+include/gecode/iter/values-list.hpp
+include/gecode/iter/values-map.hpp
+include/gecode/iter/values-minus.hpp
+include/gecode/iter/values-negative.hpp
+include/gecode/iter/values-offset.hpp
+include/gecode/iter/values-positive.hpp
+include/gecode/iter/values-ranges.hpp
+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/advisor.hpp
+include/gecode/kernel/allocators.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/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/macros.hpp
+include/gecode/kernel/memory-config.hpp
+include/gecode/kernel/memory-manager.hpp
+include/gecode/kernel/modevent.hpp
+include/gecode/kernel/propagator.hpp
+include/gecode/kernel/region.hpp
+include/gecode/kernel/shared-array.hpp
+include/gecode/kernel/var-imp.hpp
+include/gecode/kernel/var-type.hpp
+include/gecode/kernel/var.hpp
+include/gecode/kernel/view.hpp
+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/matrix.hpp
+include/gecode/minimodel/optimize.hpp
+include/gecode/minimodel/reg.hpp
+include/gecode/minimodel/set-expr.hpp
+include/gecode/minimodel/set-rel.hpp
+include/gecode/scheduling.hh
+include/gecode/scheduling/cumulative.hh
+include/gecode/scheduling/cumulative/basic.hpp
+include/gecode/scheduling/cumulative/edge-finding.hpp
+include/gecode/scheduling/cumulative/man-prop.hpp
+include/gecode/scheduling/cumulative/opt-prop.hpp
+include/gecode/scheduling/cumulative/overload.hpp
+include/gecode/scheduling/cumulative/task-view.hpp
+include/gecode/scheduling/cumulative/task.hpp
+include/gecode/scheduling/cumulative/tree.hpp
+include/gecode/scheduling/cumulatives.hh
+include/gecode/scheduling/cumulatives/val.hpp
+include/gecode/scheduling/task.hh
+include/gecode/scheduling/task/array.hpp
+include/gecode/scheduling/task/fwd-to-bwd.hpp
+include/gecode/scheduling/task/iter.hpp
+include/gecode/scheduling/task/man-to-opt.hpp
+include/gecode/scheduling/task/prop.hpp
+include/gecode/scheduling/task/purge.hpp
+include/gecode/scheduling/task/sort.hpp
+include/gecode/scheduling/task/tree.hpp
+include/gecode/scheduling/unary.hh
+include/gecode/scheduling/unary/detectable.hpp
+include/gecode/scheduling/unary/edge-finding.hpp
+include/gecode/scheduling/unary/man-prop.hpp
+include/gecode/scheduling/unary/not-first-not-last.hpp
+include/gecode/scheduling/unary/opt-prop.hpp
+include/gecode/scheduling/unary/overload.hpp
+include/gecode/scheduling/unary/subsumption.hpp
+include/gecode/scheduling/unary/task-view.hpp
+include/gecode/scheduling/unary/task.hpp
+include/gecode/scheduling/unary/tree.hpp
+include/gecode/search.hh
+include/gecode/search/bab.hpp
+include/gecode/search/dfs.hpp
+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/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
+include/gecode/search/worker.hh
+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/convex.hh
+include/gecode/set/convex/conv.hpp
+include/gecode/set/convex/hull.hpp
+include/gecode/set/distinct.hh
+include/gecode/set/distinct/atmostOne.hpp
+include/gecode/set/element.hh
+include/gecode/set/element/disjoint.hpp
+include/gecode/set/element/inter.hpp
+include/gecode/set/element/union.hpp
+include/gecode/set/element/unionConst.hpp
+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/limits.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
+include/gecode/set/rel/nosubset.hpp
+include/gecode/set/rel/nq.hpp
+include/gecode/set/rel/re-eq.hpp
+include/gecode/set/rel/re-subset.hpp
+include/gecode/set/rel/subset.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-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/complement.hpp
+include/gecode/set/view/const.hpp
+include/gecode/set/view/print.hpp
+include/gecode/set/view/set.hpp
+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.hpp
+include/gecode/support/block-allocator.hpp
+include/gecode/support/cast.hpp
+include/gecode/support/config.hpp
+include/gecode/support/dynamic-array.hpp
+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/int-type.hpp
+include/gecode/support/macros.hpp
+include/gecode/support/marked-pointer.hpp
+include/gecode/support/random.hpp
+include/gecode/support/sort.hpp
+include/gecode/support/static-stack.hpp
+include/gecode/support/thread.hpp
+include/gecode/support/thread/none.hpp
+include/gecode/support/thread/pthreads.hpp
+include/gecode/support/thread/thread.hpp
+include/gecode/support/thread/windows.hpp
+include/gecode/support/timer.hpp
+lib/libgecodedriver.so
+lib/libgecodedriver.so.25
+lib/libgecodedriver.so.25.0
+lib/libgecodeflatzinc.so
+lib/libgecodeflatzinc.so.25
+lib/libgecodeflatzinc.so.25.0
+lib/libgecodegraph.so
+lib/libgecodegraph.so.25
+lib/libgecodegraph.so.25.0
+lib/libgecodeint.so
+lib/libgecodeint.so.25
+lib/libgecodeint.so.25.0
+lib/libgecodekernel.so
+lib/libgecodekernel.so.25
+lib/libgecodekernel.so.25.0
+lib/libgecodeminimodel.so
+lib/libgecodeminimodel.so.25
+lib/libgecodeminimodel.so.25.0
+lib/libgecodescheduling.so
+lib/libgecodescheduling.so.25
+lib/libgecodescheduling.so.25.0
+lib/libgecodesearch.so
+lib/libgecodesearch.so.25
+lib/libgecodesearch.so.25.0
+lib/libgecodeset.so
+lib/libgecodeset.so.25
+lib/libgecodeset.so.25.0
+lib/libgecodesupport.so
+lib/libgecodesupport.so.25
+lib/libgecodesupport.so.25.0
+%%DATADIR%%/mznlib/all_different_int.mzn
+%%DATADIR%%/mznlib/all_equal_int.mzn
+%%DATADIR%%/mznlib/among.mzn
+%%DATADIR%%/mznlib/at_least_int.mzn
+%%DATADIR%%/mznlib/at_least_set.mzn
+%%DATADIR%%/mznlib/at_most_int.mzn
+%%DATADIR%%/mznlib/at_most_set.mzn
+%%DATADIR%%/mznlib/bin_packing.mzn
+%%DATADIR%%/mznlib/bin_packing_capa.mzn
+%%DATADIR%%/mznlib/bin_packing_load.mzn
+%%DATADIR%%/mznlib/count.mzn
+%%DATADIR%%/mznlib/cumulative.mzn
+%%DATADIR%%/mznlib/decreasing_int.mzn
+%%DATADIR%%/mznlib/disjoint.mzn
+%%DATADIR%%/mznlib/distribute.mzn
+%%DATADIR%%/mznlib/exactly_int.mzn
+%%DATADIR%%/mznlib/exactly_set.mzn
+%%DATADIR%%/mznlib/gecode.mzn
+%%DATADIR%%/mznlib/global_cardinality.mzn
+%%DATADIR%%/mznlib/global_cardinality_low_up.mzn
+%%DATADIR%%/mznlib/increasing_bool.mzn
+%%DATADIR%%/mznlib/increasing_int.mzn
+%%DATADIR%%/mznlib/inverse.mzn
+%%DATADIR%%/mznlib/lex_less_int.mzn
+%%DATADIR%%/mznlib/lex_lesseq_int.mzn
+%%DATADIR%%/mznlib/maximum_int.mzn
+%%DATADIR%%/mznlib/minimum_int.mzn
+%%DATADIR%%/mznlib/nvalue.mzn
+%%DATADIR%%/mznlib/partition_set.mzn
+%%DATADIR%%/mznlib/redefinitions.mzn
+%%DATADIR%%/mznlib/regular.mzn
+%%DATADIR%%/mznlib/sort.mzn
+%%DATADIR%%/mznlib/sum_pred.mzn
+%%DATADIR%%/mznlib/table_bool.mzn
+%%DATADIR%%/mznlib/table_int.mzn
+@dirrm include/examples
+@dirrm include/gecode/driver
+@dirrm include/gecode/flatzinc
+@dirrm include/gecode/gist
+@dirrm include/gecode/graph/circuit
+@dirrm include/gecode/graph
+@dirrm include/gecode/int/arithmetic
+@dirrm include/gecode/int/bin-packing
+@dirrm include/gecode/int/bool
+@dirrm include/gecode/int/branch
+@dirrm include/gecode/int/channel
+@dirrm include/gecode/int/count
+@dirrm include/gecode/int/distinct
+@dirrm include/gecode/int/dom
+@dirrm include/gecode/int/element
+@dirrm include/gecode/int/exec
+@dirrm include/gecode/int/extensional
+@dirrm include/gecode/int/gcc
+@dirrm include/gecode/int/linear
+@dirrm include/gecode/int/rel
+@dirrm include/gecode/int/sequence
+@dirrm include/gecode/int/sorted
+@dirrm include/gecode/int/var
+@dirrm include/gecode/int/var-imp
+@dirrm include/gecode/int/view
+@dirrm include/gecode/int
+@dirrm include/gecode/iter
+@dirrm include/gecode/kernel
+@dirrm include/gecode/minimodel
+@dirrm include/gecode/scheduling/cumulative
+@dirrm include/gecode/scheduling/cumulatives
+@dirrm include/gecode/scheduling/task
+@dirrm include/gecode/scheduling/unary
+@dirrm include/gecode/scheduling
+@dirrm include/gecode/search/parallel
+@dirrm include/gecode/search/sequential
+@dirrm include/gecode/search
+@dirrm include/gecode/set/branch
+@dirrm include/gecode/set/convex
+@dirrm include/gecode/set/distinct
+@dirrm include/gecode/set/element
+@dirrm include/gecode/set/int
+@dirrm include/gecode/set/rel
+@dirrm include/gecode/set/rel-op
+@dirrm include/gecode/set/sequence
+@dirrm include/gecode/set/var
+@dirrm include/gecode/set/var-imp
+@dirrm include/gecode/set/view
+@dirrm include/gecode/set
+@dirrm include/gecode/support/thread
+@dirrm include/gecode/support
+@dirrm include/gecode
+@dirrm %%DATADIR%%/mznlib
+@dirrm %%DATADIR%%