From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 04305BB84 for ; Sun, 30 Jul 2006 21:43:00 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k6UJh0AF006747 for ; Sun, 30 Jul 2006 21:43:00 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA29316 for ; Sun, 30 Jul 2006 21:42:57 +0200 (MET DST) Received: from kerouac.projectcolo.org.uk (kerouac.projectcolo.org.uk [85.119.113.6]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k6UJgpZ9006655 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=FAIL) for ; Sun, 30 Jul 2006 21:42:57 +0200 Received: from localhost (localhost [127.0.0.1]) by kerouac.projectcolo.org.uk (Postfix) with ESMTP id 94F6B7A112; Sun, 30 Jul 2006 20:42:15 +0100 (BST) Received: from kerouac.projectcolo.org.uk ([127.0.0.1]) by localhost (kerouac [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 22593-07; Sun, 30 Jul 2006 20:42:15 +0100 (BST) Received: from localhost (host81-129-53-132.range81-129.btcentralplus.com [81.129.53.132]) (using TLSv1 with cipher EDH-RSA-DES-CBC3-SHA (168/168 bits)) (No client certificate requested) by kerouac.projectcolo.org.uk (Postfix) with ESMTP id 9809279E87; Sun, 30 Jul 2006 20:42:14 +0100 (BST) Received: by localhost (Postfix, from userid 1000) id B60B4438EA; Sun, 30 Jul 2006 20:40:28 +0100 (BST) Date: Sun, 30 Jul 2006 20:40:28 +0100 To: Geoffrey Alan Washburn Cc: caml-list@inria.fr Subject: Re: [Caml-list] Re: Pretty printing Toploop errors? Message-ID: <20060730194028.GA10266@z273.org.uk> References: <20060710.190623.74192572.keiko@kurims.kyoto-u.ac.jp> <44B3A4BB.4020200@cis.upenn.edu> <44B4E2AB.8000207@cis.upenn.edu> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <44B4E2AB.8000207@cis.upenn.edu> User-Agent: Mutt/1.5.11 From: bacam@z273.org.uk (Brian Campbell) X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at projectcolo.org.uk X-Miltered: at concorde with ID 44CD0BC4.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 44CD0BBB.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; toploop:01 ocaml:01 toplevellib:01 ocamlc:01 cmo:01 ocaml:01 cmi:01 mli:01 cmi:01 2006:98 wrote:01 wrote:01 caml-list:01 alan:01 cma:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 On Wed, Jul 12, 2006 at 07:53:15AM -0400, Geoffrey Alan Washburn wrote: > Jonathan Roewen wrote: > >>worked. However, is there some other library I could link against that > >>wouldn't require end-users having access to the OCaml sources? > > > >Have you tried toplevellib.cma? > > I am, but if I only link against that ocamlc claims that it cannot > find the Errors module. If I add drivers/errors.cmo it works, but that is > only in available in the actual OCaml source tree. Is there something > else I should be trying? You might have solved this in the meantime, but in case you haven't: The problem is that the interface file errors.cmi isn't installed along with ocaml. You could keep a copy of errors.mli with your program and use that to make a suitable errors.cmi for compiling against. At least, that seems to work for me. Brian