On 2010-09-08, at 10:00, Corinna Vinschen wrote: >> wget http://yquem.inria.fr/~doligez/cygwin/ocaml-3.12.0-2-src.tar.bz2 >> wget http://yquem.inria.fr/~doligez/cygwin/ocaml-3.12.0-2.tar.bz2 > > Do you also have an URL to the new setup.hint file?
wget http://yquem.inria.fr/~doligez/cygwin/setup.hint > Oh, btw., since Yaakov has now ITPed FlexDLL, are you going to rebuild > ocaml with FlexDLL support? Yes, of course. -- Damien
