Bison configuration is incorrect

[Paulo J. Matos]

Hi all,

For some unknown reason when I use AC_PROG_YACC, I get when I run configure:
checking for bison... byacc -d

but:
$ make
(...)
make[2]: Entering directory `/home/pmatos/software/trainer-build/src'
byacc -d  -d ../../dolphin/trainer/src/foo-parser.yy
make[2]: byacc: Command not found
make[2]: *** [smtlib-parser.cc] Error 127

In fact I don't have byacc anywhere... only bison. Configuring with:
./configure YACC='bison -y'

works! But I don't want to be constantly setting this up. How can I
check what the problem might be?

Regards,
--
Paulo Jorge Matos - pocm at soton.ac.uk
http://www.personal.soton.ac.uk/pocm
PhD Student @ ECS
University of Southampton, UK