From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id oBTDGku4007230
	for <caml-list@sympa-roc.inria.fr>; Wed, 29 Dec 2010 14:16:46 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ar8AANfDGk1KfVI0kGdsb2JhbACkMAgVAQECCQkMBxEEIKUuiXeCGIUELogTAQEDBYVFBIsEgx1p
X-IronPort-AV: E=Sophos;i="4.60,245,1291590000"; 
   d="scan'208";a="71476287"
Received: from mail-ww0-f52.google.com ([74.125.82.52])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 29 Dec 2010 14:16:06 +0100
Received: by wwd20 with SMTP id 20so10013578wwd.9
        for <multiple recipients>; Wed, 29 Dec 2010 05:16:06 -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=Hqrx2hbARkhrNlmJYoZl2WI4GEfDCU9+yW6ydqi2atg=;
        b=fKvvSB4o1g243NDvQhGyTAucOe9C9wGJZ+tHIzZ1+a1FAEM5Y//mPILRPmtECGxOX3
         QOBKananuu8IPwna3lSH6Nq8acggjdBDPPWxkb92Mg94ECVlECy5Fe2dxzaH57SUVvHY
         TjK+sxLLz7CJZN/RPLiQFLgAAY8qOMI4oNdy4=
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=kJYrwftxZ9TKVAKF3W7/8DpeBAJX2tPMcxoCaF1V8Qm/KD5UmHG3ZUaPFw+UBL7WgS
         nZUSD/2zr1XRvkZuIDEqNhnxe70K3PrbTaFSkFDFs9SQEWMC1fOTJX1LihFEp7QPFsr5
         ++OaLBN+bt7WU9fi+P1+1ziSpAtS3aLkhqsPM=
Received: by 10.227.137.203 with SMTP id x11mr8931801wbt.80.1293628566118;
        Wed, 29 Dec 2010 05:16:06 -0800 (PST)
Received: from [192.168.0.196] ([95.60.213.7])
        by mx.google.com with ESMTPS id m10sm10101951wbc.16.2010.12.29.05.16.04
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Wed, 29 Dec 2010 05:16:05 -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: <9B64214A-E56C-40C4-89D7-E6861CD593E8@inria.fr>
Date: Wed, 29 Dec 2010 13:16:02 +0000
Cc: caml-list@inria.fr
Message-Id: <32EDC8DF-1E32-4701-B93D-E3E4653B8B11@gmail.com>
References: <62A9EF76-FCC0-49E3-A3CA-4816BDD92D1C@gmail.com> <4d1b284f.0690d80a.7e68.283a@mx.google.com> <9B64214A-E56C-40C4-89D7-E6861CD593E8@inria.fr>
To: xclerc <xavier.clerc@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 oBTDGku4007230
Subject: Re: [Caml-list] dllunix.so not installed


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'.

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