Hello,

I'm trying to compile 3.11 on mingw using Godi, and I get the  
following error when compiling pcre during bootstrap_stage2:

===> Building for godi-pcre-5.16.4godi1
make[7]: Entering directory `/home/Administrateur/godi/build/godi/godi- 
pcre/work/pcre-ocaml-5.16.4'
make[7]: *** No rule to make target `pcre.mli', needed by `pcre.cmi'.   
Stop.

The problem seems to be fairly simple: all the files are in the libs  
subdirectory, but the Makefile seems to assume they are local.  
Unfortunately I don't know how to fix it.

Alan