From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id EDB4EBCAE for ; Sat, 9 Jul 2005 00:10:27 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j68MARSq029516 for ; Sat, 9 Jul 2005 00:10:27 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id AAA04147 for ; Sat, 9 Jul 2005 00:10:27 +0200 (MET DST) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j68MAOAc029508 for ; Sat, 9 Jul 2005 00:10:26 +0200 Received: from localhost (suiren [130.54.16.25]) by kurims.kurims.kyoto-u.ac.jp (8.13.1/8.13.1) with ESMTP id j68MAK7M008142; Sat, 9 Jul 2005 07:10:20 +0900 (JST) Date: Sat, 09 Jul 2005 07:10:17 +0900 (JST) Message-Id: <20050709.071017.28782681.garrigue@math.nagoya-u.ac.jp> To: markus.mottl@gmail.com Cc: caml-list@inria.fr Subject: Re: [Caml-list] Bootstrapping problem with patched compiler From: Jacques Garrigue In-Reply-To: <20050708190245.GA21352@quant3.janestcapital.quant> References: <20050708190245.GA21352@quant3.janestcapital.quant> X-Mailer: Mew version 4.2 on Emacs 21.3 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 42CEF9D3.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42CEF9D0.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 patched:01 compiler:01 markus:01 mottl:01 markus:01 mottl:01 compiler:01 ocaml:01 ocaml:01 otherlibs:01 labltk:01 lib':01 ocamlrun:01 stdlib:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: From: Markus Mottl > According to a post from Xavier some time ago the right way to bootstrap > the compiler with such changes is as follows: > > - start with pristine OCaml sources > - do "make world" > - perform your changes > - do "make all" (NOT "make world") > - do "make bootstrap" to make sure everything is OK. > > Unfortunately, this does not work for me. Here is the last error message, > which pops up after "make all": > > 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 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. Jacques Garrigue