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=0.0 required=5.0 tests=HTML_MESSAGE autolearn=disabled version=3.1.3 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 9021ABBAF for ; Mon, 26 May 2008 07:18:17 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtQHACLlOUjAXQIniGdsb2JhbACCOTSKHYUuAQEBDyCZCA X-IronPort-AV: E=Sophos;i="4.27,540,1204498800"; d="sig'?scan'208,217";a="26598666" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 26 May 2008 07:18:17 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m4Q5IGrn016143 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 26 May 2008 07:18:17 +0200 X-IronPort-AV: E=Sophos;i="4.27,540,1204498800"; d="sig'?scan'208,217";a="12697906" Received: from unknown (HELO [192.168.1.140]) ([78.13.71.56]) by mail1-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 26 May 2008 07:18:16 +0200 Message-Id: From: Alan Schmitt To: caml-list@inria.fr In-Reply-To: Content-Type: multipart/signed; protocol="application/pgp-signature"; micalg=pgp-sha1; boundary="Apple-Mail-103--603825068" Mime-Version: 1.0 (Apple Message framework v919.2) Subject: Re: [Caml-list] Re: Building a universal binary on OS X? Date: Mon, 26 May 2008 07:18:12 +0200 References: <46105D6E-BE5B-4473-B24A-75B0F86C4EC2@polytechnique.org> X-Pgp-Agent: GPGMail d51 (Leopard) Content-Transfer-Encoding: 7bit X-Mailer: Apple Mail (2.919.2) X-Miltered: at concorde with ID 483A4818.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; schmitt:01 schmitt:01 bug:01 bug:01 ocaml:01 compiler:01 ocaml:01 compiler:01 wrote:01 wrote:01 caml-list:01 alan:02 alan:02 caml:02 caml: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-103--603825068 Content-Type: multipart/alternative; boundary=Apple-Mail-102--603825141 --Apple-Mail-102--603825141 Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit On 26 mai 08, at 06:43, Nathaniel Gray wrote: > See also: > http://caml.inria.fr/mantis/bug_view_advanced_page.php?bug_id=4303 Thanks. Unfortunately Xavier Leroy said there "What you will never have, however, is a single OCaml compiler executable that can generate code for several target architectures.". Which is exactly what I was dreaming of :( Alan --Apple-Mail-102--603825141 Content-Type: text/html; charset=US-ASCII Content-Transfer-Encoding: 7bit
On 26 mai 08, at 06:43, Nathaniel Gray wrote:

See also:
http://caml.inria.fr/mantis/bug_view_advanced_page.php?bug_id=4303

Thanks. Unfortunately Xavier Leroy said there "What you will never have, however, is a single OCaml compiler executable that can generate code for several target architectures.". Which is exactly what I was dreaming of :(

Alan
--Apple-Mail-102--603825141-- --Apple-Mail-103--603825068 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 v1.4.7 (Darwin) iD8DBQFIOkgUNIAqM4hFUWgRAgQpAJsF9ZR0FQ4+0nkNQSPEEcHH1v+zVgCfZr8e h6QNlVqCtrVYt8v0HsfeYbI= =uvjW -----END PGP SIGNATURE----- --Apple-Mail-103--603825068--