From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p7CBtaPn004287 for ; Fri, 12 Aug 2011 13:55:36 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiMBAIkURU5RZ90wkWdsb2JhbABBp3YUAQEBAQkLCwcUAyKBQAEBAQECATo/BQsCAQgUAQMKFBAhESUCBAENBQgSh1UCArwIhWhfBJMQiXWGfA X-IronPort-AV: E=Sophos;i="4.67,362,1309730400"; d="scan'208";a="105315101" Received: from mtaout02-winn.ispmail.ntl.com ([81.103.221.48]) by mail4-smtp-sop.national.inria.fr with ESMTP; 12 Aug 2011 13:55:31 +0200 Received: from aamtaout02-winn.ispmail.ntl.com ([81.103.221.35]) by mtaout02-winn.ispmail.ntl.com (InterMail vM.7.08.04.00 201-2186-134-20080326) with ESMTP id <20110812115530.EJFY3933.mtaout02-winn.ispmail.ntl.com@aamtaout02-winn.ispmail.ntl.com>; Fri, 12 Aug 2011 12:55:30 +0100 Received: from romulus.metastack.com ([81.102.132.77]) by aamtaout02-winn.ispmail.ntl.com (InterMail vG.3.00.04.00 201-2196-133-20080908) with ESMTP id <20110812115529.INBB5924.aamtaout02-winn.ispmail.ntl.com@romulus.metastack.com>; Fri, 12 Aug 2011 12:55:29 +0100 Received: from remus.metastack.local ([172.16.0.1]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id p7CBtQ19003318 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=FAIL); Fri, 12 Aug 2011 12:55:26 +0100 Received: from Remus.metastack.local ([fe80::547c:3c42:e1da:eda2]) by Remus.metastack.local ([fe80::547c:3c42:e1da:eda2%10]) with mapi id 14.01.0289.001; Fri, 12 Aug 2011 12:55:26 +0100 From: David Allsopp To: Adrien , "matthieu.dubuget@gmail.com" CC: Caml Mailing List Thread-Topic: [Caml-list] Trying to setup mingw OCaml 3.12.1 + fresh cygwin Thread-Index: AQHMVdh9l+REd+3Mk0q3skpGAgPVZ5UVuYkAgAANi4CAABSCgIADRSlg Date: Fri, 12 Aug 2011 11:55:25 +0000 Message-ID: References: <4E3FF432.3000705@gmail.com> <4E42526F.8000200@gmail.com> In-Reply-To: Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [172.16.0.7] Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Organization: MetaStack Solutions Ltd. X-Scanned-By: MIMEDefang 2.65 on 81.102.132.77 X-Cloudmark-Analysis: v=1.1 cv=JvdXmxIgLJv2/GthKqHpGJEEHukvLcvELVXUanXFreg= c=1 sm=0 a=40hZHaDki8MA:10 a=qaT99oF4BSAA:10 a=cTs9vV391PwA:10 a=kj9zAlcOel0A:10 a=xqWC_Br6kY4A:10 a=pGLkceISAAAA:8 a=SGJpDYsEAAAA:8 a=8pif782wAAAA:8 a=-szcLt94PHAzvWLJ03UA:9 a=CjuIK1q_8ugA:10 a=MSl-tDqOz04A:10 a=dTth3pfvbawA:10 a=Uh3UoAhXq31-w4oZ:21 a=FJCT_vvgCgEDlfvC:21 a=HpAAvcLHHh0Zw7uRqdWCyQ==:117 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p7CBtaPn004287 Subject: RE: [Caml-list] Trying to setup mingw OCaml 3.12.1 + fresh cygwin Adrien Nader wrote: > On 10/08/2011, Matthieu Dubuget wrote: > > > > Date: 10/08/2011 10:25 > > From: David Allsopp wrote: > >> Good to know that 64-bit MinGW is working - that said, I thought the > >> MinGW port was broken in 3.12.1 or is that not affected with the > >> 64-bit compiler? Could you share details on how you configured OCaml? > > > > This is not 64 bits. i686-w64-mingw32 is 32 bits. But for this, I > > adapted some patches borrowed from bug #5179, that may interest you. > By the way, ocaml's configure scripts have at least one problem: > windows uses the LLP64 model while linux and many others use the LP64 > model [1]. The endianess test uses a variable of type long and assumes it > is the same size as a pointer which is not the case on windows 64. > On C99, you can use (u)intptr_t and types from stddef.h (size_t, > ptrdiff_t, ...) instead. These types can also be used with GCC and > probably others even when in non-C99 mode. > > [1] http://en.wikipedia.org/wiki/LLP64#Specific_C-language_data_models > > If I remember correctly, you're still supposed to use the Makefile.nt > (make -f Makefile.nt) files with minor changes instead of calling > configure when using mingw and you're outside of cygwin which means the > issue won't always pop up but it's quite important to have this in mind > when porting to windows 64 (it's a common issue). That's correct - on Windows, you only run configure if you're targeting native Cygwin. There are alternate Makefiles in config/ and you edit and rename the one you need for the other ports. David