OCaml and preprocessor have incompatible versions error when installing tcoq
问题 I was trying to install tcoq and I had the following error: "/Users/pinocchio/.opam/4.05.0/bin/ocamlfind" ocamlc -rectypes -w -3-52-56 -c grammar/compat5.ml OCAMLC -c -pp grammar/gramCompat.mlp >> Fatal error: OCaml and preprocessor have incompatible versions Fatal error: exception Misc.Fatal_error make[1]: *** [grammar/gramCompat.cmo] Error 2 make: *** [submake] Error 2 does someone know: What the error means? How to fix it? I saw related post online: https://coq-club.inria.narkive.com