From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id E47F8BC37 for ; Thu, 1 Oct 2009 17:35:22 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkMCAMZoxEpRZ90xkWdsb2JhbACabgEBCQsKGgO8RIQpBA X-IronPort-AV: E=Sophos;i="4.44,488,1249250400"; d="scan'208";a="47703701" Received: from mtaout03-winn.ispmail.ntl.com ([81.103.221.49]) by mail4-smtp-sop.national.inria.fr with ESMTP; 01 Oct 2009 17:35:22 +0200 Received: from aamtaout01-winn.ispmail.ntl.com ([81.103.221.35]) by mtaout03-winn.ispmail.ntl.com (InterMail vM.7.08.04.00 201-2186-134-20080326) with ESMTP id <20091001153521.SOMR17277.mtaout03-winn.ispmail.ntl.com@aamtaout01-winn.ispmail.ntl.com>; Thu, 1 Oct 2009 16:35:21 +0100 Received: from romulus.metastack.com ([81.102.132.77]) by aamtaout01-winn.ispmail.ntl.com (InterMail vG.2.02.00.01 201-2161-120-102-20060912) with ESMTP id <20091001153521.OMVO13254.aamtaout01-winn.ispmail.ntl.com@romulus.metastack.com>; Thu, 1 Oct 2009 16:35:21 +0100 Received: from Tenor ([212.183.134.128]) (authenticated bits=0) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id n91FZE2t005143 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO); Thu, 1 Oct 2009 16:35:17 +0100 From: "David Allsopp" To: , References: <20091001120946.GA17610@yeeloong> In-Reply-To: <20091001120946.GA17610@yeeloong> Subject: RE: [Caml-list] Missing the cmi files required to use toplevellib.cma Date: Thu, 1 Oct 2009 16:35:13 +0100 Message-ID: <000001ca42ac$c75735f0$5605a1d0$@metastack.com> MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Mailer: Microsoft Office Outlook 12.0 Thread-Index: AcpCkCb4baygsJ/STr6nl3onII3kcQAGuz4g Content-Language: en-gb Organization: MetaStack Solutions Ltd. X-Scanned-By: MIMEDefang 2.65 on 81.102.132.77 X-Cloudmark-Analysis: v=1.0 c=1 a=7A14lHmOp-oA:10 a=ZOzjf2MOAAAA:8 a=1rM6SOAUw7DlWFZZal0A:9 a=QQwmFTvmWxD5RnXOEaiwHU-C8gkA:4 X-Spam: no; 0.00; cmi:01 toplevellib:01 toplevellib:01 cmi:01 printtyp:01 typemod:01 config:01 signatures:01 caml-list:01 functions:01 cma:01 cma:01 caml:02 usefull:02 env:03 > The problem is : most of the usefull types and functions are installed > in the toplevellib.cma but I can't use this without the proper cmi > files (I need config.cmi for cmi_magic_number, printtyp.cmi and > typemod.cmi for printing signatures, but env.cmi would be nice to have > as well for read_signature). You could add them to http://caml.inria.fr/mantis/view.php?id=4653 ... but as that was requested for 3.11.0 and didn't make it to 3.11.1, I wouldn't hold your breath! David