, Flavio L. C.
de Moura wrote:
Error while loading /usr/lib/ocaml/camlp5/pa_extfold.cmo: interface
mismatch on Pa_extend
File term.ml, line 1, characters 0-1:
Error: Preprocessor error
It means that camlp5 must be recompiled.
Sources of Camlp5 are available at:
http
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Hi there,
I compiled an ocaml program without errors in some machines, but in my
machine I get the following:
ocamlc.opt -I +camlp5 -pp 'camlp5 -I +camlp5 -I . pa_r.cmo pa_rp.cmo
pr_dump.cmo -I ../third/ioxml ioXML.cmo' -I ../third/ioxml ioXML.cmo