View | Details | Raw Unified | Return to bug 186739 | Differences between
and this patch

Collapse All | Expand All

(-)devel/gecode/Makefile (-12 / +24 lines)
Lines 2-8 Link Here
2
# $FreeBSD: head/devel/gecode/Makefile 345033 2014-02-19 09:00:59Z miwi $
2
# $FreeBSD: head/devel/gecode/Makefile 345033 2014-02-19 09:00:59Z miwi $
3
3
4
PORTNAME=	gecode
4
PORTNAME=	gecode
5
PORTVERSION=	3.7.3
5
PORTVERSION=	4.2.1
6
CATEGORIES=	devel
6
CATEGORIES=	devel
7
MASTER_SITES=	http://www.gecode.org/download/
7
MASTER_SITES=	http://www.gecode.org/download/
8
8
Lines 11-21 Link Here
11
11
12
LICENSE=	MIT
12
LICENSE=	MIT
13
13
14
OPTIONS_DEFINE=	GIST
14
LIB_DEPENDS=	libboost_thread.so:${PORTSDIR}/devel/boost-libs \
15
GIST_DESC=	Interactive Search Tool (requires Qt)
15
		libmpfr.so:${PORTSDIR}/math/mpfr
16
16
17
USES=		bison gmake perl5
17
USE_PERL5=	build
18
USE_PERL5=	build
18
USES=		bison perl5 gmake
19
GNU_CONFIGURE=	yes
19
GNU_CONFIGURE=	yes
20
CONFIGURE_ARGS=	--disable-static \
20
CONFIGURE_ARGS=	--disable-static \
21
		--enable-shared \
21
		--enable-shared \
Lines 28-46 Link Here
28
		--enable-sheduling \
28
		--enable-sheduling \
29
		--disable-examples \
29
		--disable-examples \
30
		--enable-minimodel \
30
		--enable-minimodel \
31
		--enable-search
31
		--enable-search \
32
		--with-gmp-include=${LOCALBASE}/include \
33
		--with-gmp-lib=${LOCALBASE}/lib \
34
		--with-mpfr-include=${LOCALBASE}/include \
35
		--with-mpfr-lib=${LOCALBASE}/lib
32
USE_LDCONFIG=	yes
36
USE_LDCONFIG=	yes
33
MAKE_JOBS_UNSAFE=yes
37
MAKE_JOBS_UNSAFE=yes
34
38
39
CFLAGS+=	-I${LOCALBASE}/include/boost
40
41
OPTIONS_DEFINE=		GIST
42
OPTIONS_SUB=		yes
43
44
GIST_DESC=		Interactive Search Tool (requires Qt)
45
GIST_USE=		QT4=corelib,gui,moc_build,qmake_build
46
GIST_CONFIGURE_ON=	--enable-gist --enable-qt
47
GIST_CONFIGURE_OFF=	--disable-gist --disable-qt
48
35
.include <bsd.port.options.mk>
49
.include <bsd.port.options.mk>
36
50
37
.if ${PORT_OPTIONS:MGIST}
51
.if ${ARCH} == "amd64"
38
USE_QT4=	corelib gui moc_build qmake_build
52
CFLAGS+=	-D__USE_ISOC99
39
CONFIGURE_ARGS+=--enable-gist --enable-qt
40
PLIST_SUB+=	GIST=""
41
.else
42
CONFIGURE_ARGS+=--disable-gist --disable-qt
43
PLIST_SUB+=	GIST="@comment "
44
.endif
53
.endif
45
54
46
post-patch:
55
post-patch:
Lines 52-55 Link Here
52
		 /gcc_optimize_flag/s|-O3|| ; \
61
		 /gcc_optimize_flag/s|-O3|| ; \
53
		 /="-ggdb/s|^|#|' ${WRKSRC}/configure
62
		 /="-ggdb/s|^|#|' ${WRKSRC}/configure
54
63
64
post-install:
65
	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/fzn-gecode
66
55
.include <bsd.port.mk>
67
.include <bsd.port.mk>
(-)devel/gecode/distinfo (-2 / +2 lines)
Lines 1-2 Link Here
1
SHA256 (gecode-3.7.3.tar.gz) = e7cc8bcc18b49195fef0544061bdd2e484a1240923e4e85fa39e8d6bb492854c
1
SHA256 (gecode-4.2.1.tar.gz) = 65744cb6b90f8b95c0f69eaa133df8f201e5890834cad4eb79788c2c8f93e6e3
2
SIZE (gecode-3.7.3.tar.gz) = 1643336
2
SIZE (gecode-4.2.1.tar.gz) = 1898037
(-)devel/gecode/files/patch-Makefile.in (+24 lines)
Line 0 Link Here
1
--- Makefile.in.orig
2
+++ Makefile.in
3
@@ -812,8 +812,8 @@
4
 #
5
 
6
 
7
-INTEXAMPLEHDR0 =						\
8
-	scowl
9
+# INTEXAMPLEHDR0 =						\
10
+# 	scowl
11
 INTEXAMPLESRC0 =						\
12
 	alpha bacp bibd donald efpa eq20 golomb-ruler		\
13
 	graph-color grocery ind-set magic-sequence magic-square	\
14
@@ -939,8 +939,8 @@
15
 	numeric/interval.hpp \
16
 	LICENSE_1_0.txt \
17
 	limits.hpp non_type.hpp type.hpp
18
-THIRDHDR = \
19
-	$(BOOSTHDR:%=gecode/third-party/boost/%)
20
+# THIRDHDR = \
21
+# 	$(BOOSTHDR:%=gecode/third-party/boost/%)
22
 
23
 #
24
 # COLLECTING ALL
(-)devel/gecode/pkg-plist (-69 / +179 lines)
Lines 1-6 Link Here
1
bin/fzn-gecode
1
bin/mzn-gecode
2
bin/mzn-gecode
2
bin/fz
3
include/examples/scowl.hpp
4
include/gecode/driver.hh
3
include/gecode/driver.hh
5
include/gecode/driver/options.hpp
4
include/gecode/driver/options.hpp
6
include/gecode/driver/script.hpp
5
include/gecode/driver/script.hpp
Lines 13-18 Link Here
13
include/gecode/flatzinc/registry.hh
12
include/gecode/flatzinc/registry.hh
14
include/gecode/flatzinc/symboltable.hh
13
include/gecode/flatzinc/symboltable.hh
15
include/gecode/flatzinc/varspec.hh
14
include/gecode/flatzinc/varspec.hh
15
include/gecode/float.hh
16
include/gecode/float/arithmetic.hh
17
include/gecode/float/arithmetic/div.hpp
18
include/gecode/float/arithmetic/min-max-channel.hpp
19
include/gecode/float/arithmetic/mult.hpp
20
include/gecode/float/arithmetic/pow-nroot.hpp
21
include/gecode/float/arithmetic/sqr-sqrt-abs.hpp
22
include/gecode/float/array-traits.hpp
23
include/gecode/float/array.hpp
24
include/gecode/float/branch.hh
25
include/gecode/float/branch/activity.hpp
26
include/gecode/float/branch/afc.hpp
27
include/gecode/float/branch/assign.hpp
28
include/gecode/float/branch/merit.hpp
29
include/gecode/float/branch/traits.hpp
30
include/gecode/float/branch/val-commit.hpp
31
include/gecode/float/branch/val-sel.hpp
32
include/gecode/float/branch/val.hpp
33
include/gecode/float/branch/var.hpp
34
include/gecode/float/exception.hpp
35
include/gecode/float/limits.hpp
36
include/gecode/float/linear.hh
37
include/gecode/float/linear/nary.hpp
38
include/gecode/float/nextafter.hpp
39
include/gecode/float/num.hpp
40
include/gecode/float/rel.hh
41
include/gecode/float/rel/eq.hpp
42
include/gecode/float/rel/lq-le.hpp
43
include/gecode/float/rel/nq.hpp
44
include/gecode/float/rounding.hpp
45
include/gecode/float/transcendental.hh
46
include/gecode/float/transcendental/exp-log.hpp
47
include/gecode/float/trigonometric.hh
48
include/gecode/float/trigonometric/asinacos.hpp
49
include/gecode/float/trigonometric/sincos.hpp
50
include/gecode/float/trigonometric/tanatan.hpp
51
include/gecode/float/val.hpp
52
include/gecode/float/var-imp.hpp
53
include/gecode/float/var-imp/delta.hpp
54
include/gecode/float/var-imp/float.hpp
55
include/gecode/float/var/float.hpp
56
include/gecode/float/var/print.hpp
57
include/gecode/float/view.hpp
58
include/gecode/float/view/float.hpp
59
include/gecode/float/view/minus.hpp
60
include/gecode/float/view/offset.hpp
61
include/gecode/float/view/print.hpp
62
include/gecode/float/view/rel-test.hpp
63
include/gecode/float/view/scale.hpp
16
include/gecode/gist.hh
64
include/gecode/gist.hh
17
include/gecode/gist/drawingcursor.hh
65
include/gecode/gist/drawingcursor.hh
18
include/gecode/gist/drawingcursor.hpp
66
include/gecode/gist/drawingcursor.hpp
Lines 45-52 Link Here
45
include/gecode/int/arithmetic/divmod.hpp
93
include/gecode/int/arithmetic/divmod.hpp
46
include/gecode/int/arithmetic/max.hpp
94
include/gecode/int/arithmetic/max.hpp
47
include/gecode/int/arithmetic/mult.hpp
95
include/gecode/int/arithmetic/mult.hpp
48
include/gecode/int/arithmetic/sqr.hpp
96
include/gecode/int/arithmetic/nroot.hpp
49
include/gecode/int/arithmetic/sqrt.hpp
97
include/gecode/int/arithmetic/pow-ops.hpp
98
include/gecode/int/arithmetic/pow.hpp
50
include/gecode/int/array-traits.hpp
99
include/gecode/int/array-traits.hpp
51
include/gecode/int/array.hpp
100
include/gecode/int/array.hpp
52
include/gecode/int/bin-packing.hh
101
include/gecode/int/bin-packing.hh
Lines 56-69 Link Here
56
include/gecode/int/bool/clause.hpp
105
include/gecode/int/bool/clause.hpp
57
include/gecode/int/bool/eq.hpp
106
include/gecode/int/bool/eq.hpp
58
include/gecode/int/bool/eqv.hpp
107
include/gecode/int/bool/eqv.hpp
108
include/gecode/int/bool/ite.hpp
59
include/gecode/int/bool/lq.hpp
109
include/gecode/int/bool/lq.hpp
60
include/gecode/int/bool/or.hpp
110
include/gecode/int/bool/or.hpp
61
include/gecode/int/branch.hh
111
include/gecode/int/branch.hh
62
include/gecode/int/branch/post-val-bool.hpp
112
include/gecode/int/branch/activity.hpp
63
include/gecode/int/branch/post-val-int.hpp
113
include/gecode/int/branch/afc.hpp
64
include/gecode/int/branch/select-val.hpp
114
include/gecode/int/branch/assign.hpp
65
include/gecode/int/branch/select-values.hpp
115
include/gecode/int/branch/merit.hpp
66
include/gecode/int/branch/select-view.hpp
116
include/gecode/int/branch/ngl.hpp
117
include/gecode/int/branch/traits.hpp
118
include/gecode/int/branch/val-commit.hpp
119
include/gecode/int/branch/val-sel.hpp
120
include/gecode/int/branch/val.hpp
121
include/gecode/int/branch/var.hpp
122
include/gecode/int/branch/view-values.hpp
67
include/gecode/int/channel.hh
123
include/gecode/int/channel.hh
68
include/gecode/int/channel/base.hpp
124
include/gecode/int/channel/base.hpp
69
include/gecode/int/channel/dom.hpp
125
include/gecode/int/channel/dom.hpp
Lines 84-99 Link Here
84
include/gecode/int/count/view-eq.hpp
140
include/gecode/int/count/view-eq.hpp
85
include/gecode/int/count/view-gq.hpp
141
include/gecode/int/count/view-gq.hpp
86
include/gecode/int/count/view-lq.hpp
142
include/gecode/int/count/view-lq.hpp
87
include/gecode/int/cumulatives.hh
143
include/gecode/int/cumulative.hh
88
include/gecode/int/cumulative/basic.hpp
144
include/gecode/int/cumulative/basic.hpp
89
include/gecode/int/cumulative/edge-finding.hpp
145
include/gecode/int/cumulative/edge-finding.hpp
146
include/gecode/int/cumulative/limits.hpp
90
include/gecode/int/cumulative/man-prop.hpp
147
include/gecode/int/cumulative/man-prop.hpp
91
include/gecode/int/cumulative/opt-prop.hpp
148
include/gecode/int/cumulative/opt-prop.hpp
92
include/gecode/int/cumulative/overload.hpp
149
include/gecode/int/cumulative/overload.hpp
93
include/gecode/int/cumulative/task-view.hpp
150
include/gecode/int/cumulative/task-view.hpp
94
include/gecode/int/cumulative/task.hpp
151
include/gecode/int/cumulative/task.hpp
95
include/gecode/int/cumulative/tree.hpp
152
include/gecode/int/cumulative/tree.hpp
96
include/gecode/int/cumulative.hh
153
include/gecode/int/cumulatives.hh
97
include/gecode/int/cumulatives/val.hpp
154
include/gecode/int/cumulatives/val.hpp
98
include/gecode/int/distinct.hh
155
include/gecode/int/distinct.hh
99
include/gecode/int/distinct/bnd.hpp
156
include/gecode/int/distinct/bnd.hpp
Lines 102-110 Link Here
102
include/gecode/int/distinct/graph.hpp
159
include/gecode/int/distinct/graph.hpp
103
include/gecode/int/distinct/ter-dom.hpp
160
include/gecode/int/distinct/ter-dom.hpp
104
include/gecode/int/distinct/val.hpp
161
include/gecode/int/distinct/val.hpp
162
include/gecode/int/div.hh
163
include/gecode/int/div.hpp
105
include/gecode/int/dom.hh
164
include/gecode/int/dom.hh
106
include/gecode/int/dom/range.hpp
165
include/gecode/int/dom/range.hpp
107
include/gecode/int/dom/spec.hpp
166
include/gecode/int/dom/set.hpp
108
include/gecode/int/element.hh
167
include/gecode/int/element.hh
109
include/gecode/int/element/int.hpp
168
include/gecode/int/element/int.hpp
110
include/gecode/int/element/pair.hpp
169
include/gecode/int/element/pair.hpp
Lines 129-134 Link Here
129
include/gecode/int/gcc/view.hpp
188
include/gecode/int/gcc/view.hpp
130
include/gecode/int/int-set-1.hpp
189
include/gecode/int/int-set-1.hpp
131
include/gecode/int/int-set-2.hpp
190
include/gecode/int/int-set-2.hpp
191
include/gecode/int/ldsb.hh
192
include/gecode/int/ldsb/brancher.hpp
193
include/gecode/int/ldsb/sym-imp.hpp
132
include/gecode/int/limits.hpp
194
include/gecode/int/limits.hpp
133
include/gecode/int/linear.hh
195
include/gecode/int/linear.hh
134
include/gecode/int/linear/bool-int.hpp
196
include/gecode/int/linear/bool-int.hpp
Lines 164-169 Link Here
164
include/gecode/int/precede.hh
226
include/gecode/int/precede.hh
165
include/gecode/int/precede/single.hpp
227
include/gecode/int/precede/single.hpp
166
include/gecode/int/propagator.hpp
228
include/gecode/int/propagator.hpp
229
include/gecode/int/reify.hpp
167
include/gecode/int/rel.hh
230
include/gecode/int/rel.hh
168
include/gecode/int/rel/eq.hpp
231
include/gecode/int/rel/eq.hpp
169
include/gecode/int/rel/lex.hpp
232
include/gecode/int/rel/lex.hpp
Lines 204-216 Link Here
204
include/gecode/int/unary/tree.hpp
267
include/gecode/int/unary/tree.hpp
205
include/gecode/int/val-set.hh
268
include/gecode/int/val-set.hh
206
include/gecode/int/val-set.hpp
269
include/gecode/int/val-set.hpp
207
include/gecode/int/var/bool.hpp
208
include/gecode/int/var/int.hpp
209
include/gecode/int/var/print.hpp
210
include/gecode/int/var-imp.hpp
270
include/gecode/int/var-imp.hpp
211
include/gecode/int/var-imp/bool.hpp
271
include/gecode/int/var-imp/bool.hpp
212
include/gecode/int/var-imp/delta.hpp
272
include/gecode/int/var-imp/delta.hpp
213
include/gecode/int/var-imp/int.hpp
273
include/gecode/int/var-imp/int.hpp
274
include/gecode/int/var/bool.hpp
275
include/gecode/int/var/int.hpp
276
include/gecode/int/var/print.hpp
277
include/gecode/int/view-val-graph.hh
278
include/gecode/int/view-val-graph/bi-link.hpp
279
include/gecode/int/view-val-graph/comb-ptr-flag.hpp
280
include/gecode/int/view-val-graph/edge.hpp
281
include/gecode/int/view-val-graph/graph.hpp
282
include/gecode/int/view-val-graph/iter-prune-val.hpp
283
include/gecode/int/view-val-graph/node.hpp
284
include/gecode/int/view.hpp
214
include/gecode/int/view/bool-test.hpp
285
include/gecode/int/view/bool-test.hpp
215
include/gecode/int/view/bool.hpp
286
include/gecode/int/view/bool.hpp
216
include/gecode/int/view/cached.hpp
287
include/gecode/int/view/cached.hpp
Lines 224-237 Link Here
224
include/gecode/int/view/rel-test.hpp
295
include/gecode/int/view/rel-test.hpp
225
include/gecode/int/view/scale.hpp
296
include/gecode/int/view/scale.hpp
226
include/gecode/int/view/zero.hpp
297
include/gecode/int/view/zero.hpp
227
include/gecode/int/view-val-graph/bi-link.hpp
228
include/gecode/int/view-val-graph/comb-ptr-flag.hpp
229
include/gecode/int/view-val-graph/edge.hpp
230
include/gecode/int/view-val-graph/graph.hpp
231
include/gecode/int/view-val-graph/iter-prune-val.hpp
232
include/gecode/int/view-val-graph/node.hpp
233
include/gecode/int/view-val-graph.hh
234
include/gecode/int/view.hpp
235
include/gecode/iter.hh
298
include/gecode/iter.hh
236
include/gecode/iter/ranges-add.hpp
299
include/gecode/iter/ranges-add.hpp
237
include/gecode/iter/ranges-append.hpp
300
include/gecode/iter/ranges-append.hpp
Lines 258-263 Link Here
258
include/gecode/iter/ranges-values.hpp
321
include/gecode/iter/ranges-values.hpp
259
include/gecode/iter/values-array.hpp
322
include/gecode/iter/values-array.hpp
260
include/gecode/iter/values-bitset.hpp
323
include/gecode/iter/values-bitset.hpp
324
include/gecode/iter/values-bitsetoffset.hpp
261
include/gecode/iter/values-inter.hpp
325
include/gecode/iter/values-inter.hpp
262
include/gecode/iter/values-list.hpp
326
include/gecode/iter/values-list.hpp
263
include/gecode/iter/values-map.hpp
327
include/gecode/iter/values-map.hpp
Lines 270-287 Link Here
270
include/gecode/iter/values-union.hpp
334
include/gecode/iter/values-union.hpp
271
include/gecode/iter/values-unique.hpp
335
include/gecode/iter/values-unique.hpp
272
include/gecode/kernel.hh
336
include/gecode/kernel.hh
337
include/gecode/kernel/activity.hpp
273
include/gecode/kernel/advisor.hpp
338
include/gecode/kernel/advisor.hpp
339
include/gecode/kernel/afc.hpp
274
include/gecode/kernel/allocators.hpp
340
include/gecode/kernel/allocators.hpp
275
include/gecode/kernel/archive.hpp
341
include/gecode/kernel/archive.hpp
276
include/gecode/kernel/array.hpp
342
include/gecode/kernel/array.hpp
277
include/gecode/kernel/branch.hpp
343
include/gecode/kernel/branch-tiebreak.hpp
278
include/gecode/kernel/brancher-tiebreak.hpp
344
include/gecode/kernel/branch-traits.hpp
279
include/gecode/kernel/brancher-val.hpp
345
include/gecode/kernel/branch-val.hpp
346
include/gecode/kernel/branch-var.hpp
347
include/gecode/kernel/brancher-merit.hpp
348
include/gecode/kernel/brancher-val-commit.hpp
349
include/gecode/kernel/brancher-val-sel-commit.hpp
350
include/gecode/kernel/brancher-val-sel.hpp
351
include/gecode/kernel/brancher-view-sel.hpp
352
include/gecode/kernel/brancher-view-val.hpp
280
include/gecode/kernel/brancher-view.hpp
353
include/gecode/kernel/brancher-view.hpp
281
include/gecode/kernel/brancher.hpp
282
include/gecode/kernel/core.hpp
354
include/gecode/kernel/core.hpp
283
include/gecode/kernel/exception.hpp
355
include/gecode/kernel/exception.hpp
284
include/gecode/kernel/global-prop-info.hpp
356
include/gecode/kernel/global-afc.hpp
285
include/gecode/kernel/macros.hpp
357
include/gecode/kernel/macros.hpp
286
include/gecode/kernel/memory-config.hpp
358
include/gecode/kernel/memory-config.hpp
287
include/gecode/kernel/memory-manager.hpp
359
include/gecode/kernel/memory-manager.hpp
Lines 289-294 Link Here
289
include/gecode/kernel/propagator.hpp
361
include/gecode/kernel/propagator.hpp
290
include/gecode/kernel/range-list.hpp
362
include/gecode/kernel/range-list.hpp
291
include/gecode/kernel/region.hpp
363
include/gecode/kernel/region.hpp
364
include/gecode/kernel/rnd.hpp
292
include/gecode/kernel/shared-array.hpp
365
include/gecode/kernel/shared-array.hpp
293
include/gecode/kernel/var-imp.hpp
366
include/gecode/kernel/var-imp.hpp
294
include/gecode/kernel/var-type.hpp
367
include/gecode/kernel/var-type.hpp
Lines 298-305 Link Here
298
include/gecode/minimodel.hh
371
include/gecode/minimodel.hh
299
include/gecode/minimodel/bool-expr.hpp
372
include/gecode/minimodel/bool-expr.hpp
300
include/gecode/minimodel/exception.hpp
373
include/gecode/minimodel/exception.hpp
301
include/gecode/minimodel/lin-expr.hpp
374
include/gecode/minimodel/float-rel.hpp
302
include/gecode/minimodel/lin-rel.hpp
375
include/gecode/minimodel/int-rel.hpp
376
include/gecode/minimodel/ldsb.hpp
303
include/gecode/minimodel/matrix.hpp
377
include/gecode/minimodel/matrix.hpp
304
include/gecode/minimodel/optimize.hpp
378
include/gecode/minimodel/optimize.hpp
305
include/gecode/minimodel/reg.hpp
379
include/gecode/minimodel/reg.hpp
Lines 307-324 Link Here
307
include/gecode/minimodel/set-rel.hpp
381
include/gecode/minimodel/set-rel.hpp
308
include/gecode/search.hh
382
include/gecode/search.hh
309
include/gecode/search/bab.hpp
383
include/gecode/search/bab.hpp
384
include/gecode/search/cutoff.hpp
310
include/gecode/search/dfs.hpp
385
include/gecode/search/dfs.hpp
386
include/gecode/search/engine-base.hpp
387
include/gecode/search/exception.hpp
388
include/gecode/search/meta/nogoods.hh
389
include/gecode/search/meta/rbs.hh
311
include/gecode/search/options.hpp
390
include/gecode/search/options.hpp
312
include/gecode/search/parallel/bab.hh
391
include/gecode/search/parallel/bab.hh
313
include/gecode/search/parallel/dfs.hh
392
include/gecode/search/parallel/dfs.hh
314
include/gecode/search/parallel/engine.hh
393
include/gecode/search/parallel/engine.hh
315
include/gecode/search/parallel/path.hh
394
include/gecode/search/parallel/path.hh
316
include/gecode/search/parallel/restart.hh
395
include/gecode/search/rbs.hpp
317
include/gecode/search/restart.hpp
318
include/gecode/search/sequential/bab.hh
396
include/gecode/search/sequential/bab.hh
319
include/gecode/search/sequential/dfs.hh
397
include/gecode/search/sequential/dfs.hh
320
include/gecode/search/sequential/path.hh
398
include/gecode/search/sequential/path.hh
321
include/gecode/search/sequential/restart.hh
322
include/gecode/search/statistics.hpp
399
include/gecode/search/statistics.hpp
323
include/gecode/search/stop.hpp
400
include/gecode/search/stop.hpp
324
include/gecode/search/support.hh
401
include/gecode/search/support.hh
Lines 327-335 Link Here
327
include/gecode/set/array-traits.hpp
404
include/gecode/set/array-traits.hpp
328
include/gecode/set/array.hpp
405
include/gecode/set/array.hpp
329
include/gecode/set/branch.hh
406
include/gecode/set/branch.hh
330
include/gecode/set/branch/post-val.hpp
407
include/gecode/set/branch/activity.hpp
331
include/gecode/set/branch/select-val.hpp
408
include/gecode/set/branch/afc.hpp
332
include/gecode/set/branch/select-view.hpp
409
include/gecode/set/branch/assign.hpp
410
include/gecode/set/branch/merit.hpp
411
include/gecode/set/branch/ngl.hpp
412
include/gecode/set/branch/traits.hpp
413
include/gecode/set/branch/val-commit.hpp
414
include/gecode/set/branch/val-sel.hpp
415
include/gecode/set/branch/val.hpp
416
include/gecode/set/branch/var.hpp
417
include/gecode/set/channel.hh
418
include/gecode/set/channel/bool.hpp
419
include/gecode/set/channel/int.hpp
420
include/gecode/set/channel/set.hpp
421
include/gecode/set/channel/sorted.hpp
333
include/gecode/set/convex.hh
422
include/gecode/set/convex.hh
334
include/gecode/set/convex/conv.hpp
423
include/gecode/set/convex/conv.hpp
335
include/gecode/set/convex/hull.hpp
424
include/gecode/set/convex/hull.hpp
Lines 343-356 Link Here
343
include/gecode/set/exception.hpp
432
include/gecode/set/exception.hpp
344
include/gecode/set/int.hh
433
include/gecode/set/int.hh
345
include/gecode/set/int/card.hpp
434
include/gecode/set/int/card.hpp
346
include/gecode/set/int/channel-bool.hpp
347
include/gecode/set/int/channel-int.hpp
348
include/gecode/set/int/match.hpp
349
include/gecode/set/int/minmax.hpp
435
include/gecode/set/int/minmax.hpp
350
include/gecode/set/int/weights.hpp
436
include/gecode/set/int/weights.hpp
437
include/gecode/set/ldsb.hh
438
include/gecode/set/ldsb/brancher.hpp
351
include/gecode/set/limits.hpp
439
include/gecode/set/limits.hpp
352
include/gecode/set/precede.hh
440
include/gecode/set/precede.hh
353
include/gecode/set/precede/single.hpp
441
include/gecode/set/precede/single.hpp
442
include/gecode/set/rel-op.hh
443
include/gecode/set/rel-op/common.hpp
444
include/gecode/set/rel-op/inter.hpp
445
include/gecode/set/rel-op/partition.hpp
446
include/gecode/set/rel-op/post.hpp
447
include/gecode/set/rel-op/subofunion.hpp
448
include/gecode/set/rel-op/superofinter.hpp
449
include/gecode/set/rel-op/union.hpp
354
include/gecode/set/rel.hh
450
include/gecode/set/rel.hh
355
include/gecode/set/rel/common.hpp
451
include/gecode/set/rel/common.hpp
356
include/gecode/set/rel/eq.hpp
452
include/gecode/set/rel/eq.hpp
Lines 361-385 Link Here
361
include/gecode/set/rel/re-lq.hpp
457
include/gecode/set/rel/re-lq.hpp
362
include/gecode/set/rel/re-subset.hpp
458
include/gecode/set/rel/re-subset.hpp
363
include/gecode/set/rel/subset.hpp
459
include/gecode/set/rel/subset.hpp
364
include/gecode/set/rel-op.hh
365
include/gecode/set/rel-op/common.hpp
366
include/gecode/set/rel-op/inter.hpp
367
include/gecode/set/rel-op/partition.hpp
368
include/gecode/set/rel-op/post.hpp
369
include/gecode/set/rel-op/subofunion.hpp
370
include/gecode/set/rel-op/superofinter.hpp
371
include/gecode/set/rel-op/union.hpp
372
include/gecode/set/sequence.hh
460
include/gecode/set/sequence.hh
373
include/gecode/set/sequence/common.hpp
461
include/gecode/set/sequence/common.hpp
374
include/gecode/set/sequence/seq-u.hpp
462
include/gecode/set/sequence/seq-u.hpp
375
include/gecode/set/sequence/seq.hpp
463
include/gecode/set/sequence/seq.hpp
376
include/gecode/set/var/print.hpp
377
include/gecode/set/var/set.hpp
378
include/gecode/set/var-imp.hpp
464
include/gecode/set/var-imp.hpp
379
include/gecode/set/var-imp/delta.hpp
465
include/gecode/set/var-imp/delta.hpp
380
include/gecode/set/var-imp/integerset.hpp
466
include/gecode/set/var-imp/integerset.hpp
381
include/gecode/set/var-imp/iter.hpp
467
include/gecode/set/var-imp/iter.hpp
382
include/gecode/set/var-imp/set.hpp
468
include/gecode/set/var-imp/set.hpp
469
include/gecode/set/var/print.hpp
470
include/gecode/set/var/set.hpp
383
include/gecode/set/view.hpp
471
include/gecode/set/view.hpp
384
include/gecode/set/view/cached.hpp
472
include/gecode/set/view/cached.hpp
385
include/gecode/set/view/complement.hpp
473
include/gecode/set/view/complement.hpp
Lines 390-395 Link Here
390
include/gecode/support.hh
478
include/gecode/support.hh
391
include/gecode/support/auto-link.hpp
479
include/gecode/support/auto-link.hpp
392
include/gecode/support/bitset-base.hpp
480
include/gecode/support/bitset-base.hpp
481
include/gecode/support/bitset-offset.hpp
393
include/gecode/support/bitset.hpp
482
include/gecode/support/bitset.hpp
394
include/gecode/support/block-allocator.hpp
483
include/gecode/support/block-allocator.hpp
395
include/gecode/support/cast.hpp
484
include/gecode/support/cast.hpp
Lines 399-404 Link Here
399
include/gecode/support/dynamic-stack.hpp
488
include/gecode/support/dynamic-stack.hpp
400
include/gecode/support/exception.hpp
489
include/gecode/support/exception.hpp
401
include/gecode/support/heap.hpp
490
include/gecode/support/heap.hpp
491
include/gecode/support/hw-rnd.hpp
402
include/gecode/support/int-type.hpp
492
include/gecode/support/int-type.hpp
403
include/gecode/support/macros.hpp
493
include/gecode/support/macros.hpp
404
include/gecode/support/marked-pointer.hpp
494
include/gecode/support/marked-pointer.hpp
Lines 412-443 Link Here
412
include/gecode/support/thread/windows.hpp
502
include/gecode/support/thread/windows.hpp
413
include/gecode/support/timer.hpp
503
include/gecode/support/timer.hpp
414
lib/libgecodedriver.so
504
lib/libgecodedriver.so
415
lib/libgecodedriver.so.32
505
lib/libgecodedriver.so.36
416
lib/libgecodedriver.so.32.0
506
lib/libgecodedriver.so.36.0
417
lib/libgecodeflatzinc.so
507
lib/libgecodeflatzinc.so
418
lib/libgecodeflatzinc.so.32
508
lib/libgecodeflatzinc.so.36
419
lib/libgecodeflatzinc.so.32.0
509
lib/libgecodeflatzinc.so.36.0
510
lib/libgecodefloat.so
511
lib/libgecodefloat.so.36
512
lib/libgecodefloat.so.36.0
420
%%GIST%%lib/libgecodegist.so
513
%%GIST%%lib/libgecodegist.so
421
%%GIST%%lib/libgecodegist.so.32
514
%%GIST%%lib/libgecodegist.so.36
422
%%GIST%%lib/libgecodegist.so.32.0
515
%%GIST%%lib/libgecodegist.so.36.0
423
lib/libgecodeint.so
516
lib/libgecodeint.so
424
lib/libgecodeint.so.32
517
lib/libgecodeint.so.36
425
lib/libgecodeint.so.32.0
518
lib/libgecodeint.so.36.0
426
lib/libgecodekernel.so
519
lib/libgecodekernel.so
427
lib/libgecodekernel.so.32
520
lib/libgecodekernel.so.36
428
lib/libgecodekernel.so.32.0
521
lib/libgecodekernel.so.36.0
429
lib/libgecodeminimodel.so
522
lib/libgecodeminimodel.so
430
lib/libgecodeminimodel.so.32
523
lib/libgecodeminimodel.so.36
431
lib/libgecodeminimodel.so.32.0
524
lib/libgecodeminimodel.so.36.0
432
lib/libgecodesearch.so
525
lib/libgecodesearch.so
433
lib/libgecodesearch.so.32
526
lib/libgecodesearch.so.36
434
lib/libgecodesearch.so.32.0
527
lib/libgecodesearch.so.36.0
435
lib/libgecodeset.so
528
lib/libgecodeset.so
436
lib/libgecodeset.so.32
529
lib/libgecodeset.so.36
437
lib/libgecodeset.so.32.0
530
lib/libgecodeset.so.36.0
438
lib/libgecodesupport.so
531
lib/libgecodesupport.so
439
lib/libgecodesupport.so.32
532
lib/libgecodesupport.so.36
440
lib/libgecodesupport.so.32.0
533
lib/libgecodesupport.so.36.0
441
%%DATADIR%%/mznlib/all_different_int.mzn
534
%%DATADIR%%/mznlib/all_different_int.mzn
442
%%DATADIR%%/mznlib/all_equal_int.mzn
535
%%DATADIR%%/mznlib/all_equal_int.mzn
443
%%DATADIR%%/mznlib/among.mzn
536
%%DATADIR%%/mznlib/among.mzn
Lines 467-473 Link Here
467
%%DATADIR%%/mznlib/increasing_int.mzn
560
%%DATADIR%%/mznlib/increasing_int.mzn
468
%%DATADIR%%/mznlib/int_set_channel.mzn
561
%%DATADIR%%/mznlib/int_set_channel.mzn
469
%%DATADIR%%/mznlib/inverse.mzn
562
%%DATADIR%%/mznlib/inverse.mzn
563
%%DATADIR%%/mznlib/inverse_set.mzn
564
%%DATADIR%%/mznlib/lex_less_bool.mzn
470
%%DATADIR%%/mznlib/lex_less_int.mzn
565
%%DATADIR%%/mznlib/lex_less_int.mzn
566
%%DATADIR%%/mznlib/lex_lesseq_bool.mzn
471
%%DATADIR%%/mznlib/lex_lesseq_int.mzn
567
%%DATADIR%%/mznlib/lex_lesseq_int.mzn
472
%%DATADIR%%/mznlib/link_set_to_booleans.mzn
568
%%DATADIR%%/mznlib/link_set_to_booleans.mzn
473
%%DATADIR%%/mznlib/maximum_int.mzn
569
%%DATADIR%%/mznlib/maximum_int.mzn
Lines 476-482 Link Here
476
%%DATADIR%%/mznlib/minimum_int.mzn
572
%%DATADIR%%/mznlib/minimum_int.mzn
477
%%DATADIR%%/mznlib/nvalue.mzn
573
%%DATADIR%%/mznlib/nvalue.mzn
478
%%DATADIR%%/mznlib/partition_set.mzn
574
%%DATADIR%%/mznlib/partition_set.mzn
479
%%DATADIR%%/mznlib/precedence.mzn
480
%%DATADIR%%/mznlib/range.mzn
575
%%DATADIR%%/mznlib/range.mzn
481
%%DATADIR%%/mznlib/redefinitions.mzn
576
%%DATADIR%%/mznlib/redefinitions.mzn
482
%%DATADIR%%/mznlib/regular.mzn
577
%%DATADIR%%/mznlib/regular.mzn
Lines 485-490 Link Here
485
%%DATADIR%%/mznlib/sum_pred.mzn
580
%%DATADIR%%/mznlib/sum_pred.mzn
486
%%DATADIR%%/mznlib/table_bool.mzn
581
%%DATADIR%%/mznlib/table_bool.mzn
487
%%DATADIR%%/mznlib/table_int.mzn
582
%%DATADIR%%/mznlib/table_int.mzn
583
%%DATADIR%%/mznlib/value_precede_int.mzn
584
%%DATADIR%%/mznlib/value_precede_set.mzn
488
@dirrm %%DATADIR%%/mznlib
585
@dirrm %%DATADIR%%/mznlib
489
@dirrm %%DATADIR%%
586
@dirrm %%DATADIR%%
490
@dirrm include/gecode/support/thread
587
@dirrm include/gecode/support/thread
Lines 496-509 Link Here
496
@dirrm include/gecode/set/rel-op
593
@dirrm include/gecode/set/rel-op
497
@dirrm include/gecode/set/rel
594
@dirrm include/gecode/set/rel
498
@dirrm include/gecode/set/precede
595
@dirrm include/gecode/set/precede
596
@dirrm include/gecode/set/ldsb
499
@dirrm include/gecode/set/int
597
@dirrm include/gecode/set/int
500
@dirrm include/gecode/set/element
598
@dirrm include/gecode/set/element
501
@dirrm include/gecode/set/distinct
599
@dirrm include/gecode/set/distinct
502
@dirrm include/gecode/set/convex
600
@dirrm include/gecode/set/convex
601
@dirrm include/gecode/set/channel
503
@dirrm include/gecode/set/branch
602
@dirrm include/gecode/set/branch
504
@dirrm include/gecode/set
603
@dirrm include/gecode/set
505
@dirrm include/gecode/search/sequential
604
@dirrm include/gecode/search/sequential
506
@dirrm include/gecode/search/parallel
605
@dirrm include/gecode/search/parallel
606
@dirrm include/gecode/search/meta
507
@dirrm include/gecode/search
607
@dirrm include/gecode/search
508
@dirrm include/gecode/minimodel
608
@dirrm include/gecode/minimodel
509
@dirrm include/gecode/kernel
609
@dirrm include/gecode/kernel
Lines 522-527 Link Here
522
@dirrm include/gecode/int/no-overlap
622
@dirrm include/gecode/int/no-overlap
523
@dirrm include/gecode/int/member
623
@dirrm include/gecode/int/member
524
@dirrm include/gecode/int/linear
624
@dirrm include/gecode/int/linear
625
@dirrm include/gecode/int/ldsb
525
@dirrm include/gecode/int/gcc
626
@dirrm include/gecode/int/gcc
526
@dirrm include/gecode/int/extensional
627
@dirrm include/gecode/int/extensional
527
@dirrm include/gecode/int/exec
628
@dirrm include/gecode/int/exec
Lines 539-545 Link Here
539
@dirrm include/gecode/int/arithmetic
640
@dirrm include/gecode/int/arithmetic
540
@dirrm include/gecode/int
641
@dirrm include/gecode/int
541
@dirrm include/gecode/gist
642
@dirrm include/gecode/gist
643
@dirrm include/gecode/float/view
644
@dirrm include/gecode/float/var-imp
645
@dirrm include/gecode/float/var
646
@dirrm include/gecode/float/trigonometric
647
@dirrm include/gecode/float/transcendental
648
@dirrm include/gecode/float/rel
649
@dirrm include/gecode/float/linear
650
@dirrm include/gecode/float/branch
651
@dirrm include/gecode/float/arithmetic
652
@dirrm include/gecode/float
542
@dirrm include/gecode/flatzinc
653
@dirrm include/gecode/flatzinc
543
@dirrm include/gecode/driver
654
@dirrm include/gecode/driver
544
@dirrm include/gecode
655
@dirrm include/gecode
545
@dirrm include/examples

Return to bug 186739