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 oBSNgU1H004126 for ; Wed, 29 Dec 2010 00:42:30 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AukAAJcEGk1KfVI0kGdsb2JhbACWF44TCBUBAQEBCQkMBxEEIKUmiXeCGIR+LogRAQEDBYVFBIsEgx1p X-IronPort-AV: E=Sophos;i="4.60,242,1291590000"; d="scan'208";a="93318175" Received: from mail-ww0-f52.google.com ([74.125.82.52]) by mail1-smtp-roc.national.inria.fr with ESMTP; 29 Dec 2010 00:42:25 +0100 Received: by wwd20 with SMTP id 20so9623771wwd.9 for ; Tue, 28 Dec 2010 15:42:25 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:content-type:mime-version :subject:from:in-reply-to:date:content-transfer-encoding:message-id :references:to:x-mailer; bh=vz4Po1aXNYW7+X+bx0pSlr3uV7/JlM+SI2UWYHkyX5Q=; b=G6hQjZQPnV6+kfngnxu9pay+nCfdsdKyFYIGRXnUo6gpvNrrmtlRJFv4qUd6hSYmfq 3DCd2QWML7TUWRh1zm8OavkqLoI5I4lSBQYBeCLifg3XkfClR5jPVEI8sO/yVdNYNrdo E30a9gIdy4OpwS6TnO7FVuAhgzMFegskdL24M= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=content-type:mime-version:subject:from:in-reply-to:date :content-transfer-encoding:message-id:references:to:x-mailer; b=Nwe/fc7c40ohwsny6CChdxzSFv71Pj0KjUBXin5upeRb0BjxKmLXW7FLHr2ZhS9xtV 5jJoVuSJpP1vs2BGfUB2XQWNnzfF2UiJrItS3z9rq1SctM46jAOrhGoLeB72slzODRcN 4QlhIACzLeiKfDzPOZ7nMsENrBIEMhPgi2Xnc= Received: by 10.227.146.13 with SMTP id f13mr8241445wbv.133.1293579744759; Tue, 28 Dec 2010 15:42:24 -0800 (PST) Received: from [192.168.0.196] ([95.60.213.7]) by mx.google.com with ESMTPS id f35sm9662928wbf.14.2010.12.28.15.42.23 (version=TLSv1/SSLv3 cipher=RC4-MD5); Tue, 28 Dec 2010 15:42:23 -0800 (PST) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Apple Message framework v1082) From: Joel Reymont In-Reply-To: Date: Tue, 28 Dec 2010 23:42:21 +0000 Message-Id: <83F75E8D-FC49-45FB-8EE8-645FD0281FA5@gmail.com> References: <62A9EF76-FCC0-49E3-A3CA-4816BDD92D1C@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 oBSNgU1H004126 Subject: [Caml-list] Re: dllunix.so not installed Mea culpa, build/install.sh is only supposed to be used in the ocamlbuild setting. This is the only mention of ocamlbuild in the INSTALL file, though. Should it be removed? --- http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont