From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id E72FEBBAF for ; Thu, 20 May 2010 21:17:01 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Au0CABIn9UukKWV2nGdsb2JhbACRe4waFQEBAQEBCAsICREivy2FEgSHMIF/gVI X-IronPort-AV: E=Sophos;i="4.53,272,1272837600"; d="scan'208";a="63179800" Received: from mail.unb.br ([164.41.101.118]) by mail4-smtp-sop.national.inria.fr with ESMTP; 20 May 2010 21:16:59 +0200 Received: from localhost (localhost.unb.br [127.0.0.1]) by mail.unb.br (Postfix) with ESMTP id B12A8330A12; Thu, 20 May 2010 16:16:57 -0300 (BRT) X-Virus-Scanned: by amavisd-new (mail.unb.br) Received: from mail.unb.br ([127.0.0.1]) by localhost (mail.unb.br [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 5phji53U6vC9; Thu, 20 May 2010 16:16:54 -0300 (BRT) Received: from [10.8.0.34] (picasso.cic.unb.br [164.41.14.132]) by mail.unb.br (Postfix) with ESMTP id 87709330A1F; Thu, 20 May 2010 16:16:54 -0300 (BRT) Message-ID: <4BF58AA7.9050200@unb.br> Date: Thu, 20 May 2010 16:16:55 -0300 From: "Flavio L. C. de Moura" User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.1.9) Gecko/20100512 Thunderbird/3.0.4 MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: camlp5 compilation error X-Enigmail-Version: 1.0.1 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; camlp:01 compilation:01 hash:01 ocaml:01 ocamlc:01 camlp:01 -pp:01 cmo:01 cmo:01 ioxml:01 ioxml:01 cmo':01 lexer:01 ocamlc:01 -pp:01 -----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 Grammar extension: in [str_item], some rule has been masked 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-----