Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] inconsistent assumptions over interface Pervasives
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Pierre Weis <pierre.weis@i...>
Subject: Re: [Caml-list] inconsistent assumptions over interface Pervasives
> I've just upgraded to 3.07, and I'm recompiling some of my code that 
> depends heavily on libraries.  It seems that code compiled with earlier 
> versions of the standard libraries is not compatible with code compiled 
> under 3.07:
> 
> "The files /usr/local/lib/ocaml/pervasives.cmi and 
> /usr/local/lib/ocaml/site-lib/pcre/pcre.cmi make inconsistent 
> assumptions over interface Pervasives"
> 
> This is not a problem for me right now, since I have source to the 
> libraries I'm using, but it seems like it would be a problem if people 
> distribute commercial libraries for OCaml.

Right you have to recompile your libraries from scratch or wait for a
new binary distribution compatible with O'Caml 3.07.

This is also true for your own programs: you should remove old .cmo
and .cmi compiled object files.

Normally, if your library uses a regular Makefile, the command

$ make clean; make

should solve the problem.

Hope this helps,

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners