On Mon, Oct 30, 2006 at 11:45:28PM +0100, Roman Zippel wrote:
> Hi,
> 
> I think I know now what's wrong with ocamlcreal, I've also rebuilt mlgmp 
> at the same time and it seems the time stamps are a little messed up.
> If you look in the build log of mlgmp, gmp.mli should be older or as old 
> as gmp.cmi and due to this ocamlreal tries to rebuild it. A rebuild of 
> mlgmp might fix this...

Okay, I've queued them up.

-- 
Stephen R. Marenka     If life's not fun, you're not doing it right!
<[EMAIL PROTECTED]>

Attachment: signature.asc
Description: Digital signature

Reply via email to