projman #245567 API change with Gecode 4 [validation pending]

See http://www.gecode.org/doc-latest/reference/PageHowToChange__4.html Projman doesn't compile with Gecode 4 (now in Ubuntu Trusty).
priority	important
type	bug
done in	0.16.2
load	0.500
load left	0.000
closed by	#2671a474321e Fix for gecode 4
patch	Fix for gecode 4 [applied]

Workflow history

from state (3)	to state	comment	date	User
done	validation pending		2014/11/19 15:50 UTC	narval
in-progress	done		2014/11/19 14:01 UTC
open	in-progress		2014/11/19 13:57 UTC

Comments

2014/05/13 09:25, written by adimascio

attached a minimal patch to be able to compile
- 2014/11/19 13:56, written by jcristau
  
  would've been nice if this patch was in hg instead of the bug tracker...
2014/05/13 09:25, written by adimascio

maybe we should use https://pypi.python.org/pypi/gecode-python/0.27 instead ?

attachment

Ticket #245567 - latest update on 2014/11/19, created on 2014/05/12 by Olivier Cayrol