[gecode] fix build against gecode 4.2.0 (closes #167329)

memory statistics have been removed from the search engines.

authorDavid Douard <david.douard@logilab.fr>
changeset5cad47e1ffbf
branchstable
phasepublic
hiddenno
parent revision#134b04defd20 remove has_key usage
child revision#ff79e47ff011 Added tag rql-centos-version-0.31.4-1, rql-version-0.31.4, rql-debian-version-0.31.4-1 for changeset 5cad47e1ffbf
files modified by this revision
gecode_solver.cpp
# HG changeset patch
# User David Douard <david.douard@logilab.fr>
# Date 1375945071 -7200
# Thu Aug 08 08:57:51 2013 +0200
# Branch stable
# Node ID 5cad47e1ffbf6c9a234d8a355c3c93655ba32737
# Parent 134b04defd20a2e420b4a4154e5c2d97a7bf2d26
[gecode] fix build against gecode 4.2.0 (closes #167329)

memory statistics have been removed from the search engines.

diff --git a/gecode_solver.cpp b/gecode_solver.cpp
@@ -413,13 +413,16 @@
1  		 << "\tcommits:       " << stat.commit << endl
2  #else
3  		 << "\tdepth:        " << stat.depth << endl
4  		 << "\tnode:       " << stat.node << endl
5  #endif
6 +#if GE_VERSION < PM_VERSION(4,2,0)
7  		 << "\tpeak memory:   "
8  		 << static_cast<int>((stat.memory+1023) / 1024) << " KB"
9 -		 << endl;
10 +		 << endl
11 +#endif
12 +		    ;
13  	}
14      }
15 
16      /* We append each solutions to `sols` as a
17         tuple `t` of the values assigned to each var