The Coq mailing list

[Daniel de Rauglaudre <daniel.de_rauglaudre AT inria.fr>]

Hi,

On Tue, Jan 10, 2012 at 11:17:41AM +0100, Stefan Berghofer wrote:

>   Testing parsing/grammar.cma
>   >> Fatal error: Ocaml and preprocessor have incompatible versions
>   Fatal error: exception Misc.Fatal_error

Strange. It means that Camlp5 is not working, i.e. not installed? Does
it work when, e.g. launching the OCaml toplevel and testing:
   ocaml -I +camlp5
   # #load "camlp5o.cma";;

Or perhaps, you forgot to make clean before recompiling Coq?

-- 
Daniel de Rauglaudre
http://pauillac.inria.fr/~ddr/