The Coq mailing list

[Stéphane Glondu <steph AT glondu.net>]

Le 04/01/2014 19:45, 
michael.ganem AT gmail.com
 a écrit :
> 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

What version of Coq are you trying to compile? Which distribution are
you running?

Cheers,

-- 
Stéphane