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=1.2 required=5.0 tests=AWL,SPF_NEUTRAL 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 64B3BBC6B for ; Fri, 21 Sep 2007 17:16:34 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAOJ880bRVYC4k2dsb2JhbACOHAIBAQcEBAkIFg X-IronPort-AV: E=Sophos;i="4.20,284,1186351200"; d="scan'208";a="16557373" Received: from fk-out-0910.google.com ([209.85.128.184]) by mail4-smtp-sop.national.inria.fr with ESMTP; 21 Sep 2007 17:18:06 +0200 Received: by fk-out-0910.google.com with SMTP id b27so1048629fka for ; Fri, 21 Sep 2007 08:18:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:received:date:to:subject:message-id:references:mime-version:content-type:content-disposition:in-reply-to:user-agent:from; bh=xQQP72JujMrkFCO6AeNo1+Kjb+zEZcA3+Kn5NVRGvFY=; b=QXvqNXiLP2N48lBhRQEMedCA49jCNFIZj9am7h4NtJPsG9qbtuWmDq/WpVo9ABSoQIsaMSPWdOULfIrRY3G0sJ4Ulu+0vATKOmVcz2zilUYiYWesYjK7kJwHvkwfbSdVmI+CoBn/rVrtzMLT35SRgRuA08MhIJiJBGSp1OJK5Pk= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:date:to:subject:message-id:references:mime-version:content-type:content-disposition:in-reply-to:user-agent:from; b=q5fbZf1Z1+N7vuqJsT5hiejwrZ93z+ydTtENaZUIyzvqDOJyrAeYlrgOWeSh5fqcdfDv5ovBJSg2BdZVfqnjfuRAb6EOZgnx9ptt5/2thErll1UCvzXARNG0WORhnIyi3zhcwvzmnZ8oZigSuud+q/K+00NJclPLLjcvQdTmSpc= Received: by 10.82.106.14 with SMTP id e14mr1481411buc.1190387885165; Fri, 21 Sep 2007 08:18:05 -0700 (PDT) Received: from localhost ( [82.122.118.71]) by mx.google.com with ESMTPS id i8sm1030602nfh.2007.09.21.08.18.02 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 21 Sep 2007 08:18:03 -0700 (PDT) Received: by localhost (sSMTP sendmail emulation); Fri, 21 Sep 2007 17:18:14 +0200 Date: Fri, 21 Sep 2007 17:18:14 +0200 To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] ocamlmktop 3.10 fails to link cmo files? Message-ID: <20070921151814.GA31405@localhost> References: <89aa9c440709210731r7ff74b1as761929797ec71f5d@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <89aa9c440709210731r7ff74b1as761929797ec71f5d@mail.gmail.com> User-Agent: Mutt/1.5.16 (2007-06-11) From: Julien Moutinho X-Spam: no; 0.00; ocamlmktop:01 cmo:01 0200,:01 ocamlmktop:01 ocaml:01 cmo:01 mytop:01 mytop:01 ocaml:01 bug:01 cmi:01 unbound:01 wrote:01 caml-list:01 module:03 On Fri, Sep 21, 2007 at 04:31:54PM +0200, Massimiliano Brocchini wrote: > [...] > e.g. ocamlmktop -I /home/massimiliano/ocaml_code/sequence/ > sequence.cmo -o mytop > gives no error and build mytop > but in mytop open Sequence fails reporting an unbound module > > while > > ocaml -I /home/massimiliano/ocaml_code/sequence/ sequence.cmo > works as expected and allows me to open the module. > > Am I doing something wrong or is it a bug? Try this: % mytop -I /home/massimiliano/ocaml_code/sequence/ or this: % cd /home/massimiliano/ocaml_code/sequence/ % ./mytop So mytop will know where to find the .cmi.