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 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 D85A6BBAF for ; Wed, 15 Oct 2008 19:41:30 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmsDAM/H9UjAXQImiGdsb2JhbACTIj4BAQEVIqVsh3sBAwEDgWiBfw X-IronPort-AV: E=Sophos;i="4.33,417,1220220000"; d="scan'208";a="18776639" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 15 Oct 2008 19:41:30 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9FHfUZW026255 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 15 Oct 2008 19:41:30 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag8BAEjI9UjY7zq4k2dsb2JhbACTIj4BAQEBCQkKCREDpXKHewEDAQOBaIF/ X-IronPort-AV: E=Sophos;i="4.33,417,1220220000"; d="scan'208";a="30379477" Received: from gv-out-0910.google.com ([216.239.58.184]) by mail4-smtp-sop.national.inria.fr with ESMTP; 15 Oct 2008 19:41:29 +0200 Received: by gv-out-0910.google.com with SMTP id s4so629735gve.28 for ; Wed, 15 Oct 2008 10:41:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:cc:message-id:from:to :in-reply-to:content-type:content-transfer-encoding:mime-version :subject:date:references:x-mailer:sender; bh=9XhmwoU1eD3aWL/cF0CGcIDSeHlprJMwXsU2jiNuKzo=; b=azsqteCFgC6PhjPC3KLcpiFxlhr43mKUj+bNT3HnsrDLiGc03XdQz+cQ3HW4+FAhsv y7Epf5U+i2IYjKvSJSDyDhwTwn6uS6bj6ADHc/vjQoenLZwoE4iaKdLR/igvuhOYj/Sg /9FCkE8kAb4sVbQ+iEi37kTy0ZUyYnN/S8/qU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=cc:message-id:from:to:in-reply-to:content-type :content-transfer-encoding:mime-version:subject:date:references :x-mailer:sender; b=Rs66GUWVFwuadwwnHCvLEVzvleZYmZ9JmL0e/7Qc4DZb8KasvHEhcyRbmZ44PKBj7I PyELCVyzKokN3M5eMicUg3B1b1+2WAkfHVkRuMOgPjt36R6oAXCjRkJnyNioaYY8UmBR AVkWNlIgajauKaYwSzqu0b1ZsTn3mbFGNZFts= Received: by 10.86.82.6 with SMTP id f6mr1581858fgb.78.1224092489033; Wed, 15 Oct 2008 10:41:29 -0700 (PDT) Received: from ?10.0.1.2? (130-4.2-85.cust.bluewin.ch [85.2.4.130]) by mx.google.com with ESMTPS id e20sm426817fga.1.2008.10.15.10.41.27 (version=TLSv1/SSLv3 cipher=RC4-MD5); Wed, 15 Oct 2008 10:41:28 -0700 (PDT) Cc: caml users Message-Id: From: =?ISO-8859-1?Q?Daniel_B=FCnzli?= To: Damien Doligez In-Reply-To: <98A6F614-44AB-4E08-B726-D17AC55885B5@gmail.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Apple Message framework v929.2) Subject: Re: [Caml-list] OCaml version 3.11.0+beta1 Date: Wed, 15 Oct 2008 19:41:03 +0200 References: <83E04F95-55DD-470E-9C6D-98FA15AE0CE0@inria.fr> <1477A5A4-3533-4A62-AF02-07F860E56773@gmail.com> <48F6068E.70904@frisch.fr> <531C59E9-ECF3-48A6-AB2C-7CF5D04BF63F@erratique.ch> <98A6F614-44AB-4E08-B726-D17AC55885B5@gmail.com> X-Mailer: Apple Mail (2.929.2) Sender: =?UTF-8?B?RGFuaWVsIELDvG56bGk=?= X-Miltered: at discorde with ID 48F62B4A.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bunzli:01 buenzli:01 ocaml:01 dynlink:01 mingw:01 cygwin:01 dynlink:01 cmi:01 bytecode:01 cmxa:01 camlp:01 cmxa:01 mli:01 macosx:01 compile:01 Le 15 oct. 08 =E0 17:27, Andres Varon a =E9crit : >>> The native Dynlink is known to work under Linux x86, Linux AMD64, =20= >>> Win32 (mingw/msvc ports). It has been lightly tested under Win64, =20= >>> some flavors of BSDs and also the Cygwin port. >> >> And on macosx ? It seems here on 10.5.5 that only dynlink.cma and =20 >> dynlink.cmi for bytecode get installed. So I guess there's no =20 >> support. What about the future ? > > It was installed here: Mac OS X 10.5.5 x86. Maybe this is an issue =20= > that I mentioned before in the list and got no response?: At least =20 > one cmxa only get installed if you make opt.opt. camlp4fulllib.cmxa =20= > was not installed with only make opt (which led to broken =20 > installations that would not let my apps compile). In fact it was compiled but not installed. I'm using fastword.sh on =20 10.5.5. x86 and it seems install.sh doesn't install dynlink.cmxa and =20 dynlink.mli Best, Daniel