Unable to reach fixpoint building ocaml 3.11.2 on cygwin

Unable to reach fixpoint building ocaml 3.11.2 on cygwin

[Ed Keith]

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


      

Re: [Caml-list] Unable to reach fixpoint building ocaml 3.11.2 on cygwin

[Goswin von Brederlow]

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

Re: [Caml-list] Unable to reach fixpoint building ocaml 3.11.2 on cygwin

[Ed Keith]

--- 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?

    -EdK

Ed Keith
e_d_k@yahoo.com

Blog: edkeith.blogspot.com

Re: [Caml-list] Unable to reach fixpoint building ocaml 3.11.2 on cygwin

[rixed]

-[ Tue, Jan 26, 2010 at 11:00:07AM -0800, Ed Keith ]----
> > > boot/ocamlc ocamlc differ: byte 137, line 2
> 
> Any other ideas?

Maybe looking at the diff more closely could bring some ?

Re: [Caml-list] Unable to reach fixpoint building ocaml 3.11.2 on cygwin

[Ed Keith]

--- 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

Re: [Caml-list] Unable to reach fixpoint building ocaml 3.11.2 on cygwin

[Alain Frisch]

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

Re: [Caml-list] Unable to reach fixpoint building ocaml 3.11.2 on cygwin

[Ed Keith]

--- On Tue, 1/26/10, Alain Frisch <alain@frisch.fr> wrote:

> From: Alain Frisch <alain@frisch.fr>
> 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, 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