On 7/8/05, Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> wrote:
> >   make[2]: Entering directory `/tmp/ocaml/otherlibs/labltk/lib'
> 
> If you went up to that point, it means that the changes basically
> worked. You may verify it by using
>   ./boot/ocamlrun ./ocaml -I stdlib

This command works for me.  ./boot/ocamlrun is obviously still
unchanged from the unpatched run, but ./ocaml has been rebuilt.

> But apparently some dependencies were not  yet solved.
> I cannot exactly see where the problem comes from, but
> I would suggest one more "make bootstrap" to clear the situation.

Funny, this indeed solved the problem!  Just doing a "make world"
followed by "make bootstrap" doesn't work either (for a different
reason). I have to execute a second "make bootstrap" in any case.

Thanks for the hint!

Regards,
Markus

-- 
Markus Mottl        http://www.ocaml.info        markus.mottl@gmail.com