Version française
Home     About     Download     Resources     Contact us    
Browse thread
camlp5 compilation error
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ 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-----