View | Details | Raw Unified | Return to bug 166023
Collapse All | Expand All

(-)devel/gecode/Makefile (-37 / +30 lines)
Lines 6-57 Link Here
6
#
6
#
7
7
8
PORTNAME=	gecode
8
PORTNAME=	gecode
9
PORTVERSION=	3.5.0
9
PORTVERSION=	3.7.2
10
CATEGORIES=	devel
10
CATEGORIES=	devel
11
MASTER_SITES=	http://www.gecode.org/download/
11
MASTER_SITES=	http://www.gecode.org/download/
12
12
13
MAINTAINER=	ports@FreeBSD.org
13
MAINTAINER=	ports@FreeBSD.org
14
COMMENT=	Generic Constraint Development Environment
14
COMMENT=	Generic Constraint Development Environment
15
15
16
BUILD_DEPENDS=	bison>=2.3:${PORTSDIR}/devel/bison \
17
		flex>=2.5.35:${PORTSDIR}/textproc/flex
18
19
LICENSE=	MIT
16
LICENSE=	MIT
20
USE_GMAKE=	yes
21
GNU_CONFIGURE=	yes
22
USE_LDCONFIG=	yes
23
USE_PERL5_BUILD=	yes
24
17
25
MAKE_JOBS_UNSAFE=	yes
18
OPTIONS=	GIST "Interactive Search Tool (requires Qt)" Off
26
PATCH_STRIP=	-p1
27
28
OPTIONS=	GIST "Interactive Search Tool" off \
29
		QT "QT interface" off
30
31
.include <bsd.port.options.mk>
32
33
.if defined(WITH_QT)
34
CONFIGURE_ARGS+=	--enable-qt
35
USE_QT_VER=		4
36
QT_COMPONENTS=		corelib gui moc_build qmake_build
37
.else
38
CONFIGURE_ARGS+=	--disable-qt
39
.endif
40
41
.if defined(WITH_GIST)
42
.if !defined(WITH_QT)
43
IGNORE=			Building GIST requires enabling the QT interface
44
.else
45
CONFIGURE_ARGS+=	--enable-gist
46
PLIST_SUB+=		GIST=""
47
.endif
48
.else
49
CONFIGURE_ARGS+=	--disable-gist
50
PLIST_SUB+=		GIST="@comment "
51
.endif
52
19
53
CONFIGURE_ARGS+=\
20
USE_PERL5_BUILD=yes
54
		--disable-static \
21
USE_BISON=	build
22
USE_GMAKE=	yes
23
GNU_CONFIGURE=	yes
24
CONFIGURE_ARGS= --disable-static \
55
		--enable-shared \
25
		--enable-shared \
56
		--disable-doc-dot \
26
		--disable-doc-dot \
57
		--disable-doc-tagfile \
27
		--disable-doc-tagfile \
Lines 63-67 Link Here
63
		--disable-examples \
33
		--disable-examples \
64
		--enable-minimodel \
34
		--enable-minimodel \
65
		--enable-search
35
		--enable-search
36
USE_LDCONFIG=	yes
37
MAKE_JOBS_UNSAFE=yes
38
39
.include <bsd.port.options.mk>
40
41
.if defined(WITH_GIST)
42
USE_QT_VER=	4
43
QT_COMPONENTS=	corelib gui moc_build qmake_build
44
CONFIGURE_ARGS+=--enable-gist --enable-qt
45
PLIST_SUB+=	GIST=""
46
.else
47
CONFIGURE_ARGS+=--disable-gist --disable-qt
48
PLIST_SUB+=	GIST="@comment "
49
.endif
50
51
post-patch:
52
	@${REINPLACE_CMD} -e \
53
		'/^ARR/s|^|#| ; \
54
		 /^PACKAGE_VERSION_NUMBER/s|^|#| ; \
55
		 /_vendor/s| == | = | ; \
56
		 /host_os/s| == | = | ; \
57
		 /gcc_optimize_flag/s|-O3|| ; \
58
		 /="-ggdb/s|^|#|' ${WRKSRC}/configure
66
59
67
.include <bsd.port.mk>
60
.include <bsd.port.mk>
(-)devel/gecode/distinfo (-2 / +2 lines)
Lines 1-2 Link Here
1
SHA256 (gecode-3.5.0.tar.gz) = b76cc4a0a198cd241c6aff2f865dde7d25061bf6401e85ba4c97717383c0d48d
1
SHA256 (gecode-3.7.2.tar.gz) = 838cb0e7eb6884a3a4b4aad7f07ea9c96482de952c85da270f47360dc3ded1c3
2
SIZE (gecode-3.5.0.tar.gz) = 1557174
2
SIZE (gecode-3.7.2.tar.gz) = 1642455
(-)devel/gecode/files/patch-configure (-21 lines)
Lines 1-21 Link Here
1
Description: Let the configure script succeed on FreeBSD.
2
 Fix a bashism (test = instead of ==).
3
Forwarded: yes
4
Author: Peter Pentchev <roam@FreeBSD.org>
5
Last-Update: 2011-02-10
6
7
--- a/configure
8
+++ b/configure
9
@@ -10531,9 +10531,9 @@
10
 
11
 
12
 ac_gecode_library_architecture=-${VERSION_DASHES}${ac_gecode_library_architecture}
13
-if test   "$ac_gecode_compiler_vendor" == "microsoft" \
14
-       -o \( "$ac_gecode_compiler_vendor" == "intel" \
15
-            -a "$host_os" == "windows" \) ; then
16
+if test   "$ac_gecode_compiler_vendor" = "microsoft" \
17
+       -o \( "$ac_gecode_compiler_vendor" = "intel" \
18
+            -a "$host_os" = "windows" \) ; then
19
   DLL_ARCH=${ac_gecode_library_architecture}
20
 
21
 else
(-)devel/gecode/pkg-plist (-132 / +183 lines)
Lines 38-48 Link Here
38
include/gecode/gist/visualnode.hh
38
include/gecode/gist/visualnode.hh
39
include/gecode/gist/visualnode.hpp
39
include/gecode/gist/visualnode.hpp
40
include/gecode/gist/zoomToFitIcon.hpp
40
include/gecode/gist/zoomToFitIcon.hpp
41
include/gecode/graph.hh
42
include/gecode/graph/circuit.hh
43
include/gecode/graph/circuit/base.hpp
44
include/gecode/graph/circuit/dom.hpp
45
include/gecode/graph/circuit/val.hpp
46
include/gecode/int.hh
41
include/gecode/int.hh
47
include/gecode/int/arithmetic.hh
42
include/gecode/int/arithmetic.hh
48
include/gecode/int/arithmetic/abs.hpp
43
include/gecode/int/arithmetic/abs.hpp
Lines 74-90 Link Here
74
include/gecode/int/channel/link-multi.hpp
69
include/gecode/int/channel/link-multi.hpp
75
include/gecode/int/channel/link-single.hpp
70
include/gecode/int/channel/link-single.hpp
76
include/gecode/int/channel/val.hpp
71
include/gecode/int/channel/val.hpp
72
include/gecode/int/circuit.hh
73
include/gecode/int/circuit/base.hpp
74
include/gecode/int/circuit/dom.hpp
75
include/gecode/int/circuit/val.hpp
77
include/gecode/int/count.hh
76
include/gecode/int/count.hh
78
include/gecode/int/count/int.hpp
77
include/gecode/int/count/int-base.hpp
78
include/gecode/int/count/int-eq.hpp
79
include/gecode/int/count/int-gq.hpp
80
include/gecode/int/count/int-lq.hpp
79
include/gecode/int/count/rel.hpp
81
include/gecode/int/count/rel.hpp
80
include/gecode/int/count/view.hpp
82
include/gecode/int/count/view-base.hpp
83
include/gecode/int/count/view-eq.hpp
84
include/gecode/int/count/view-gq.hpp
85
include/gecode/int/count/view-lq.hpp
86
include/gecode/int/cumulatives.hh
87
include/gecode/int/cumulative/basic.hpp
88
include/gecode/int/cumulative/edge-finding.hpp
89
include/gecode/int/cumulative/man-prop.hpp
90
include/gecode/int/cumulative/opt-prop.hpp
91
include/gecode/int/cumulative/overload.hpp
92
include/gecode/int/cumulative/task-view.hpp
93
include/gecode/int/cumulative/task.hpp
94
include/gecode/int/cumulative/tree.hpp
95
include/gecode/int/cumulative.hh
96
include/gecode/int/cumulatives/val.hpp
81
include/gecode/int/distinct.hh
97
include/gecode/int/distinct.hh
82
include/gecode/int/distinct/bilink.hpp
83
include/gecode/int/distinct/bnd.hpp
98
include/gecode/int/distinct/bnd.hpp
84
include/gecode/int/distinct/combptr.hpp
99
include/gecode/int/distinct/dom-ctrl.hpp
85
include/gecode/int/distinct/dom.hpp
100
include/gecode/int/distinct/dom.hpp
86
include/gecode/int/distinct/edge.hpp
101
include/gecode/int/distinct/graph.hpp
87
include/gecode/int/distinct/node.hpp
88
include/gecode/int/distinct/ter-dom.hpp
102
include/gecode/int/distinct/ter-dom.hpp
89
include/gecode/int/distinct/val.hpp
103
include/gecode/int/distinct/val.hpp
90
include/gecode/int/dom.hh
104
include/gecode/int/dom.hh
Lines 125-130 Link Here
125
include/gecode/int/linear/int-noview.hpp
139
include/gecode/int/linear/int-noview.hpp
126
include/gecode/int/linear/int-ter.hpp
140
include/gecode/int/linear/int-ter.hpp
127
include/gecode/int/linear/post.hpp
141
include/gecode/int/linear/post.hpp
142
include/gecode/int/member.hh
143
include/gecode/int/member/prop.hpp
144
include/gecode/int/member/re-prop.hpp
145
include/gecode/int/no-overlap.hh
146
include/gecode/int/no-overlap/base.hpp
147
include/gecode/int/no-overlap/box.hpp
148
include/gecode/int/no-overlap/dim.hpp
149
include/gecode/int/no-overlap/man.hpp
150
include/gecode/int/no-overlap/opt.hpp
151
include/gecode/int/nvalues.hh
152
include/gecode/int/nvalues/bool-base.hpp
153
include/gecode/int/nvalues/bool-eq.hpp
154
include/gecode/int/nvalues/bool-gq.hpp
155
include/gecode/int/nvalues/bool-lq.hpp
156
include/gecode/int/nvalues/graph.hpp
157
include/gecode/int/nvalues/int-base.hpp
158
include/gecode/int/nvalues/int-eq.hpp
159
include/gecode/int/nvalues/int-gq.hpp
160
include/gecode/int/nvalues/int-lq.hpp
161
include/gecode/int/nvalues/range-event.hpp
162
include/gecode/int/nvalues/sym-bit-matrix.hpp
163
include/gecode/int/precede.hh
164
include/gecode/int/precede/single.hpp
128
include/gecode/int/propagator.hpp
165
include/gecode/int/propagator.hpp
129
include/gecode/int/rel.hh
166
include/gecode/int/rel.hh
130
include/gecode/int/rel/eq.hpp
167
include/gecode/int/rel/eq.hpp
Lines 144-159 Link Here
144
include/gecode/int/sorted/sortsup.hpp
181
include/gecode/int/sorted/sortsup.hpp
145
include/gecode/int/support-values.hh
182
include/gecode/int/support-values.hh
146
include/gecode/int/support-values.hpp
183
include/gecode/int/support-values.hpp
184
include/gecode/int/task.hh
185
include/gecode/int/task/array.hpp
186
include/gecode/int/task/fwd-to-bwd.hpp
187
include/gecode/int/task/iter.hpp
188
include/gecode/int/task/man-to-opt.hpp
189
include/gecode/int/task/prop.hpp
190
include/gecode/int/task/purge.hpp
191
include/gecode/int/task/sort.hpp
192
include/gecode/int/task/tree.hpp
193
include/gecode/int/unary.hh
194
include/gecode/int/unary/detectable.hpp
195
include/gecode/int/unary/edge-finding.hpp
196
include/gecode/int/unary/man-prop.hpp
197
include/gecode/int/unary/not-first-not-last.hpp
198
include/gecode/int/unary/opt-prop.hpp
199
include/gecode/int/unary/overload.hpp
200
include/gecode/int/unary/subsumption.hpp
201
include/gecode/int/unary/task-view.hpp
202
include/gecode/int/unary/task.hpp
203
include/gecode/int/unary/tree.hpp
204
include/gecode/int/val-set.hh
205
include/gecode/int/val-set.hpp
206
include/gecode/int/var/bool.hpp
207
include/gecode/int/var/int.hpp
208
include/gecode/int/var/print.hpp
147
include/gecode/int/var-imp.hpp
209
include/gecode/int/var-imp.hpp
148
include/gecode/int/var-imp/bool.hpp
210
include/gecode/int/var-imp/bool.hpp
149
include/gecode/int/var-imp/delta.hpp
211
include/gecode/int/var-imp/delta.hpp
150
include/gecode/int/var-imp/int.hpp
212
include/gecode/int/var-imp/int.hpp
151
include/gecode/int/var/bool.hpp
152
include/gecode/int/var/int.hpp
153
include/gecode/int/var/print.hpp
154
include/gecode/int/view.hpp
155
include/gecode/int/view/bool-test.hpp
213
include/gecode/int/view/bool-test.hpp
156
include/gecode/int/view/bool.hpp
214
include/gecode/int/view/bool.hpp
215
include/gecode/int/view/cached.hpp
157
include/gecode/int/view/constint.hpp
216
include/gecode/int/view/constint.hpp
158
include/gecode/int/view/int.hpp
217
include/gecode/int/view/int.hpp
159
include/gecode/int/view/iter.hpp
218
include/gecode/int/view/iter.hpp
Lines 164-169 Link Here
164
include/gecode/int/view/rel-test.hpp
223
include/gecode/int/view/rel-test.hpp
165
include/gecode/int/view/scale.hpp
224
include/gecode/int/view/scale.hpp
166
include/gecode/int/view/zero.hpp
225
include/gecode/int/view/zero.hpp
226
include/gecode/int/view-val-graph/bi-link.hpp
227
include/gecode/int/view-val-graph/comb-ptr-flag.hpp
228
include/gecode/int/view-val-graph/edge.hpp
229
include/gecode/int/view-val-graph/graph.hpp
230
include/gecode/int/view-val-graph/iter-prune-val.hpp
231
include/gecode/int/view-val-graph/node.hpp
232
include/gecode/int/view-val-graph.hh
233
include/gecode/int/view.hpp
167
include/gecode/iter.hh
234
include/gecode/iter.hh
168
include/gecode/iter/ranges-add.hpp
235
include/gecode/iter/ranges-add.hpp
169
include/gecode/iter/ranges-append.hpp
236
include/gecode/iter/ranges-append.hpp
Lines 181-186 Link Here
181
include/gecode/iter/ranges-offset.hpp
248
include/gecode/iter/ranges-offset.hpp
182
include/gecode/iter/ranges-operations.hpp
249
include/gecode/iter/ranges-operations.hpp
183
include/gecode/iter/ranges-positive.hpp
250
include/gecode/iter/ranges-positive.hpp
251
include/gecode/iter/ranges-rangelist.hpp
184
include/gecode/iter/ranges-scale.hpp
252
include/gecode/iter/ranges-scale.hpp
185
include/gecode/iter/ranges-singleton-append.hpp
253
include/gecode/iter/ranges-singleton-append.hpp
186
include/gecode/iter/ranges-singleton.hpp
254
include/gecode/iter/ranges-singleton.hpp
Lines 203-208 Link Here
203
include/gecode/kernel.hh
271
include/gecode/kernel.hh
204
include/gecode/kernel/advisor.hpp
272
include/gecode/kernel/advisor.hpp
205
include/gecode/kernel/allocators.hpp
273
include/gecode/kernel/allocators.hpp
274
include/gecode/kernel/archive.hpp
206
include/gecode/kernel/array.hpp
275
include/gecode/kernel/array.hpp
207
include/gecode/kernel/branch.hpp
276
include/gecode/kernel/branch.hpp
208
include/gecode/kernel/brancher-tiebreak.hpp
277
include/gecode/kernel/brancher-tiebreak.hpp
Lines 217-222 Link Here
217
include/gecode/kernel/memory-manager.hpp
286
include/gecode/kernel/memory-manager.hpp
218
include/gecode/kernel/modevent.hpp
287
include/gecode/kernel/modevent.hpp
219
include/gecode/kernel/propagator.hpp
288
include/gecode/kernel/propagator.hpp
289
include/gecode/kernel/range-list.hpp
220
include/gecode/kernel/region.hpp
290
include/gecode/kernel/region.hpp
221
include/gecode/kernel/shared-array.hpp
291
include/gecode/kernel/shared-array.hpp
222
include/gecode/kernel/var-imp.hpp
292
include/gecode/kernel/var-imp.hpp
Lines 234-271 Link Here
234
include/gecode/minimodel/reg.hpp
304
include/gecode/minimodel/reg.hpp
235
include/gecode/minimodel/set-expr.hpp
305
include/gecode/minimodel/set-expr.hpp
236
include/gecode/minimodel/set-rel.hpp
306
include/gecode/minimodel/set-rel.hpp
237
include/gecode/scheduling.hh
238
include/gecode/scheduling/cumulative.hh
239
include/gecode/scheduling/cumulative/basic.hpp
240
include/gecode/scheduling/cumulative/edge-finding.hpp
241
include/gecode/scheduling/cumulative/man-prop.hpp
242
include/gecode/scheduling/cumulative/opt-prop.hpp
243
include/gecode/scheduling/cumulative/overload.hpp
244
include/gecode/scheduling/cumulative/task-view.hpp
245
include/gecode/scheduling/cumulative/task.hpp
246
include/gecode/scheduling/cumulative/tree.hpp
247
include/gecode/scheduling/cumulatives.hh
248
include/gecode/scheduling/cumulatives/val.hpp
249
include/gecode/scheduling/task.hh
250
include/gecode/scheduling/task/array.hpp
251
include/gecode/scheduling/task/fwd-to-bwd.hpp
252
include/gecode/scheduling/task/iter.hpp
253
include/gecode/scheduling/task/man-to-opt.hpp
254
include/gecode/scheduling/task/prop.hpp
255
include/gecode/scheduling/task/purge.hpp
256
include/gecode/scheduling/task/sort.hpp
257
include/gecode/scheduling/task/tree.hpp
258
include/gecode/scheduling/unary.hh
259
include/gecode/scheduling/unary/detectable.hpp
260
include/gecode/scheduling/unary/edge-finding.hpp
261
include/gecode/scheduling/unary/man-prop.hpp
262
include/gecode/scheduling/unary/not-first-not-last.hpp
263
include/gecode/scheduling/unary/opt-prop.hpp
264
include/gecode/scheduling/unary/overload.hpp
265
include/gecode/scheduling/unary/subsumption.hpp
266
include/gecode/scheduling/unary/task-view.hpp
267
include/gecode/scheduling/unary/task.hpp
268
include/gecode/scheduling/unary/tree.hpp
269
include/gecode/search.hh
307
include/gecode/search.hh
270
include/gecode/search/bab.hpp
308
include/gecode/search/bab.hpp
271
include/gecode/search/dfs.hpp
309
include/gecode/search/dfs.hpp
Lines 310-343 Link Here
310
include/gecode/set/int/minmax.hpp
348
include/gecode/set/int/minmax.hpp
311
include/gecode/set/int/weights.hpp
349
include/gecode/set/int/weights.hpp
312
include/gecode/set/limits.hpp
350
include/gecode/set/limits.hpp
313
include/gecode/set/rel-op.hh
351
include/gecode/set/precede.hh
314
include/gecode/set/rel-op/common.hpp
352
include/gecode/set/precede/single.hpp
315
include/gecode/set/rel-op/inter.hpp
316
include/gecode/set/rel-op/partition.hpp
317
include/gecode/set/rel-op/post.hpp
318
include/gecode/set/rel-op/subofunion.hpp
319
include/gecode/set/rel-op/superofinter.hpp
320
include/gecode/set/rel-op/union.hpp
321
include/gecode/set/rel.hh
353
include/gecode/set/rel.hh
322
include/gecode/set/rel/common.hpp
354
include/gecode/set/rel/common.hpp
323
include/gecode/set/rel/eq.hpp
355
include/gecode/set/rel/eq.hpp
356
include/gecode/set/rel/lq.hpp
324
include/gecode/set/rel/nosubset.hpp
357
include/gecode/set/rel/nosubset.hpp
325
include/gecode/set/rel/nq.hpp
358
include/gecode/set/rel/nq.hpp
326
include/gecode/set/rel/re-eq.hpp
359
include/gecode/set/rel/re-eq.hpp
360
include/gecode/set/rel/re-lq.hpp
327
include/gecode/set/rel/re-subset.hpp
361
include/gecode/set/rel/re-subset.hpp
328
include/gecode/set/rel/subset.hpp
362
include/gecode/set/rel/subset.hpp
363
include/gecode/set/rel-op.hh
364
include/gecode/set/rel-op/common.hpp
365
include/gecode/set/rel-op/inter.hpp
366
include/gecode/set/rel-op/partition.hpp
367
include/gecode/set/rel-op/post.hpp
368
include/gecode/set/rel-op/subofunion.hpp
369
include/gecode/set/rel-op/superofinter.hpp
370
include/gecode/set/rel-op/union.hpp
329
include/gecode/set/sequence.hh
371
include/gecode/set/sequence.hh
330
include/gecode/set/sequence/common.hpp
372
include/gecode/set/sequence/common.hpp
331
include/gecode/set/sequence/seq-u.hpp
373
include/gecode/set/sequence/seq-u.hpp
332
include/gecode/set/sequence/seq.hpp
374
include/gecode/set/sequence/seq.hpp
375
include/gecode/set/var/print.hpp
376
include/gecode/set/var/set.hpp
333
include/gecode/set/var-imp.hpp
377
include/gecode/set/var-imp.hpp
334
include/gecode/set/var-imp/delta.hpp
378
include/gecode/set/var-imp/delta.hpp
335
include/gecode/set/var-imp/integerset.hpp
379
include/gecode/set/var-imp/integerset.hpp
336
include/gecode/set/var-imp/iter.hpp
380
include/gecode/set/var-imp/iter.hpp
337
include/gecode/set/var-imp/set.hpp
381
include/gecode/set/var-imp/set.hpp
338
include/gecode/set/var/print.hpp
339
include/gecode/set/var/set.hpp
340
include/gecode/set/view.hpp
382
include/gecode/set/view.hpp
383
include/gecode/set/view/cached.hpp
341
include/gecode/set/view/complement.hpp
384
include/gecode/set/view/complement.hpp
342
include/gecode/set/view/const.hpp
385
include/gecode/set/view/const.hpp
343
include/gecode/set/view/print.hpp
386
include/gecode/set/view/print.hpp
Lines 368-405 Link Here
368
include/gecode/support/thread/windows.hpp
411
include/gecode/support/thread/windows.hpp
369
include/gecode/support/timer.hpp
412
include/gecode/support/timer.hpp
370
lib/libgecodedriver.so
413
lib/libgecodedriver.so
371
lib/libgecodedriver.so.27
414
lib/libgecodedriver.so.31
372
lib/libgecodedriver.so.27.0
415
lib/libgecodedriver.so.31.0
373
lib/libgecodeflatzinc.so
416
lib/libgecodeflatzinc.so
374
lib/libgecodeflatzinc.so.27
417
lib/libgecodeflatzinc.so.31
375
lib/libgecodeflatzinc.so.27.0
418
lib/libgecodeflatzinc.so.31.0
376
%%GIST%%lib/libgecodegist.so.27.0
377
%%GIST%%lib/libgecodegist.so.27
378
%%GIST%%lib/libgecodegist.so
419
%%GIST%%lib/libgecodegist.so
379
lib/libgecodegraph.so
420
%%GIST%%lib/libgecodegist.so.31
380
lib/libgecodegraph.so.27
421
%%GIST%%lib/libgecodegist.so.31.0
381
lib/libgecodegraph.so.27.0
382
lib/libgecodeint.so
422
lib/libgecodeint.so
383
lib/libgecodeint.so.27
423
lib/libgecodeint.so.31
384
lib/libgecodeint.so.27.0
424
lib/libgecodeint.so.31.0
385
lib/libgecodekernel.so
425
lib/libgecodekernel.so
386
lib/libgecodekernel.so.27
426
lib/libgecodekernel.so.31
387
lib/libgecodekernel.so.27.0
427
lib/libgecodekernel.so.31.0
388
lib/libgecodeminimodel.so
428
lib/libgecodeminimodel.so
389
lib/libgecodeminimodel.so.27
429
lib/libgecodeminimodel.so.31
390
lib/libgecodeminimodel.so.27.0
430
lib/libgecodeminimodel.so.31.0
391
lib/libgecodescheduling.so
392
lib/libgecodescheduling.so.27
393
lib/libgecodescheduling.so.27.0
394
lib/libgecodesearch.so
431
lib/libgecodesearch.so
395
lib/libgecodesearch.so.27
432
lib/libgecodesearch.so.31
396
lib/libgecodesearch.so.27.0
433
lib/libgecodesearch.so.31.0
397
lib/libgecodeset.so
434
lib/libgecodeset.so
398
lib/libgecodeset.so.27
435
lib/libgecodeset.so.31
399
lib/libgecodeset.so.27.0
436
lib/libgecodeset.so.31.0
400
lib/libgecodesupport.so
437
lib/libgecodesupport.so
401
lib/libgecodesupport.so.27
438
lib/libgecodesupport.so.31
402
lib/libgecodesupport.so.27.0
439
lib/libgecodesupport.so.31.0
403
%%DATADIR%%/mznlib/all_different_int.mzn
440
%%DATADIR%%/mznlib/all_different_int.mzn
404
%%DATADIR%%/mznlib/all_equal_int.mzn
441
%%DATADIR%%/mznlib/all_equal_int.mzn
405
%%DATADIR%%/mznlib/among.mzn
442
%%DATADIR%%/mznlib/among.mzn
Lines 412-418 Link Here
412
%%DATADIR%%/mznlib/bin_packing_load.mzn
449
%%DATADIR%%/mznlib/bin_packing_load.mzn
413
%%DATADIR%%/mznlib/count.mzn
450
%%DATADIR%%/mznlib/count.mzn
414
%%DATADIR%%/mznlib/cumulative.mzn
451
%%DATADIR%%/mznlib/cumulative.mzn
452
%%DATADIR%%/mznlib/decreasing_bool.mzn
415
%%DATADIR%%/mznlib/decreasing_int.mzn
453
%%DATADIR%%/mznlib/decreasing_int.mzn
454
%%DATADIR%%/mznlib/diffn.mzn
416
%%DATADIR%%/mznlib/disjoint.mzn
455
%%DATADIR%%/mznlib/disjoint.mzn
417
%%DATADIR%%/mznlib/distribute.mzn
456
%%DATADIR%%/mznlib/distribute.mzn
418
%%DATADIR%%/mznlib/exactly_int.mzn
457
%%DATADIR%%/mznlib/exactly_int.mzn
Lines 421-492 Link Here
421
%%DATADIR%%/mznlib/global_cardinality.mzn
460
%%DATADIR%%/mznlib/global_cardinality.mzn
422
%%DATADIR%%/mznlib/global_cardinality_closed.mzn
461
%%DATADIR%%/mznlib/global_cardinality_closed.mzn
423
%%DATADIR%%/mznlib/global_cardinality_low_up.mzn
462
%%DATADIR%%/mznlib/global_cardinality_low_up.mzn
463
%%DATADIR%%/mznlib/global_cardinality_low_up_closed.mzn
424
%%DATADIR%%/mznlib/increasing_bool.mzn
464
%%DATADIR%%/mznlib/increasing_bool.mzn
425
%%DATADIR%%/mznlib/increasing_int.mzn
465
%%DATADIR%%/mznlib/increasing_int.mzn
466
%%DATADIR%%/mznlib/int_set_channel.mzn
426
%%DATADIR%%/mznlib/inverse.mzn
467
%%DATADIR%%/mznlib/inverse.mzn
427
%%DATADIR%%/mznlib/lex_less_int.mzn
468
%%DATADIR%%/mznlib/lex_less_int.mzn
428
%%DATADIR%%/mznlib/lex_lesseq_int.mzn
469
%%DATADIR%%/mznlib/lex_lesseq_int.mzn
470
%%DATADIR%%/mznlib/link_set_to_booleans.mzn
429
%%DATADIR%%/mznlib/maximum_int.mzn
471
%%DATADIR%%/mznlib/maximum_int.mzn
472
%%DATADIR%%/mznlib/member_bool.mzn
473
%%DATADIR%%/mznlib/member_int.mzn
430
%%DATADIR%%/mznlib/minimum_int.mzn
474
%%DATADIR%%/mznlib/minimum_int.mzn
431
%%DATADIR%%/mznlib/nvalue.mzn
475
%%DATADIR%%/mznlib/nvalue.mzn
432
%%DATADIR%%/mznlib/partition_set.mzn
476
%%DATADIR%%/mznlib/partition_set.mzn
477
%%DATADIR%%/mznlib/precedence.mzn
478
%%DATADIR%%/mznlib/range.mzn
433
%%DATADIR%%/mznlib/redefinitions.mzn
479
%%DATADIR%%/mznlib/redefinitions.mzn
434
%%DATADIR%%/mznlib/regular.mzn
480
%%DATADIR%%/mznlib/regular.mzn
481
%%DATADIR%%/mznlib/roots.mzn
435
%%DATADIR%%/mznlib/sort.mzn
482
%%DATADIR%%/mznlib/sort.mzn
436
%%DATADIR%%/mznlib/sum_pred.mzn
483
%%DATADIR%%/mznlib/sum_pred.mzn
437
%%DATADIR%%/mznlib/table_bool.mzn
484
%%DATADIR%%/mznlib/table_bool.mzn
438
%%DATADIR%%/mznlib/table_int.mzn
485
%%DATADIR%%/mznlib/table_int.mzn
439
@dirrm include/examples
486
@dirrm %%DATADIR%%/mznlib
440
@dirrm include/gecode/driver
487
@dirrm %%DATADIR%%
441
@dirrm include/gecode/flatzinc
442
@dirrm include/gecode/gist
443
@dirrm include/gecode/graph/circuit
444
@dirrm include/gecode/graph
445
@dirrm include/gecode/int/arithmetic
446
@dirrm include/gecode/int/bin-packing
447
@dirrm include/gecode/int/bool
448
@dirrm include/gecode/int/branch
449
@dirrm include/gecode/int/channel
450
@dirrm include/gecode/int/count
451
@dirrm include/gecode/int/distinct
452
@dirrm include/gecode/int/dom
453
@dirrm include/gecode/int/element
454
@dirrm include/gecode/int/exec
455
@dirrm include/gecode/int/extensional
456
@dirrm include/gecode/int/gcc
457
@dirrm include/gecode/int/linear
458
@dirrm include/gecode/int/rel
459
@dirrm include/gecode/int/sequence
460
@dirrm include/gecode/int/sorted
461
@dirrm include/gecode/int/var
462
@dirrm include/gecode/int/var-imp
463
@dirrm include/gecode/int/view
464
@dirrm include/gecode/int
465
@dirrm include/gecode/iter
466
@dirrm include/gecode/kernel
467
@dirrm include/gecode/minimodel
468
@dirrm include/gecode/scheduling/cumulative
469
@dirrm include/gecode/scheduling/cumulatives
470
@dirrm include/gecode/scheduling/task
471
@dirrm include/gecode/scheduling/unary
472
@dirrm include/gecode/scheduling
473
@dirrm include/gecode/search/parallel
474
@dirrm include/gecode/search/sequential
475
@dirrm include/gecode/search
476
@dirrm include/gecode/set/branch
477
@dirrm include/gecode/set/convex
478
@dirrm include/gecode/set/distinct
479
@dirrm include/gecode/set/element
480
@dirrm include/gecode/set/int
481
@dirrm include/gecode/set/rel
482
@dirrm include/gecode/set/rel-op
483
@dirrm include/gecode/set/sequence
484
@dirrm include/gecode/set/var
485
@dirrm include/gecode/set/var-imp
486
@dirrm include/gecode/set/view
487
@dirrm include/gecode/set
488
@dirrm include/gecode/support/thread
488
@dirrm include/gecode/support/thread
489
@dirrm include/gecode/support
489
@dirrm include/gecode/support
490
@dirrm include/gecode/set/view
491
@dirrm include/gecode/set/var-imp
492
@dirrm include/gecode/set/var
493
@dirrm include/gecode/set/sequence
494
@dirrm include/gecode/set/rel-op
495
@dirrm include/gecode/set/rel
496
@dirrm include/gecode/set/precede
497
@dirrm include/gecode/set/int
498
@dirrm include/gecode/set/element
499
@dirrm include/gecode/set/distinct
500
@dirrm include/gecode/set/convex
501
@dirrm include/gecode/set/branch
502
@dirrm include/gecode/set
503
@dirrm include/gecode/search/sequential
504
@dirrm include/gecode/search/parallel
505
@dirrm include/gecode/search
506
@dirrm include/gecode/minimodel
507
@dirrm include/gecode/kernel
508
@dirrm include/gecode/iter
509
@dirrm include/gecode/int/view-val-graph
510
@dirrm include/gecode/int/view
511
@dirrm include/gecode/int/var-imp
512
@dirrm include/gecode/int/var
513
@dirrm include/gecode/int/unary
514
@dirrm include/gecode/int/task
515
@dirrm include/gecode/int/sorted
516
@dirrm include/gecode/int/sequence
517
@dirrm include/gecode/int/rel
518
@dirrm include/gecode/int/precede
519
@dirrm include/gecode/int/nvalues
520
@dirrm include/gecode/int/no-overlap
521
@dirrm include/gecode/int/member
522
@dirrm include/gecode/int/linear
523
@dirrm include/gecode/int/gcc
524
@dirrm include/gecode/int/extensional
525
@dirrm include/gecode/int/exec
526
@dirrm include/gecode/int/element
527
@dirrm include/gecode/int/dom
528
@dirrm include/gecode/int/distinct
529
@dirrm include/gecode/int/cumulatives
530
@dirrm include/gecode/int/cumulative
531
@dirrm include/gecode/int/count
532
@dirrm include/gecode/int/circuit
533
@dirrm include/gecode/int/channel
534
@dirrm include/gecode/int/branch
535
@dirrm include/gecode/int/bool
536
@dirrm include/gecode/int/bin-packing
537
@dirrm include/gecode/int/arithmetic
538
@dirrm include/gecode/int
539
@dirrm include/gecode/gist
540
@dirrm include/gecode/flatzinc
541
@dirrm include/gecode/driver
490
@dirrm include/gecode
542
@dirrm include/gecode
491
@dirrm %%DATADIR%%/mznlib
543
@dirrm include/examples
492
@dirrm %%DATADIR%%

Return to bug 166023