Compilation error about alchemy-2 HOT 4 OPEN

[deleted comment]

OK seems to be incompatibility issue with bison 3+, downgrading to 2.7 fixes it

I had the same error on Windows. 
I disabled the perl regeneration of follex.cpp in the makefile.
Then I replaced all ZZ_* with their integer values in the follex.cpp and then 
it compiled successfully on Windows and Cygwin.

I had the same error on Windows.
Modify the fol.y add then it compiled successfully on Windows and Cygwin.

sample:

%{
#define YYSTYPE int
#define YYDEBUG 1
#ifndef YYTOKENTYPE
# define YYTOKENTYPE
  enum yytokentype
  {
    ZZ_NUM = 258,
    ZZ_DOTDOTDOT = 259,
    ZZ_STRING = 260,
    ZZ_INCLUDE = 261,
    ZZ_PREDICATE = 262,
    ZZ_FUNCTION = 263,
    ZZ_CONSTANT = 264,
    ZZ_VARIABLE = 265,
    ZZ_TYPE = 266,
    ZZ_FORALL = 267,
    ZZ_EXIST = 268,
    ZZ_EQUIV = 269,
    ZZ_IMPLY = 270
  };
#endif
%}