caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* Compiling 3.11 with Godi/mingw
@ 2009-04-08 14:10 Alan Schmitt
  2009-04-15  7:36 ` Alan Schmitt
  0 siblings, 1 reply; 2+ messages in thread
From: Alan Schmitt @ 2009-04-08 14:10 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 540 bytes --]

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

[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 195 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: Compiling 3.11 with Godi/mingw
  2009-04-08 14:10 Compiling 3.11 with Godi/mingw Alan Schmitt
@ 2009-04-15  7:36 ` Alan Schmitt
  0 siblings, 0 replies; 2+ messages in thread
From: Alan Schmitt @ 2009-04-15  7:36 UTC (permalink / raw)
  To: caml-list, godi-list

[-- Attachment #1: Type: text/plain, Size: 724 bytes --]

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

[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 195 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2009-04-15  7:36 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-04-08 14:10 Compiling 3.11 with Godi/mingw Alan Schmitt
2009-04-15  7:36 ` Alan Schmitt

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).