From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 9226F7F860 for ; Sat, 22 Feb 2014 21:24:38 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of rjones@redhat.com) identity=pra; client-ip=209.132.183.28; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rjones@redhat.com"; x-sender="rjones@redhat.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of rjones@redhat.com designates 209.132.183.28 as permitted sender) identity=mailfrom; client-ip=209.132.183.28; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rjones@redhat.com"; x-sender="rjones@redhat.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@mx1.redhat.com designates 209.132.183.28 as permitted sender) identity=helo; client-ip=209.132.183.28; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rjones@redhat.com"; x-sender="postmaster@mx1.redhat.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgoCAIMGCVPRhLccnGdsb2JhbABaFoMrwGY7gQoWDgEBAQEBCAsJCRQogiUBAQU6PxALGAklDwU1AROIGA3JNheOZAeDJIEUBJgzAYEyizGIcTw X-IPAS-Result: AgoCAIMGCVPRhLccnGdsb2JhbABaFoMrwGY7gQoWDgEBAQEBCAsJCRQogiUBAQU6PxALGAklDwU1AROIGA3JNheOZAeDJIEUBJgzAYEyizGIcTw X-IronPort-AV: E=Sophos;i="4.97,526,1389740400"; d="scan'208";a="50074262" Received: from mx1.redhat.com ([209.132.183.28]) by mail3-smtp-sop.national.inria.fr with ESMTP; 22 Feb 2014 21:24:30 +0100 Received: from int-mx11.intmail.prod.int.phx2.redhat.com (int-mx11.intmail.prod.int.phx2.redhat.com [10.5.11.24]) by mx1.redhat.com (8.14.4/8.14.4) with ESMTP id s1MKOQJh004243 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK); Sat, 22 Feb 2014 15:24:26 -0500 Received: from localhost (vpn1-6-185.ams2.redhat.com [10.36.6.185]) by int-mx11.intmail.prod.int.phx2.redhat.com (8.14.4/8.14.4) with ESMTP id s1MKOOUx012202; Sat, 22 Feb 2014 15:24:25 -0500 Date: Sat, 22 Feb 2014 20:24:23 +0000 From: "Richard W.M. Jones" To: Gabriel Kerneis Cc: Adrien Nader , =?iso-8859-1?Q?Beno=EEt?= Vaugon , caml-list@inria.fr Message-ID: <20140222202423.GF1346@redhat.com> References: <20140218185032.GA20593@notk.org> <5306330F.1020401@inria.fr> <20140221075326.GC7924@notk.org> <53073EFA.2020501@gmail.com> <20140222143035.GB19246@notk.org> <20140222151639.GA5070@kerneis.info> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20140222151639.GA5070@kerneis.info> User-Agent: Mutt/1.5.20 (2009-12-10) X-Scanned-By: MIMEDefang 2.68 on 10.5.11.24 X-Validation-by: rjones@redhat.com Subject: Re: [Caml-list] [RFC] Remaining changes for cross-compilation support in OCaml On Sat, Feb 22, 2014 at 03:16:40PM +0000, Gabriel Kerneis wrote: > On Sat, Feb 22, 2014 at 03:30:35PM +0100, Adrien Nader wrote: > > By the way, the patches I've worked on were not started by me. However I > > cannot trace their path properly; as far as I can tell, they were > > started in Fedora, then went through debian and then mxe.cc. > > As far as I can tell, Richard Jones, from Red Hat, is the original > author: > http://caml.inria.fr/pub/ml-archives/caml-list/2008/11/48e7c6b3a40e5fa1d9555a3447820161.fr.html Quite a while back I hacked the OCaml compiler to enable cross- compilation. It kinda-sorta worked, but it was obvious [at that time, 2008 apparently] that it would take a lot of work upstream to make the compiler friendly to cross-compilation. I haven't look at cross-compilation of OCaml since, although of course I'm still working on Fedora packaging, Aarch64 porting &c so I am still fairly familiar with the compiler build system & internals. Anyway, not sure what you were hoping I could do, except wish you good luck! Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Fedora Windows cross-compiler. Compile Windows programs, test, and build Windows installers. Over 100 libraries supported. http://fedoraproject.org/wiki/MinGW