On 8 avr. 09, at 16:10, Alan Schmitt wrote:

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

Anyone has managed to install 3.11 on Windows/mingw with godi? I  
haven't been able to solve this yet.

Thanks,

Alan