Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: Re: 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: Re: Re: camlp5 compilation error
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi Daniel,

 It didn't solve the problem... I also recompiled ocaml (and camlp5),
but nothing changes... I did even more and uninstalled camlp5 to be sure
that /usr/lib/ocaml/camlp5 would be really recompiled.

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
gmake[1]: ** [term.cmo] Erro 2
gmake[1]: Saindo do diretório `/home/flavio/workspace/pesquisa/subsexpl/src'
make: ** [all-recursive] Erro 1

Do you have another tip? Thanks in advance!

Cheers,
Flávio.

> Date: Fri, 21 May 2010 03:08:48 +0200 From: Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> Subject: Re: [Caml-list] camlp5 compilation error To: caml-list@yquem.inria.fr Message-ID: <20100521010848.GA7018@yquem.inria.fr> Content-Type: text/plain; charset=us-ascii 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/ 

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.15 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAkv2vzUACgkQJ9M3XSenoWirXgCgjTIHw3OWDA+4TUHtbm1Q0vnx
PSMAn1RtdRPbDql7bS99uZTYoqF7kkgH
=p22m
-----END PGP SIGNATURE-----