The Coq mailing list

[Stefan Berghofer <berghofe AT in.tum.de>]

Dear Coq club,

I have some problems compiling coq-8.3pl3. I am using ocaml-3.12.1 and
camlp5-6.03 in transitional mode (the README file claims that this version
is compatible with ocaml-3.12.1). However, when I try to compile Coq with
"make world", it aborts with the message

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

I also tried the -camlp5dir of the configure script, but without success.
Is this a known problem, or am I just too dumb?

Greetings,
Stefan