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...
bye, Roman -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
