[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Flavio L. C. de Moura <flaviomoura@u...> |
| Subject: | camlp5 compilation error |
-----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-----