From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 044B1BCAE for ; Mon, 11 Jul 2005 17:28:28 +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 j6BFSREj023762 for ; Mon, 11 Jul 2005 17:28:27 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA17039 for ; Mon, 11 Jul 2005 17:28:26 +0200 (MET DST) Received: from wproxy.gmail.com (wproxy.gmail.com [64.233.184.201]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6BFSPtI004299 for ; Mon, 11 Jul 2005 17:28:26 +0200 Received: by wproxy.gmail.com with SMTP id 70so859513wra for ; Mon, 11 Jul 2005 08:28:25 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:reply-to:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=PRRfBjVf4duKIKkJxZQFWjLK8YpZU4J3qjq3bfTULnnKm5bjCrPrncDgX1HsdCo1DYZurkHHZNL2hfL0dgA6/dhablFxnar0nsCZhhkk6ouRjTRWrOpWQR93x0yHo8aW/L0NZ7KfOnggoQ9FI4WY5n1ps6y0Coyprho3PmXZ1Fk= Received: by 10.54.36.75 with SMTP id j75mr4030647wrj; Mon, 11 Jul 2005 08:28:03 -0700 (PDT) Received: by 10.54.22.52 with HTTP; Mon, 11 Jul 2005 08:28:03 -0700 (PDT) Message-ID: Date: Mon, 11 Jul 2005 11:28:03 -0400 From: Markus Mottl Reply-To: Markus Mottl To: Jacques Garrigue Subject: Re: [Caml-list] Bootstrapping problem with patched compiler Cc: caml-list@inria.fr In-Reply-To: <20050709.071017.28782681.garrigue@math.nagoya-u.ac.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline References: <20050708190245.GA21352@quant3.janestcapital.quant> <20050709.071017.28782681.garrigue@math.nagoya-u.ac.jp> X-Miltered: at nez-perce with ID 42D2901B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42D2901A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; markus:01 mottl:01 markus:01 mottl:01 caml-list:01 patched:01 compiler:01 ocaml:01 otherlibs:01 labltk:01 lib':01 ocamlrun:01 ocaml:01 stdlib:01 ocamlrun:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.5 required=5.0 tests=INFO_TLD,RCVD_BY_IP autolearn=disabled version=3.0.2 X-Spam-Level: On 7/8/05, Jacques Garrigue wrote: > > make[2]: Entering directory `/tmp/ocaml/otherlibs/labltk/lib' >=20 > 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 --=20 Markus Mottl http://www.ocaml.info markus.mottl@gmail.com