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.2 required=5.0 tests=AWL,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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 30800BB84 for ; Fri, 23 May 2008 10:41:48 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah0CADcgNkjAXQIniGdsb2JhbACCNzaPSgEBAQ8gnGg X-IronPort-AV: E=Sophos;i="4.27,528,1204498800"; d="sig'?scan'208,217";a="11032592" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 23 May 2008 10:41:47 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m4N8flp8005842 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 23 May 2008 10:41:47 +0200 X-IronPort-AV: E=Sophos;i="4.27,528,1204498800"; d="sig'?scan'208,217";a="12949479" Received: from n33d144.cs.unibo.it ([130.136.33.144]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 23 May 2008 10:41:47 +0200 Message-Id: From: Alan Schmitt To: caml-list@inria.fr In-Reply-To: <46105D6E-BE5B-4473-B24A-75B0F86C4EC2@polytechnique.org> Content-Type: multipart/signed; protocol="application/pgp-signature"; micalg=pgp-sha1; boundary="Apple-Mail-29--850825750" Mime-Version: 1.0 (Apple Message framework v919.2) Subject: Re: [Caml-list] Building a universal binary on OS X? Date: Fri, 23 May 2008 10:41:31 +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 4836834B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; schmitt:01 schmitt:01 summarize:01 ocamlopt:01 ocaml:01 gerd:01 stolpmann:01 ocaml:01 gcc:01 summarize:01 ocamlopt:01 gerd:01 stolpmann:01 gcc:01 xcode:98 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-29--850825750 Content-Type: multipart/alternative; boundary=Apple-Mail-28--850825842 --Apple-Mail-28--850825842 Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit On 19 mai 08, at 15:07, Alan Schmitt wrote: > 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.) I've realized I may not have given enough details as to what I want to do here, so here they are. My goal is to be able to compile the OS GUI version of Unison on a single machine. Right now, using my intel-based notebook, I'm able to compile a version that runs both on 10.4 and 10.5, but only on intel. (By the way, compiling ocaml to manage this was not obvious. Here is how to do it using godi, thanks to Gerd Stolpmann: - net the following in godi.conf OCAML_CONF_ARGS=-cc "gcc -mmacosx-version-min=10.4" - rebuild godi-ocaml-src and godi-ocaml Then I can specify in Xcode that I'm targetting 10.4 as my minimum version, and I don't get any error when linking against the ocaml libraries.) The next step is to be able to build Universal Binaries versions of the ocaml libraries, so that I can tell Xcode to target both architectures. This implies that ocaml should be able to cross-compile to PPC, which I don't know if it can do. I think I remember an old message addressing this, but I have not been able to find it. If anyone could point me to the right direction, it would be very helpful. Thanks, Alan --Apple-Mail-28--850825842 Content-Type: text/html; charset=US-ASCII Content-Transfer-Encoding: quoted-printable
On 19 mai 08, at = 15:07, Alan Schmitt wrote:

Hello,

Is this (http://alan.pet= itepomme.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.)

I've realized I may not have = given enough details as to what I want to do here, so here they = are.

My goal is to be able to compile the OS = GUI version of Unison on a single machine. Right now, using my = intel-based notebook, I'm able to compile a version that runs both on = 10.4 and 10.5, but only on intel.

(By the way, = compiling ocaml to manage this was not obvious. Here is how to do it = using godi, thanks to Gerd Stolpmann:
- net the = following in godi.conf
OCAML_CONF_ARGS=3D-cc "gcc = -mmacosx-version-min=3D10.4"
- rebuild godi-ocaml-src and = godi-ocaml
Then I can specify in Xcode that I'm targetting = 10.4 as my minimum version, and I don't get any error when linking = against the ocaml libraries.)

The next step is = to be able to build Universal Binaries versions of the ocaml libraries, = so that I can tell Xcode to target both architectures. This implies that = ocaml should be able to cross-compile to PPC, which I don't know if it = can do.

I think I remember an old message = addressing this, but I have not been able to find = it.

If anyone could point me to the right = direction, it would be very = helpful.

Thanks,

Alan= --Apple-Mail-28--850825842-- --Apple-Mail-29--850825750 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) iD8DBQFINoM7NIAqM4hFUWgRAl5oAJ0ZhRzzvirRLWJDAWXI4eXLeZE9SACfYneG LHvSUeEcmJQUDa0KnVP+JU4= =HDxn -----END PGP SIGNATURE----- --Apple-Mail-29--850825750--