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: by yquem.inria.fr (Postfix, from userid 25991) id ECA11BBAF; Fri, 21 May 2010 03:08:48 +0200 (CEST) Date: Fri, 21 May 2010 03:08:48 +0200 From: Daniel de Rauglaudre To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] camlp5 compilation error Message-ID: <20100521010848.GA7018@yquem.inria.fr> References: <4BF58AA7.9050200@unb.br> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <4BF58AA7.9050200@unb.br> User-Agent: Mutt/1.5.9i X-Spam: no; 0.00; rauglaudre:01 rauglaudre:01 camlp:01 compilation:01 usr:01 lib:01 ocaml:01 camlp:01 cmo:01 mismatch:01 recompiled:01 20,:98 wrote:01 preprocessor:01 caml-list:01 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/