The Coq mailing list

[muad <muad.dib.space AT gmail.com>]

Hello, I am just wondering if anyone knows how to compile Coq svn using
Camlp5 version 5.12 (ocaml 3.11.1)?


running make has given this error:

...
OCAMLOPT  scripts/coqmktop.ml
OCAMLOPT -o bin/coqmktop.opt
File "_none_", line 1, characters 0-1:
Error: Cannot find file gramlib.cmxa
make[1]: *** [bin/coqmktop.opt] Error 2
make: *** [world] Error 2

and it's not clear what to do from there, thanks for any ideas about it.
-- 
View this message in context: 
http://www.nabble.com/Compile-error%3A-gramlib.cmxa-tp24989095p24989095.html
Sent from the Coq mailing list archive at Nabble.com.