Re: [Caml-list] camlp5 compilation error

2010-05-20 Thread Daniel de Rauglaudre
Hi, On Thu, May 20, 2010 at 04:16:55PM -0300, 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 Cam

[Caml-list] camlp5 compilation error

2010-05-20 Thread Flavio L. C. de Moura
-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 -