fix gecode version detection

MANIFEST.in

@@ -11,5 +11,6 @@
 include TODO 
 include ChangeLog
 include DEPENDS
+include data/gecode_version.cc
 
 recursive-include tools *.py *.rql

__pkginfo__.py

@@ -32,7 +32,8 @@
 pyversions = ['2.4']
 
 
+import os, subprocess
 from distutils.core import Extension
 
 include_dirs = []
 
@@ -35,8 +36,28 @@
 from distutils.core import Extension
 
 include_dirs = []
 
-ext_modules = [ Extension('rql_solve',
-                          ['gecode_solver.cpp'],
-                          libraries=['gecodeint', 'gecodekernel', 'gecodesearch'],
-                          ) ]
+def gecode_version():
+    import os, subprocess
+    version = [0,0,0]
+    if os.path.exists('data/gecode_version.cc'):
+        try:
+            res = os.system("g++ -o gecode_version data/gecode_version.cc")
+            p = subprocess.Popen("./gecode_version",stdout=subprocess.PIPE)
+            vers = p.stdout.read()
+            version = [int(c) for c in vers.strip().split('.')]
+        except OSError:
+            pass
+    return version
+
+def encode_version(a,b,c):
+    return ((a<<16)+(b<<8)+c)
+
+GECODE_VERSION = encode_version(*gecode_version())
+
+ext_modules = [Extension('rql_solve',
+                         ['gecode_solver.cpp'],
+                         libraries=['gecodeint', 'gecodekernel', 'gecodesearch'],
+                         extra_compile_args=['-DGE_VERSION=%s' % GECODE_VERSION],
+                         )
+               ]

data/gecode_version.cc

+#include "gecode/support.hh"
+#include <stdio.h>
+
+int main() {
+#ifndef GECODE_VERSION
+    printf("2.1.2\n");
+#else
+    printf("%s\n", GECODE_VERSION);
+#endif
+}