From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 38A3BBBAF for ; Wed, 24 Nov 2010 09:16:24 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuoCAAdZ7EzUUiSF/2dsb2JhbACUMT0BAY51iCu0PoVMBIUvhTA X-IronPort-AV: E=Sophos;i="4.59,247,1288566000"; d="scan'208";a="80091754" Received: from one4vision-tunnel.absint.com (HELO mail.absint.com) ([212.82.36.133]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Nov 2010 09:16:23 +0100 Received: from mail.absint.com (localhost [127.0.0.1]) by mail.absint.com (Postfix) with ESMTP id 2E51811C01C9 for ; Wed, 24 Nov 2010 09:16:15 +0100 (CET) X-Spam-Checker-Version: SpamAssassin 3.3.1-spampd (2010-03-16) on mail.absint.com X-Spam-Level: Received: from absint.com (imp.absint.com [192.168.10.48]) by mail.absint.com (Postfix) with ESMTP for ; Wed, 24 Nov 2010 09:16:15 +0100 (CET) Received: by absint.com (Postfix, from userid 15028) id 0B4F8105781; Wed, 24 Nov 2010 09:16:14 +0100 (CET) To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] OCaml + mingw-w64 From: Christoph Cullmann Organization: AbsInt Date: Wed, 24 Nov 2010 09:16:14 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Message-Id: <201011240916.14849.cullmann@absint.de> X-Spam: no; 0.00; ocaml:01 damien:01 ocaml:01 byterun:01 arises:01 asmrun:01 asmcomp:01 mls:01 patched:01 segfault:01 23,:98 gesch:98 ferdinand:98 doligez:01 wrote:01 On Tuesday, November 23, 2010 05:31:12 pm Christoph Cullmann wrote: > On Monday, November 22, 2010 04:33:08 pm Damien Doligez wrote: > > On 2010-11-22, at 13:04, Christoph Cullmann wrote: > > > In ocaml 3.12, in byterun/major_gc.h, there is: > > >=20 > > >=20 > > > intnat caml_major_collection_slice (long howmuch) > > >=20 > > >=20 > > >=20 > > > whereas in the .c file that is: > > >=20 > > >=20 > > > intnat caml_major_collection_slice (intnat howmuch) > > >=20 > > >=20 > > >=20 > > > As intnat is with mingw-w64 long long, this doesn't match. > > > Should not the header use intnat, too? > >=20 > > You're right. This will be fixed in 3.12.1. >=20 > Thanks. >=20 > We just started here to port ocaml to mingw-w64, question arises: >=20 > Which files need adoption? >=20 > I have seen that in asmrun the amd64.S needs patches and in asmcomp the > emit and proc mls. >=20 > Do I miss files? We started to have some version that at least links (with patched flexdll) = but=20 runs in a nice segfault already ;) Have uploaded the current changes to: http://caml.inria.fr/mantis/view.php?id=3D5179 Greetings Christoph =2D-=20 =2D------------------------------------- Christoph Cullmann --------- AbsInt Angewandte Informatik GmbH Email: cullmann@AbsInt.com Science Park 1 Tel: +49-681-38360-22 66123 Saarbr=FCcken Fax: +49-681-38360-20 GERMANY WWW: http://www.AbsInt.com =2D------------------------------------------------------------------- Gesch=E4ftsf=FChrung: Dr.-Ing. Christian Ferdinand Eingetragen im Handelsregister des Amtsgerichts Saarbr=FCcken, HRB 11234