Version française
Home     About     Download     Resources     Contact us    
Browse thread
Unable to reach fixpoint building ocaml 3.11.2 on cygwin
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Ed Keith <e_d_k@y...>
Subject: Re: [Caml-list] Unable to reach fixpoint building ocaml 3.11.2 on cygwin
--- On Tue, 1/26/10, Ed Keith <e_d_k@yahoo.com> wrote:

> From: Ed Keith <e_d_k@yahoo.com>
> Subject: Re: [Caml-list] Unable to reach fixpoint building ocaml 3.11.2 on cygwin
> To: "Goswin von Brederlow" <goswin-v-b@web.de>
> Cc: caml-list@inria.fr
> Date: Tuesday, January 26, 2010, 2:00 PM
> --- On Tue, 1/26/10, Goswin von
> Brederlow <goswin-v-b@web.de>
> wrote:
> 
> > From: Goswin von Brederlow <goswin-v-b@web.de>
> > Subject: Re: [Caml-list] Unable to reach fixpoint
> building ocaml 3.11.2 on cygwin
> > To: "Ed Keith" <e_d_k@yahoo.com>
> > Cc: caml-list@inria.fr
> > Date: Tuesday, January 26, 2010, 10:42 AM
> > Ed Keith <e_d_k@yahoo.com>
> > writes:
> > 
> > > 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:  Clock skew detected. 
> > 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?
> > >
> > >    -EdK
> > >
> > >
> > > Ed Keith
> > > e_d_k@yahoo.com
> > >
> > > Blog: edkeith.blogspot.com
> > 
> > Maybe just fix all timestamps:
> > 
> > touch foo
> > find -exec touch -r foo "{}" \;
> > rm foo
> > make clean
> > make world
> > 
> > MfG
> >         Goswin
> > 
> 
> Thanks for the suggestion, but it did not help.
> 
> Again make world seems to work but make bootstrap never
> reaches fixpoint.
> 
> Any other ideas?

I'm beginning to suspect this is some kind of artifact. I ran make opt, make opt.opt and make install and all appeared to succeed. Everything seems to have installed correctly. I am testing it now.

    -EdK

Ed Keith
e_d_k@yahoo.com

Blog: edkeith.blogspot.com