[gecode-users] Flatzinc/Gecode

[Raffaele Cipriano]

Dear Gecode developers and users,
I'm trying to install the Flatzinc package on my Cygwin environment, 
where Gecode 1.3.1, flex 2.5.4 and bison 2.3 are correctly installed 
(and PKG_CONFIG_PATH is properly set).
Invoking "make" I get this error:

flex -oflatzinc.yy.c flatzinc.lxx
"flatzinc.lxx", line 23: unrecognized %option: reentrant
"flatzinc.lxx", line 24: unrecognized %option: bison-bridge
make: ***[flatzinc.yy.c] Error 1

I tried to comment line 23 and 24 from the flatzinc.lxx file, but I get 
a lots of other error messages.

What can I do? The current version of Flatzinc can be installed under 
Cygwin?

Thank you

Raffaele Cipriano