--- a/__pkginfo__.py Mon Apr 26 11:15:56 2010 +0200
+++ b/__pkginfo__.py Tue Apr 27 16:28:59 2010 +0000
@@ -33,7 +33,7 @@
def gecode_version():
import os, subprocess
- version = [1, 3, 1]
+ version = [3,3,1]
if os.path.exists('data/gecode_version.cc'):
try:
res = os.system("g++ -o gecode_version data/gecode_version.cc")
@@ -59,8 +59,12 @@
else:
ext_modules = [ Extension('rql_solve',
['gecode_solver.cpp'],
- libraries=['gecodeint', 'gecodekernel', 'gecodesearch',],
- extra_compile_args=['-DGE_VERSION=%s' % GECODE_VERSION],
- extra_link_args=['-static-libgcc'],
+ libraries=['GecodeInt-3-3-1-r-x86',
+ 'GecodeKernel-3-3-1-r-x86',
+ 'GecodeSearch-3-3-1-r-x86',
+ 'GecodeSupport-3-3-1-r-x86',
+ ],
+ extra_compile_args=['/DGE_VERSION=%s' % GECODE_VERSION, '/EHsc'],
+ #extra_link_args=['-static-libgcc'],
)
]