Richard Jones wrote:
coq
------------------------------
Strange camlp4 problem, not yet resolved. Maybe just a missing
BuildRequires:
OCAMLC lib/pp.mli
OCAMLC4 lib/pp.ml4
sh: camlp4o: command not found
File "lib/pp.ml4", line 1, characters 0-1:
Error: Preprocessor error
This is probably because configure doesn't detect it should use camlp5
instead of camlp4. It is already fixed upstream (and will be in
(hopefully) forthcoming 8.2). Meanwhile, it can be worked around by
explicitly passing -camlp5dir option to it.
Cheers,
--
Stéphane