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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 4BC0FBBC4 for ; Wed, 15 Apr 2009 09:36:39 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.40,191,1238968800"; d="sig'?scan'208";a="26269096" Received: from charm.inrialpes.fr ([194.199.25.104]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 15 Apr 2009 09:36:38 +0200 Message-Id: <5963048A-A035-40EB-9DD9-26600FBC25D3@polytechnique.org> From: Alan Schmitt To: caml-list@inria.fr, godi-list@ocaml-programming.de In-Reply-To: Content-Type: multipart/signed; protocol="application/pgp-signature"; micalg=pgp-sha1; boundary="Apple-Mail-2--519207719" Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v930.3) Subject: Re: Compiling 3.11 with Godi/mingw Date: Wed, 15 Apr 2009 09:36:37 +0200 References: 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 10,:98 wrote:01 compile:01 alan:02 alan:02 compiling:02 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-2--519207719 Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit 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 --Apple-Mail-2--519207719 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) iEYEARECAAYFAknljocACgkQNIAqM4hFUWhAggCeLqi6O/Nud9s8lGd2gRi3maaS Mw8AnigTGsQd73U59Ao2cKAuvpj4rWRI =cRMI -----END PGP SIGNATURE----- --Apple-Mail-2--519207719--