From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <loup.vaillant@gmail.com>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by yquem.inria.fr (Postfix) with ESMTP id AA4C6BBAF
	for <caml-list@yquem.inria.fr>; Sun, 27 Jun 2010 19:34:08 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Av8BAGcoJ0zRVdY2mGdsb2JhbACfJggVAQEBAQEICQwHESKuPIIJhDQuiFMBAQMFhR8E
X-IronPort-AV: E=Sophos;i="4.53,492,1272837600"; 
   d="scan'208";a="54038767"
Received: from mail-bw0-f54.google.com ([209.85.214.54])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 27 Jun 2010 19:34:08 +0200
Received: by bwz17 with SMTP id 17so2269810bwz.27
        for <caml-list@inria.fr>; Sun, 27 Jun 2010 10:34:08 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:received:received:date:message-id
         :subject:from:to:content-type;
        bh=1YU7SQuhMo4bUNp8NRX+/dzk7KSHpxLt3QPIkKOvqIU=;
        b=ev7FDZQU1XpuYBZYfyjB2+Kd+IEapKFc7l5rQgkn8ifdiHvZk1Y2UHkKCvFRCI7GPA
         WsWHT+iuFoBOB7X65y2iIDmRGHI9j7UUxrq7LZBjMyy341QkNEb/pp2vkfORVm9S/L7S
         E7vm+3fd+IxbPrdK7JNqjlaaYE7h3YZSxl8cw=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:date:message-id:subject:from:to:content-type;
        b=bm/EUTBpeJ6lcR8g9t1tt2v/RmOjELKqWkO/Ajo2gp5AksTnPoL2LAyHnzCxurLxrd
         vyK0077E4cmjxIYErFZHlsDCXVVxOI1K9irkEd1GasALnIYi0gyWpJ0vl9eJQ2et3Lk/
         Dzb8rMY/nC6TQgoDnO4H2f/Tqj3AP1LLIFjj0=
MIME-Version: 1.0
Received: by 10.204.161.201 with SMTP id s9mr2655113bkx.19.1277660048107; Sun, 
	27 Jun 2010 10:34:08 -0700 (PDT)
Received: by 10.204.46.202 with HTTP; Sun, 27 Jun 2010 10:34:08 -0700 (PDT)
Date: Sun, 27 Jun 2010 19:34:08 +0200
Message-ID: <AANLkTikbbM4O83YQkyd4t5j5XU9-MrMl6og1_OowXNX1@mail.gmail.com>
Subject: ocamlmktop has a weird behaviour
From: Loup Vaillant <loup.vaillant@gmail.com>
To: caml-list <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
X-Spam: no; 0.00; ocamlmktop:01 makefile:01 ocaml:01 toplevel:01 lib:01 lib:01 ocamlc:01 ocamlmktop:01 cmo:01 ocamlc:01 cmo:01 bug:01 toplevel:01 ubuntu:98 unbound:01 

Hello,
I am trying to write a makefile entry to build an ocaml toplevel
(version 3.11.1, default Ubuntu 9.10 install).

My problem is very simple. First, the following works as expected:

$ ls lib
batteries.ml
$ cd lib
$ ocamlc -c batteries.ml
$ ocamlmktop -o ../ocamltop batteries.cmo
$ ../ocamltop
        Objective Caml version 3.11.1

# open Batteries;;
#

The module Batteries has been loaded in the interactive loop as
intended. Now, this *doesn't* work:

$ ls lib
batteries.ml
$ ocamlc -c lib/batteries.ml
$ ocamlmktop -o ocamltop -I lib batteries.cmo
$ ocamltop
        Objective Caml version 3.11.1

# open Batteries;;
Error: Unbound module Batteries
#

??? This looks like a super-obvious bug, so I must have overlook
something. Any idea what? Is it possible to built a sensible toplevel
with libraries *not* in the current directory? How?

Thanks,
Loup.