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.4 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 807E7BBAF for ; Wed, 15 Oct 2008 17:27:33 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmsDAGeo9UjAXQImiGdsb2JhbACMFYdLAQEBFSKkd4kLgWs X-IronPort-AV: E=Sophos;i="4.33,417,1220220000"; d="scan'208";a="18771211" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 15 Oct 2008 17:27:33 +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 m9FFRPLp021390 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 15 Oct 2008 17:27:33 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoUAAOCo9UjYSfEMmmdsb2JhbACMFYdLAQEBAQEICwoHEQSkbYkLgWs X-IronPort-AV: E=Sophos;i="4.33,417,1220220000"; d="scan'208";a="16117445" Received: from info-smtp-004.amnh.org ([216.73.241.12]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Oct 2008 17:27:32 +0200 Received: from localhost (localhost.localdomain [127.0.0.1]) by info-smtp-004.amnh.org (Postfix) with ESMTP id 8612B1CD51C; Wed, 15 Oct 2008 11:27:31 -0400 (EDT) X-Virus-Scanned: amavisd-new at amnh.org Received: from info-smtp-004.amnh.org ([127.0.0.1]) by localhost (info-smtp-004.amnh.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id g2GgLyF8WO1s; Wed, 15 Oct 2008 11:27:30 -0400 (EDT) Received: from [10.0.1.4] (unknown [216.73.248.245]) by info-smtp-004.amnh.org (Postfix) with ESMTP id 9BAC71CD50C; Wed, 15 Oct 2008 11:27:30 -0400 (EDT) Cc: Alain Frisch , caml users Message-Id: <98A6F614-44AB-4E08-B726-D17AC55885B5@gmail.com> From: Andres Varon To: =?ISO-8859-1?Q?Daniel_B=FCnzli?= In-Reply-To: <531C59E9-ECF3-48A6-AB2C-7CF5D04BF63F@erratique.ch> 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 11:27:30 -0400 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> X-Mailer: Apple Mail (2.929.2) X-Miltered: at discorde with ID 48F60BDD.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 bunzli:01 dynlink:01 mingw:01 cygwin:01 dynlink:01 cmi:01 bytecode:01 cmxa:01 camlp:01 cmxa:01 beginner's:01 ocaml:01 bug:01 beginners:01 On Oct 15, 2008, at 11:22 AM, Daniel B=FCnzli wrote: > >> 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 one =20= cmxa only get installed if you make opt.opt. camlp4fulllib.cmxa was =20 not installed with only make opt (which led to broken installations =20 that would not let my apps compile). Andres > > > Thanks, > > Daniel > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs