Thank you for your bug report. The installed version of bison is to old. Please find attached a patch that fixes bison version detection. (You will have to rerun 'make -f Makefile.drops' in the dice directory.)
What is the distribution you used? I use the Ubuntu6.06 with default bison version 2.1. Is the bison 2.3 ok? Thanks. Cheng Guanghui
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Hi,
What is the distribution you used? I use the Ubuntu6.06 with default bison version 2.1. Is the bison 2.3 ok?
I have Bison 2.3 on my Debian and it works.
Bjoern
l4-hackers@os.inf.tu-dresden.de