From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBJ3B1CZ011439 for ; Mon, 19 Dec 2011 04:11:01 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoMBAGqq7k7RVde2kGdsb2JhbAApGqtSCCIBAQEBCQkNBxQEIYFyAQEBBBICLAEbHQEDDAYFCzsiAREBBQEcBhMUDodgI5odCotlgmuEFT+IcQIFC4t5BIg2jEiKcIMIPYQY X-IronPort-AV: E=Sophos;i="4.71,374,1320620400"; d="scan'208";a="135951395" Received: from mail-ey0-f182.google.com ([209.85.215.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Dec 2011 04:10:56 +0100 Received: by eaaf13 with SMTP id f13so8004849eaa.27 for ; Sun, 18 Dec 2011 19:10:55 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding; bh=KnU/yl0+imFYvsIZ9phpZcSEY4KqZohJtD/A4VwR/xI=; b=aAQ92XgXZIyUSv5/PeXSXlGEYdjKU5j9ibYONfyjJ834mfCbpqJmbAbtxHKuD2Ch/m zyUdRP+qB8pvudP307oNHoL+bkCpR4eMbHaDL4KfuvIwX0rKW7SiZXdsiSDQtZ/WrjHW 1mcGG9Kgfr5Or4lZfXv6HP04Lj2vj0ZRRkrJU= Received: by 10.205.128.132 with SMTP id he4mr949257bkc.123.1324264255337; Sun, 18 Dec 2011 19:10:55 -0800 (PST) MIME-Version: 1.0 Received: by 10.204.35.18 with HTTP; Sun, 18 Dec 2011 19:10:34 -0800 (PST) In-Reply-To: <4EE5EF49.80108@frisch.fr> References: <4EE5EF49.80108@frisch.fr> From: Romain Beauxis Date: Sun, 18 Dec 2011 21:10:34 -0600 Message-ID: To: Alain Frisch Cc: caml-list Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pBJ3B1CZ011439 Subject: Re: [Caml-list] About the "mingw" port of OCaml Hi all, 2011/12/12 Alain Frisch : > The mingw port of OCaml was not in a good shape, because of changes in > Cygwin: > >  - We used to rely on the normal Cygwin gcc compiler, using the >    -mno-cygwin flag. This is no longer available for recent versions >    of gcc shipped in Cygwin. There is still a gcc-3.exe, but it >    is not clear whether it will be supported in the future. > >  - There are now two modern versions of gcc, available in cygwin, >    which supports compiling in "mingw" mode (32-bit mode): > >      * A packaged version of the compiler from the MinGW.org project: >        i686-pc-mingw32-gcc.exe > >      * A packaged version of the compiler from the mingw-w64 project: >        i686-w64-mingw32-gcc > > > Future versions of the OCaml mingw port should be based on one of these two > versions.  I'd be interested to hear if anyone in the community has any > advice on which one to choose.  Feel free to comment on this list, or on the > bug tracker: > >   http://caml.inria.fr/mantis/view.php?id=5179 > > Currently, flexdll (version 0.27) and OCaml (SVN trunk version) have been > adapted to work with the mingw-w64 version (32-bit only, for now), but if > there are arguments in favor of the other one, it should not be difficult to > switch (supporting both is not technically difficult, but it might create > useless confusion). For what it's worth, the OCaml cross-compiler in debian (http://packages.debian.org/mingw-ocaml) has been switched to i686-w64-.. after a request from the guys maintaining mingw in debian (see: http://bugs.debian.org/624533). Romain