[
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: | Daniel de Rauglaudre <daniel.de_rauglaudre@i...> |
| Subject: | Re: [Caml-list] camlp5 compilation error |
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/