From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id A6C7CBBAF for ; Wed, 8 Apr 2009 16:10:30 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.38,431,1233529200"; d="sig'?scan'208";a="27295318" Received: from charm.inrialpes.fr ([194.199.25.104]) by mail1-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 08 Apr 2009 16:10:30 +0200 Message-Id: From: Alan Schmitt To: caml-list@inria.fr Content-Type: multipart/signed; protocol="application/pgp-signature"; micalg=pgp-sha1; boundary="Apple-Mail-4-1047106790" Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v930.3) Subject: Compiling 3.11 with Godi/mingw Date: Wed, 8 Apr 2009 16:10:28 +0200 X-Pgp-Agent: GPGMail 1.2.0 (v56) X-Mailer: Apple Mail (2.930.3) X-Spam: no; 0.00; schmitt:01 schmitt:01 mingw:01 mingw:01 pcre:01 pcre:01 libs:01 subdirectory:01 makefile:01 compile:01 alan:02 alan:02 compiling:02 compiling:02 seems:03 X-Attachments: type="application/pgp-signature" name="PGP.sig" name="PGP.sig" This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --Apple-Mail-4-1047106790 Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit 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 --Apple-Mail-4-1047106790 content-type: application/pgp-signature; x-mac-type=70674453; name=PGP.sig content-description: This is a digitally signed message part content-disposition: inline; filename=PGP.sig content-transfer-encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.10 (Darwin) iEYEARECAAYFAkncsFYACgkQNIAqM4hFUWig/QCgggZFJ0momPKLIQIFEdKFBHFL JT4An1RgWXoQRScKg7D7TtMdCXpwR4r5 =Vdk2 -----END PGP SIGNATURE----- --Apple-Mail-4-1047106790--