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.7 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id C9366BB84 for ; Mon, 19 May 2008 15:07:42 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AukBABcYMUjAXQImiGdsb2JhbACSLwEBAQ8gmTw X-IronPort-AV: E=Sophos;i="4.27,509,1204498800"; d="sig'?scan'208";a="12436312" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 19 May 2008 15:07:42 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m4JD7g5r020017 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 19 May 2008 15:07:42 +0200 X-IronPort-AV: E=Sophos;i="4.27,509,1204498800"; d="sig'?scan'208";a="10880190" Received: from n33d144.cs.unibo.it ([130.136.33.144]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 19 May 2008 15:07:42 +0200 Message-Id: <46105D6E-BE5B-4473-B24A-75B0F86C4EC2@polytechnique.org> From: Alan Schmitt To: caml-list@inria.fr Content-Type: multipart/signed; protocol="application/pgp-signature"; micalg=pgp-sha1; boundary="Apple-Mail-13-967027600" Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v919.2) Subject: Building a universal binary on OS X? Date: Mon, 19 May 2008 15:07:41 +0200 X-Pgp-Agent: GPGMail d51 (Leopard) X-Mailer: Apple Mail (2.919.2) X-Miltered: at discorde with ID 48317B9E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; schmitt:01 schmitt:01 summarize:01 ocamlopt:01 binaries:01 alan:02 alan:02 binary:02 binary:02 rfc:05 version:13 build:13 ppc:16 use:16 use:16 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-13-967027600 Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit Hello, Is this (http://alan.petitepomme.net/cwn/2007.09.18.html#1) the recommended way to build a universal binary on OS X? (To summarize: use a PPC version of ocamlopt and use lipo to glue the binaries together.) Thanks, Alan Schmitt --Apple-Mail-13-967027600 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) iD8DBQFIMXudNIAqM4hFUWgRAq4jAJ45aRfacWcy2AvvvZvdLaW8jZVNyACgiGWA oelES0t8UgHLOE10l35S3i0= =H3tx -----END PGP SIGNATURE----- --Apple-Mail-13-967027600--