[gecode-users] Bug in Gecode Framework for Mac OS

[Mauricio Toro]

Hello all,
I am writing a simple program that performs search
using the DFS search engine. I am also using
a TimeStop object to parametrize this engine.
I am compiling it with gcc 4.0.1 under Mac OS 10.5.2
with Gecode 2.2.0.

The program works great when I compile
with Gecode sources:

g++  testing.cc -I. -fPIC -lgecodesearch -lgecodekernel -lgecodeint
-lgecodeset -lgecodeminimodel -lstdc++ -lgecodesupport -o testing

However, when I compile it with the Gecode framework
g++  -o testing testing.cc -I. -framework gecode -ffast-math -O3

I always get NULL when I search a solution, unless I setup time to 0.
I tried with big values for the time parameter and the results
are the same.

Thanks for your help,

Mauricio


-- 
Mauricio Toro Bermudez
Estudiante de Ingeniería de Sistemas
Pontificia Universidad Javeriana, Colombia

Stagiare à l'Ircam
1, place Igor-Stravinsky 75004 Paris,
France de 2008 à 2009
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20081204/1e6f1b72/attachment.htm>