From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id BF025BC37 for ; Tue, 26 Jan 2010 21:10:35 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AucBAOfaXktCxGTrkWdsb2JhbACPY4IDiigBAQEBCQsKBxMDrh2BQIUyiEcBBAQBhDQE X-IronPort-AV: E=Sophos;i="4.49,347,1262559600"; d="scan'208";a="54739318" Received: from web58906.mail.re1.yahoo.com ([66.196.100.235]) by mail4-smtp-sop.national.inria.fr with SMTP; 26 Jan 2010 21:10:34 +0100 Received: (qmail 36720 invoked by uid 60001); 26 Jan 2010 20:10:33 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1264536633; bh=wMsHWhEs0f8sSu6qrq2rrfLB26L0TGZnIK7Tl1HJdpI=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type; b=OcJ0oADpAjWRB6K4nk9rLoLCXyD+/y2srFVAgv/+CeeLFmLTO2kw/dPHEAXtEXjvM1E3r7zhEwzxhyurbHrJCdkCX07358vH7ijFGozb8utnlqwVyLwQDhJkBgcjSCSOJ84hEeUoi+we3JGsEZtxryEJhu6WixhUSwfiEYWG7WQ= 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; b=fM6uf/z2wIsp07PqdQcs217FpUk9yhBCsA1ShUXD+dV4JGxE9k+QkTfy19IfVAb6OueTzDSdzP5oIBdvgIOIjtHcbysTboEgFviPJinPFXaE+E9TNi+WsQ84HIHFL2Eqclw1RTDJ77kUdgpYCNiaWmHzRSZuvEJiQZxUg3xqxBY=; Message-ID: <753647.36081.qm@web58906.mail.re1.yahoo.com> X-YMail-OSG: wKxRNeUVM1n4VbGVcix3MqMDi1l0msuhRz_oqPHhtGcFrmknuTt7iRBywGSyKiCWZBp9PFFrRSQ2qcU5Jut.Y6sdKL7Ko24eerk8b833.mTDg5KyjUUVCKotTSSXhu_NCUc97yqmi5UDL7yUv.Y6JXWXyBQ6YxrtrRGl_E0YMx2OUplxxL4mXZho3h_P_Hh1Yazfvs6OvTO87Ld8AzUwA.1eOLEVEsREzeOlr.Tlel3L5k_xRZIeSbGwI4e2Fqa9cDULlUZxLg.FR6cImy89wVBZ7AKToWuNclzW8jNVhm3e6tGzoCnBDKFe8dBhVmTaGWFLX4uu6ibs3h5r3iGJBC9Qd_QxJ4Zsc6bQ_ypc.L8e.fYS7StbuGUDycttBwiIZGsIWsTsEDKczuTnYTSl5RgSQTy.F9IOn7DTTWwnskM7MXtpzpzRSU80pbMrYkP2TCjU3M4mZ_U8tTgVZvHRZYPJnvkt Received: from [129.44.188.68] by web58906.mail.re1.yahoo.com via HTTP; Tue, 26 Jan 2010 12:10:33 PST X-Mailer: YahooMailClassic/9.1.10 YahooMailWebService/0.8.100.260964 Date: Tue, 26 Jan 2010 12:10:33 -0800 (PST) From: Ed Keith Subject: Re: [Caml-list] Unable to reach fixpoint building ocaml 3.11.2 on cygwin To: Alain Frisch Cc: caml-list@inria.fr In-Reply-To: <4B5F45C1.60201@frisch.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam: no; 0.00; fixpoint:01 ocaml:01 cygwin:01 frisch:01 frisch:01 fixpoint:01 ocaml:01 cygwin:01 makefile:01 mingw:01 4096:01 lexifi's:01 ocamlopt:01 10,:98 26,:98 --- On Tue, 1/26/10, Alain Frisch wrote: > From: Alain Frisch > Subject: Re: [Caml-list] Unable to reach fixpoint building ocaml 3.11.2 on cygwin > To: "Ed Keith" > Cc: caml-list@inria.fr > Date: Tuesday, January 26, 2010, 2:42 PM > On 26/01/2010 16:19, Ed Keith wrote: > > 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: > > COFF/PE files (Windows' objects and executables) contain a > timestamp. Bootstrapping will reach a fixpoint only modulo > the timestamp. You can see in Makefile.nt (used by MSVC and > Mingw ports, not Cygwin) that comparison is done by > discarding the first 4096 bytes. > > Btw, these timestamps force useless commands with build > tools that rely on file contents (like ocamlbuild or omake). > LexiFi's version of ocamlopt resets the timestamp on files > that it produces so as to avoid this problem. > > > Alain > > Thank you for the explanation. -EdK Ed Keith e_d_k@yahoo.com Blog: edkeith.blogspot.com