From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id oBTDMwwQ008940
	for <caml-list@sympa-roc.inria.fr>; Wed, 29 Dec 2010 14:22:59 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ar8AAHrFGk1KfVIqkGdsb2JhbACkMAgVAQECCQkMBxEEIKUtiXeCGIUFLogTAQEDBYVFBIUhhWODHWk
X-IronPort-AV: E=Sophos;i="4.60,245,1291590000"; 
   d="scan'208";a="83567470"
Received: from mail-ww0-f42.google.com ([74.125.82.42])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 29 Dec 2010 14:22:45 +0100
Received: by wwi17 with SMTP id 17so10786178wwi.3
        for <multiple recipients>; Wed, 29 Dec 2010 05:22:45 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:subject:mime-version
         :content-type:from:in-reply-to:date:cc:content-transfer-encoding
         :message-id:references:to:x-mailer;
        bh=vWY9MyCSA0TUktah+cixIPfP8lnCrPeM0XjMMSePJt0=;
        b=dv15Qu/93gv9CM/1xAXreuOVMCHd+HHBtDsoQ6edzwetbL8W5R/gnPksdGRg3S80ze
         j8frAMbeeRpTCpsylkylw0rPaS/Kwyb008xiLcJLJCtS/AbK15qq/ViTQkEUjZZEqrOv
         ByofNCegsRZNxbPXCQaTq6SUOxp7+3muRu+MA=
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=gaOSP5YKhsvrtt5xf2Uk7NCNnEtli8FiKkXef15FNeQrVntyQu5Eh5YcMSdG2TSEHD
         K7SODrh7dHLd72RrclDTf821AegOxJtI5pSQF9t+r4hFbsuCyPexS2cHKZ8XQzLuMB1x
         G7vbrIHQ/go7aCOpAaeZXEOycAOpLAqG0lMMU=
Received: by 10.227.159.68 with SMTP id i4mr1780444wbx.176.1293628965478;
        Wed, 29 Dec 2010 05:22:45 -0800 (PST)
Received: from [192.168.0.196] ([95.60.213.7])
        by mx.google.com with ESMTPS id 11sm10111397wbj.1.2010.12.29.05.22.43
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Wed, 29 Dec 2010 05:22:44 -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: <BAD47819-02F1-40A0-9848-9FC483C8E840@inria.fr>
Date: Wed, 29 Dec 2010 13:22:43 +0000
Cc: caml-list@inria.fr
Content-Transfer-Encoding: 7bit
Message-Id: <184945DE-E1C7-4C89-808E-83C2A975957B@gmail.com>
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> <BAD47819-02F1-40A0-9848-9FC483C8E840@inria.fr>
To: xclerc <xavier.clerc@inria.fr>
X-Mailer: Apple Mail (2.1082)
Subject: Re: [Caml-list] dllunix.so not installed


On Dec 29, 2010, at 1:21 PM, xclerc wrote:

> Can I then safely assume that there is no change to make to the
> aforementioned script (leaving alone a possible documentation issue)?

Yes.

---
http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont