From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 79B2DBC37 for ; Tue, 26 Jan 2010 20:00:09 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AucBABLKXktCxGTskWdsb2JhbACPY4IDiigBAQEBCQsKBxMDrkKBQIUxiEcBBAQBhDQE X-IronPort-AV: E=Sophos;i="4.49,347,1262559600"; d="scan'208";a="42518904" Received: from web58907.mail.re1.yahoo.com ([66.196.100.236]) by mail3-smtp-sop.national.inria.fr with SMTP; 26 Jan 2010 20:00:08 +0100 Received: (qmail 87927 invoked by uid 60001); 26 Jan 2010 19:00:07 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1264532407; bh=CqZ74GaYb4hw53v0vLC7VAg0Kjab4yZW7MX82mqpVbI=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=SQ/NYLFnQdCnuzf1nfYr5NgaDe60cQBFpJpoBXjIVnGj59tg3b6ona8YSQFIYDa7dg2LIaLsHP9r/NC77gngc5cdZXPLQU25NuMUlWmWKJ3vLI2txB8qCZccEBcRK7A653k1IqYasSDR3O+Iy7feVt+rXQ+mC1uAI/k4MDdzVyA= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=GOSAJbTWu+1jYFLEowLfaidQwzbtPtxSu3Nov6S64QjJ6vBy93+HkXUmwWRxYxaxMsuUuJfhpZIDWzqEC7k/2Uann0/zNc+YcJXCF0zlp2m5SVT2nESZjeYZur1vhnBVRtDXiFc1TKfn2ystHsExvMdguzyr1dd4SE4O+ytO5+I=; Message-ID: <613625.87019.qm@web58907.mail.re1.yahoo.com> X-YMail-OSG: EJjfQwoVM1mdLOnAhGBqOc0BAGjIPxESuXzsEFh8dKbaWMJKGESriTOlntnvc6.Tltvq.PGpDFuDejfewiKCqvOEbkuN5XiwGubmsJRrppOaUdXc50MGjxe592NmbfoE_8Rjvrk1ouh2lKcHIRodjjpLRvxcXusQF0ns_Gjyds5mDo1Zpk7wT2Gk3pWBvP9ys1b0YOSW_hDUo4xjEoWvIjP8wmR9bkOcjUTcs55gUncxq1NxhbLMqDzBqDDMflK.YQlYNLZGN3twubxrvqOydI_41vSs641yLxLMyE_hlaziRCbEsnHTignUjT04cc25qtRweHB3NiJ9dbFnD7SP.FgINrN17_JfNV.kMk9VespxcAT7ZYKVy3lX3m0LEUBzwBWvHp.Cs3FLwb4SWLsGPXeGkQ2U6t5ASidDVjlMvtV0s0DsqsjbJZy0PvZeARSsREwxCl3UlatoXT7i2T8Zzz4moVck Received: from [129.44.188.68] by web58907.mail.re1.yahoo.com via HTTP; Tue, 26 Jan 2010 11:00:07 PST X-Mailer: YahooMailClassic/9.1.10 YahooMailWebService/0.8.100.260964 Date: Tue, 26 Jan 2010 11:00:07 -0800 (PST) From: Ed Keith Subject: Re: [Caml-list] Unable to reach fixpoint building ocaml 3.11.2 on cygwin To: Goswin von Brederlow Cc: caml-list@inria.fr In-Reply-To: <873a1slvol.fsf@frosties.localdomain> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; fixpoint:01 ocaml:01 cygwin:01 fixpoint:01 ocaml:01 cygwin:01 usr:01 ocaml-:01 ocamldoc':01 usr:01 ocaml-:01 ocamlc:01 ocamlc:01 byte:01 foo:01 --- On Tue, 1/26/10, Goswin von Brederlow wrote: > From: Goswin von Brederlow > Subject: Re: [Caml-list] Unable to reach fixpoint building ocaml 3.11.2 o= n cygwin > To: "Ed Keith" > Cc: caml-list@inria.fr > Date: Tuesday, January 26, 2010, 10:42 AM > Ed Keith > writes: >=20 > > I am trying to build ocaml 3.112 on cygwin. Make world > seems to work fine, but when I make bootstrap I do not get > any errors, but I get the following message: > > > > make[2]: warning:=A0 Clock skew detected.=A0 > Your build may be incomplete. > > make[2]: Leaving directory > `/usr/src/ocaml-3.11.2/ocamldoc' > > make[1]: Leaving directory `/usr/src/ocaml-3.11.2' > > make compare > > make[1]: Entering directory `/usr/src/ocaml-3.11.2' > > boot/ocamlc ocamlc differ: byte 137, line 2 > > Fixpoint not reached, try one more bootstrapping > cycle. > > make[1]: Leaving directory `/usr/src/ocaml-3.11.2' > > > > I ran make bootstrap three times, with the same result > each time then I repeated the whole process, and again got > the same results. > > > > Can anyone give me any advice? > > > >=A0 =A0 -EdK > > > > > > Ed Keith > > e_d_k@yahoo.com > > > > Blog: edkeith.blogspot.com >=20 > Maybe just fix all timestamps: >=20 > touch foo > find -exec touch -r foo "{}" \; > rm foo > make clean > make world >=20 > MfG > =A0 =A0 =A0 =A0 Goswin >=20 Thanks for the suggestion, but it did not help. Again make world seems to work but make bootstrap never reaches fixpoint. Any other ideas? -EdK Ed Keith e_d_k@yahoo.com Blog: edkeith.blogspot.com =0A=0A=0A