Set up for Hytech (Model check/model verfication software)

[Abrabaracurxis]

Hello,

I´m trying to install Hytech in my computer. I need to run it under Cygwin. After setting up the Makefile-gmake to the right system, lexical analayzer, compilers etc. I executed the "make -f Makefile-gmake" instruction. The following output came up:

make -f Makefile-gmake */ i typed this line
flex -l hytech.l */ this was the first that came out
bison -y -d hytech.y
hytech.y:115.16:warning:stray, ´,´ treated has white space
hytech.y:115.22:warning:stray, ´,´ treated has white space
hytech.y:503.10:syntax error, unexpected "|"
hytech.y:517.10:syntax error, unexpected "|"
make:***[y.tab.h] Error 1

following the README file I found that most common error(the only that is documented) was a type mismatch that could be fixed by setting the system, lexical analaycer, parser, etc. I did all that and tryied "flex" and "flex -l". Still the same thing out, it has absolute no meaning to me. I know that "***" means fatal error but, I have no clue where/what could it be. Any ideas, things to try?

this is what i have:
cygwin 1.5.12-1
bison 20030307-1
flex 2.5.4a-3
gcc 3.4.1-1
gcc-core 3.4.1-1
gcc-g++ 3.4.1-1
make 3.80-1
Windows 2000 SP 4

thanks

Juan Fuentes