gecode4.diff

Brutal patch that seems to do the trick.

(Note also that I can't find the multithread version of libboost_python, or maybe it's just a missing symoblink link)

download
diff --git a/scheduling/makefile b/scheduling/makefile
--- a/scheduling/makefile
+++ b/scheduling/makefile
@@ -1,8 +1,8 @@
 
-LDFLAGS=`pkg-config --libs gecode gecode-minimodel gecode-search` -lpython2.4 -lboost_python-mt
-CXXFLAGS=`pkg-config --cflags gecode gecode-minimodel gecode-search` -I/usr/include/python2.4 -fPIC -g -O0
+LDFLAGS=`pkg-config --libs gecode gecode-minimodel gecode-search` -lpython2.7 -lboost_python
+CXXFLAGS=`pkg-config --cflags gecode gecode-minimodel gecode-search` -I/usr/include/python2.7 -fPIC -g -O0
 
 all: gcsp.so
 
 sample: sample.o projman_gecode.o timer.o
 	g++ -o sample `pkg-config --libs --cflags gecode gecode-minimodel gecode-search` -g sample.o timer.o projman_gecode.o
diff --git a/scheduling/projman_gecode.cc b/scheduling/projman_gecode.cc
--- a/scheduling/projman_gecode.cc
+++ b/scheduling/projman_gecode.cc
@@ -276,12 +276,12 @@ ProjmanSolver::ProjmanSolver(const Projm
     	debug(pb, "Cvx tasks", task_plus_nw_cvx);
     	debug(pb, "Hull", hull);
 
     	cout << "ALL DAYS:" << all_days << endl;
     }
-    branch(SELF, res_tasks, SET_VAR_MAX_MIN, SET_VAL_MIN_INC);
-    branch(SELF, milestones, INT_VAR_NONE, INT_VAL_MIN);
+    branch(SELF, res_tasks, SET_VAR_MAX_MIN(), SET_VAL_MIN_INC());
+    branch(SELF, milestones, INT_VAR_NONE(), INT_VAL_MIN());
 }
 
 #if GE_VERSION < PM_VERSION(3,0,0)
 void ProjmanSolver::show_status(const string& str)
 {
@@ -445,11 +445,10 @@ void ProjmanSolver::run( ProjmanProblem&
 #else
 	     << "\tdepth:        " << stat.depth << endl
 	     << "\tnode:       " << stat.node << endl
 #endif
 	     << "\tpeak memory:   "
-	     << static_cast<int>((stat.memory+1023) / 1024) << " KB"
 	     << endl;
     }
 }
 
 // explicit instantiation