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 oBTDLUkQ008131
	for <caml-list@sympa-roc.inria.fr>; Wed, 29 Dec 2010 14:21:30 +0100
X-IronPort-AV: E=Sophos;i="4.60,245,1291590000"; 
   d="scan'208";a="84868299"
Received: from mp-57040.rocqadm.inria.fr ([128.93.57.40])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 29 Dec 2010 14:21:25 +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: <32EDC8DF-1E32-4701-B93D-E3E4653B8B11@gmail.com>
Date: Wed, 29 Dec 2010 14:21:25 +0100
Cc: xclerc Clerc <xavier.clerc@inria.fr>, Joel Reymont <joelr1@gmail.com>
Message-Id: <BAD47819-02F1-40A0-9848-9FC483C8E840@inria.fr>
References: <62A9EF76-FCC0-49E3-A3CA-4816BDD92D1C@gmail.com> <4d1b284f.0690d80a.7e68.283a@mx.google.com> <9B64214A-E56C-40C4-89D7-E6861CD593E8@inria.fr> <32EDC8DF-1E32-4701-B93D-E3E4653B8B11@gmail.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 oBTDLUkQ008131
Subject: Re: [Caml-list] dllunix.so not installed


Le 29 déc. 2010 à 14:16, Joel Reymont a écrit :

> 
> On Dec 29, 2010, at 1:10 PM, xclerc wrote:
> 
>> Could you please tell which version of the sources you are trying to build,
>> and also the exact list of shell commands executed?
> 
> I was building 3.13 sources, latest as of yesterday, and the problem was mixing 'make world.opt' with 'build/install.sh'.

Sorry for the misunderstanding and thanks for the clarification.
Can I then safely assume that there is no change to make to the
aforementioned script (leaving alone a possible documentation issue)?


Regards,

Xavier Clerc