Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Re: [Caml-list] Cygwin Bootstrapping Failure
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: HFX <hellflame@n...>
Subject: Re: [Caml-list] Cygwin Bootstrapping Failure
As the Readme.win32 file states I build it using the Unix directions 
from the INSTALL file.

I build as follows.

mkdir logs
./configure -verbose > logs/configure.log 2>&1
make world > logs/world.log 2>&1'
tail logs/world.log

seems fine

make bootstrap > logs/bootstrap.log 2>&1
tail logs/bootstrap.log

Error message is as follows:
sh ./runocamldoc false -man -d stdlib_man -I ../parsing -I ../utils -I 
  -I ../driver -I ../bytecomp -I ../tools -I ../toplevel/ -I ../stdlib 
-I ../othe
rlibs/str -I ../otherlibs/dynlink -I ../otherlibs/unix -I 
../otherlibs/num -I ..
/otherlibs/graph \
-t "OCaml library" -man-mini -man-suffix 3o \
../stdlib/*.mli ../otherlibs/unix/unix.mli ../otherlibs/str/str.mli 
/bigarray/bigarray.mli ../otherlibs/num/num.mli
make[2]: Leaving directory 
make[1]: Leaving directory `/home/Administrator/downloads/ocaml-3.07'
make compare
make[1]: Entering directory `/home/Administrator/downloads/ocaml-3.07'
boot/ocamlc ocamlc differ: char 137, line 2
Fixpoint not reached, try one more bootstrapping cycle.
make[1]: Leaving directory `/home/Administrator/downloads/ocaml-3.07'

Next I try to do the optimized compiler

make opt > logs/opt.log 2>&1
tail logs/opt.log

Seems fine.

make opt.opt > logs/opt.opt.log 2>&1
tail logs/opt.opt.log

Seems fine also

So the only problem I seem to have found is with trying to bootstrap the 
bytecode compiler.

System is as follows:

Athlon 2000 XP on an Asus A7V333
512 Megs of RAM
Geforce 2 MX 400 64 Meg
Windows 2000 w SP4 and all other patches
Cygwin D/L and install as of September 20, 2003

I hope this helps.


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: