* camlp5 compilation error
@ 2010-05-20 19:16 Flavio L. C. de Moura
2010-05-21 1:08 ` [Caml-list] " Daniel de Rauglaudre
0 siblings, 1 reply; 2+ messages in thread
From: Flavio L. C. de Moura @ 2010-05-20 19:16 UTC (permalink / raw)
To: caml-list
-----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 -c
lexer.ml
(WARNING: Preprocessing with ioXML; warnings can be ignored;)
ocamlc.opt -I +camlp5 -pp 'camlp5 -I +camlp5 -I . -I ../third/ioxml
pa_r.cmo pa_ioXML.cmo pr_o.cmo' -I ../third/ioxml ioXML.cmo -c term.ml
<W> Grammar extension: in [str_item], some rule has been masked
<W> Grammar extension: in [sig_item], some rule has been masked
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
make: ** [term.cmo] Erro 2
How can I solve this "interface mismatch" problem? Thanks in advance.
Cheers,
Flavio.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.15 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
iEYEARECAAYFAkv1iqcACgkQJ9M3XSenoWgXvQCfXDnGn8xCBTDO2VoLbFQDE5hf
DjkAn0df2qlCF0j9oK1Y565+gfdkULmZ
=TYYn
-----END PGP SIGNATURE-----
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] camlp5 compilation error
2010-05-20 19:16 camlp5 compilation error Flavio L. C. de Moura
@ 2010-05-21 1:08 ` Daniel de Rauglaudre
0 siblings, 0 replies; 2+ messages in thread
From: Daniel de Rauglaudre @ 2010-05-21 1:08 UTC (permalink / raw)
To: caml-list
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 Camlp5 are available at:
http://pauillac.inria.fr/~ddr/camlp5/
--
Daniel de Rauglaudre
http://pauillac.inria.fr/~ddr/
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2010-05-21 1:08 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-05-20 19:16 camlp5 compilation error Flavio L. C. de Moura
2010-05-21 1:08 ` [Caml-list] " Daniel de Rauglaudre
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).