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! <stephen@marenka.net>
Attachment:
signature.asc
Description: Digital signature