The Coq mailing list

[Gregory Malecha <gmalecha AT eecs.harvard.edu>]

Hello --

I have a fresh download of 8.4pl1 which I ran ./configure with no arguments and then make, things go along great for a little while and then I get this error:

make[1]: Entering directory `/home/gmalecha/devel/coq/coq-8.4pl1'

CHECK revision

COQMKTOP -o bin/coqtop.byte

File "/tmp/coqmain4a488c.ml", line 1:

Error: Cannot find file q_coqast.cmo

make[1]: *** [bin/coqtop.byte] Error 2

make[1]: Leaving directory `/home/gmalecha/devel/coq/coq-8.4pl1'

make: *** [world] Error 2

Find does report that it exists:

$ find . -iname q_coqast.cmo

./parsing/q_coqast.cmo

Any idea what is going wrong or how to fix it? I'm running ocaml 4.00.1

$ ocamlc -v

The OCaml compiler, version 4.00.1

Standard library directory: /usr/lib64/ocaml

Thanks.

--
gregory malecha

http://www.people.fas.harvard.edu/~gmalecha/