From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id oBTDAp7G006327
	for <caml-list@sympa-roc.inria.fr>; Wed, 29 Dec 2010 14:10:51 +0100
X-IronPort-AV: E=Sophos;i="4.60,244,1291590000"; 
   d="scan'208";a="93345528"
Received: from mp-57040.rocqadm.inria.fr ([128.93.57.40])
  by mail1-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 29 Dec 2010 14:10:46 +0100
Mime-Version: 1.0 (Apple Message framework v1082)
Content-Type: text/plain; charset=iso-8859-1
From: xclerc <xavier.clerc@inria.fr>
In-Reply-To: <4d1b284f.0690d80a.7e68.283a@mx.google.com>
Date: Wed, 29 Dec 2010 14:10:46 +0100
Cc: xclerc Clerc <xavier.clerc@inria.fr>, Joel Reymont <joelr1@gmail.com>
Message-Id: <9B64214A-E56C-40C4-89D7-E6861CD593E8@inria.fr>
References: <62A9EF76-FCC0-49E3-A3CA-4816BDD92D1C@gmail.com> <4d1b284f.0690d80a.7e68.283a@mx.google.com>
To: caml-list@inria.fr
X-Mailer: Apple Mail (2.1082)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id oBTDAp7G006327
Subject: Re: [Caml-list] dllunix.so not installed


Le 29 déc. 2010 à 13:23, Nicolas Pouillard a écrit :

> On Tue, 28 Dec 2010 23:22:16 +0000, Joel Reymont <joelr1@gmail.com> wrote:
>> Any particular reason why I see this when running build/install.sh on Snow Leopard?

On my local Snow Leopard (a. k. a. MacOS X 10.6) machine, I get "dllunix.so" correctly
installed in "$prefix/lib/ocaml/stublibs" using either build process. That is any of:
  - "make world.opt" followed by "make install"
  - "./build/fastworld.sh" followed by "./build/install.sh"

These tests have been made with the "3.12" branch of the Subversion repository.


Could you please tell which version of the sources you are trying to build,
and also the exact list of shell commands executed?


Regards,

Xavier Clerc