From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p16BI2ZI029433
	for <caml-list@sympa-roc.inria.fr>; Sun, 6 Feb 2011 12:18:02 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhcBAHISTk3RVaA2kGdsb2JhbAClJwgVAQEBAQkJDAcRBCCgZooMgheDQi+IWQEBAwWFVQSEeIZvgy5uhBI6gn8
X-IronPort-AV: E=Sophos;i="4.60,433,1291590000"; 
   d="scan'208";a="90745830"
Received: from mail-pw0-f54.google.com ([209.85.160.54])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-MD5; 06 Feb 2011 12:17:56 +0100
Received: by pwi10 with SMTP id 10so847501pwi.27
        for <caml-list@inria.fr>; Sun, 06 Feb 2011 03:17:55 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:subject:mime-version:content-type:from
         :in-reply-to:date:cc:content-transfer-encoding:message-id:references
         :to:x-mailer;
        bh=Ghd93KPuG6cTsJHTm9cIrg3RVU7WdS0XTiZzCenNwQg=;
        b=F8yw9Bykez1+8u4zDEB6/4lAbe4BUs7OwtOf2XGGDyMQ/3xkJkWP+g5wbxJBlBRdea
         bRcv+ODlB4ixU1OQ8yASi8uRztOzLLtSUCi6PNGnTiWDlBerCFS4kiJsf9Ydg7lTllqQ
         99ZzAzP0JnpPsVvZjpsE+aCcz7QN19EKuB07Q=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=subject:mime-version:content-type:from:in-reply-to:date:cc
         :content-transfer-encoding:message-id:references:to:x-mailer;
        b=QcgU8RgMNO/J3hDGARYIr1BztglBfjqy0qFDgWKPg4Cz69B0rZrWde3G+l12fKd+15
         TVnK/1+vjBpaMvnw5Y+xj0xZfC9tBHBExdsAatDzzR+tsH6EX6ea5XsiqbpZwCBaqjHl
         2zD6lM5560tbQHIWgkCSMBcP+/aUN3/vfS4Yw=
Received: by 10.142.177.1 with SMTP id z1mr3636812wfe.133.1296991074531;
        Sun, 06 Feb 2011 03:17:54 -0800 (PST)
Received: from [10.71.8.31] ([203.126.139.254])
        by mx.google.com with ESMTPS id w42sm4140059wfh.15.2011.02.06.03.17.52
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Sun, 06 Feb 2011 03:17:53 -0800 (PST)
Mime-Version: 1.0 (Apple Message framework v1082)
Content-Type: text/plain; charset=us-ascii
From: Joel Reymont <joelr1@gmail.com>
In-Reply-To: <FE132A19-256E-409E-B421-5BAE086AC8DB@math.harvard.edu>
Date: Sun, 6 Feb 2011 19:17:50 +0800
Cc: caml-list@inria.fr
Message-Id: <83BED8D7-7A14-4A2B-B08E-05B179C28874@gmail.com>
References: <BC721858-4D0D-4ACF-9560-7B5238DCE6A0@math.harvard.edu> <20110205202152.6dd14cbf.basile@starynkevitch.net> <0E15CF0E-066D-4011-9426-29FD400108B5@gmail.com> <300769D8-9CD2-49F8-A398-F6AE659861BB@math.harvard.edu> <0BC465F5-96AC-4326-8151-BE6795067156@gmail.com> <FE132A19-256E-409E-B421-5BAE086AC8DB@math.harvard.edu>
To: Nicolas Ojeda Bar <nojb@math.harvard.edu>
X-Mailer: Apple Mail (2.1082)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p16BI2ZI029433
Subject: Re: [Caml-list] native dynlink


On Feb 6, 2011, at 8:33 AM, Nicolas Ojeda Bar wrote:

> I tried reinstalling ocaml, but (as you can see in the output of the configure script),
> it doesn't support native dynlink on my platform (32bit, OS X). I found in

Use 64-bit binaries? Mac OSX is perfectly capable of dealing with them, even in 32-bit kernel mode.

ocamlopt -I +camlp4 dynlink.cmxa camlp4lib.cmxa -pp camlp4of foo.ml
ls foo*
foo.cmi	foo.cmx	foo.ml	foo.o

uname -a
Darwin biggie.local 10.6.0 Darwin Kernel Version 10.6.0: Wed Nov 10 18:13:17 PST 2010; root:xnu-1504.9.26~3/RELEASE_I386 i386

file foo.o
foo.o: Mach-O 64-bit object x86_64

--------------------------------------------------------------------------
- mac osx device driver ninja, kernel extensions and user-land usb drivers
---------------------+------------+---------------------------------------
http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont
---------------------+------------+---------------------------------------