The Coq mailing list

[<michael.ganem AT gmail.com>]

Hi,
I'm trying to compile coq following the instruction in the INSTALL file. The
stage ./configure completes successfully but when I compiling the system with
"make world" I got and error:
COQMKTOP -o bin/coqtop.opt
Fatal error: exception Invalid_argument("index out of bounds")
make[1]: *** [bin/coqtop.opt] Error 2
make[1]: Leaving directory `/coq'
make: *** [world] Error 2


I'd be glad to get tips to overcome this.

thanks,
Michael