English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Bootstrapping problem with patched compiler
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-07-11 (15:28)
From: Markus Mottl <markus.mottl@g...>
Subject: Re: [Caml-list] Bootstrapping problem with patched compiler
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!


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