English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Compiling 3.11 with Godi/mingw
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-04-08 (14:10)
From: Alan Schmitt <alan.schmitt@p...>
Subject: Compiling 3.11 with Godi/mingw

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- 
make[7]: *** No rule to make target `pcre.mli', needed by `pcre.cmi'.   

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.